Article

Component specialization

Authors:

Gustavo Bobeff,

Jacques NoyéAuthors Info & Claims

PEPM '04: Proceedings of the 2004 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation

Pages 39 - 50

https://doi.org/10.1145/1014007.1014012

Published: 24 August 2004 Publication History

Abstract

Component-Based Software Development (CBSD)is an attractive way to deliver generic executable pieces of program, ready to be reused in many different contexts. Component reuse is based on a black-box model that frees component consumers from diving into implementation details. Adapting a generic component to a particular context of use is then based on a parameterized interface that becomes a specific component wrapper at runtime. This shallow adaptation, which keeps the component implementation unchanged, is a major source of inefficiency. By building on top of well-known specialization techniques, it is possible to take advantage of the genericity of components and adapt their implementation to their usage context without breaking the black-box model. We illustrate these ideas on a simple component model, considering dual specialization techniques, partial evaluation and slicing. A key to not breaking encapsulation is to use specialization scenarios extended with assumptions on the required services and to package components as component generators.

References

[1]

http://www.eclipse.org.

[2]

http://www.irisa.fr/lande/reqs.

[3]

J. Aldrich, C. Chambers, and D. Notkin. Architectural reasoning in ArchJava. In B. Magnusson, editor, Proceedings ECOOP'02 volume 2374 of LNCS pages 334--367, Malaga, Spain, June 2002. Springer-Verlag.

Digital Library

[4]

L. Birkedal and M. Welinder. Hand-writing program generator generators. In M. V. Hermenegildo and J. Penjam, editors, PLILP volume 844 of LNCS pages 198--214. Springer, 1994.

Digital Library

[5]

C. Consel and O. Danvy. From interpreting to compiling binding times. In N. Jones, editor, ESOP'90 - Third European Symposium on Programming volume 432 of LNCS Copenhagen, Denmark, May 1990. Springer-Verlag.

Digital Library

[6]

B. Councill and G. Heineman. Definition of a software component and its elements. In Heineman and Councill {10}, pages 5--19.

Digital Library

[7]

L. DeMichiel, L. Yalçinalp, and S. Krishnan. Enterprise JavaBeans™ Specification SUN Microsystems, Aug. 2001. Version 2.0, Final Release.

[8]

J. Hatcli ., W. Deng, M. Dwyer,G. Jung, and V. Prasad. Cadena: An integrated development, analysis, and verification environment for component-based systems. In Proceedings of the 25th International Conference on Software Engineering pages 160--173, Portland, Oregon, May 2003. IEEE Computer Society Press.

Digital Library

[9]

J. Hatcliff, W. Deng, M. Dwyer, G. Jung, V. Prasad, and R. Robby. Slicing and partial evaluation of CORBA component model designs for avionics systems. ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '03), June 2003. Invited Talk.

Digital Library

[10]

G. Heineman and W. Councill, editors. Component-Based Software Engineering -- Putting the Pieces Together Addison-Wesley, 2001.

Digital Library

[11]

L. Hornof, J. Noyé, and C. Consel. Effective specialization of realistic programs via use sensitivity. In P. Van Hentenryck, editor, Proceedings of the Fourth International Symposium on Static Analysis, SAS'97 volume 1302 of LNCS pages 293--314, Paris, France, Sept.1997. Springer-Verlag.

Digital Library

[12]

A. Igarashi, B. Pierce, and P. Wadler. Featherweight Java: A minimal core calculus for Java and GJ. ACM Transactions on Programming Languages and Systems 23(3):396--450, May 2001.

Digital Library

[13]

N. Jones. An introduction to partial evaluation. ACM Computing Surveys 28(3):480--503, Sept. 1996.

Digital Library

[14]

N. Jones, C. Gomard, and P. Sestoft. Partial Evaluation and Automatic Program Generation International Series in Computer Science. Prentice Hall, 1993.

Digital Library

[15]

A. Le Meur, C. Consel, and B. Escrig. An environment for building customizable software components. In IFIP/ACM Working Conference - Component Deployment pages 1--14, Berlin, Germany, June 2002. Springer-Verlag.

Digital Library

[16]

A. Le Meur, J. Lawall, and C. Consel. Specialization scenarios: A pragmatic approach to declaring program specialization. Higher-Order and Symbolic Computation 17:49--92, 2004.

Digital Library

[17]

T. Reps and T. Turnidge. Program specialization via program slicing. In O. Danvy, R. Glück, and P. Thiemann, editors, Partial Evaluation, International Seminar, Dagstuhl Castle volume 1110 of LNCS pages 409--429. Springer-Verlag, Feb. 1996.

Digital Library

[18]

R. H. Reussner. Automatic component protocol adaptation with the coconut tool suite. Future Generation Computer Systems 19(5):627--639, 2003.

Digital Library

[19]

U. Schultz. Black-box program specialization. In J. Bosch, C. Szyperski, and W. Weck, editors, Fourth International Workshop on Component-Oriented Programming Lisbon, Portugal, June 1999. In conjunction with ECOOP 1999.

[20]

R. Sessions. COM+ and the battle for the Middle Tier Wiley, 2000.

Digital Library

[21]

C. Szyperski. Component Software Addison-Wesley, 2002. 2nd edition.

[22]

F.Tip. A survey of program slicing techniques. Journal of Programming Languages 3(3):121--189, Sept. 1995.

[23]

R. van Ommering. Building product populations with software components. In Proceedings of the 24th International Conference on Software Engineering pages 255--265, Orlando, FL, USA, May 2002. ACM Press.

Digital Library

[24]

E.-N. Volanschi, C. Consel, G. Muller, and C. Cowan. Declarative specialization of object-oriented programs. In Proceedings of the 1997 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA'97) ACM Press, Oct. 1997. ACM SIGPLAN Notices, 32(10).

Digital Library

Cited By

Giedrimas V(2018)Reversibility in Component-based Programming Language2018 IEEE 12th International Conference on Application of Information and Communication Technologies (AICT)10.1109/ICAICT.2018.8746914(1-5)Online publication date: Oct-2018
https://doi.org/10.1109/ICAICT.2018.8746914
Zhu PKhoo SHatcliff JGlück Rde Moor O(2008)Specialization for applications using shared librariesProceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation10.1145/1328408.1328432(159-168)Online publication date: 7-Jan-2008
https://dl.acm.org/doi/10.1145/1328408.1328432
Zhu PKhoo SRamalingam GVisser E(2007)Towards constructing reusable specialization componentsProceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation10.1145/1244381.1244406(154-163)Online publication date: 15-Jan-2007
https://dl.acm.org/doi/10.1145/1244381.1244406
Show More Cited By

Index Terms

Component specialization
1. Software and its engineering
  1. Software creation and management
    1. Software development techniques
      1. Reusability
  2. Software notations and tools
    1. Compilers
      1. Source code generation
      2. Translator writing systems and compiler generators

Recommendations

Improvement of component selection process using Genetic Algorithm for Component-Based Software Development

Modern information systems are becoming more expensive to build and maintain. Software development management and software quality goals are necessary, but not sufficient for the needs of today's marketplace. Shorter cycle time, completed with fewer ...
Towards constructing reusable specialization components
PEPM '07: Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation

Component-based software development advocates the reuse of generic off-the-shelf components to build complex and reliable applications. Unfortunately, the genericness of components results in degradation of system performance. Little progress has been ...
In-out interaction complexity metrics for component-based software

In the current state of software engineering, component-based software development is one of the most alluring paradigms for developing large and complex software products. In this software engineering methodology pre-engineered, pre-tested, context-...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

PEPM '04: Proceedings of the 2004 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation

August 2004

212 pages

ISBN:1581138350

DOI:10.1145/1014007

Program Chairs:
Nevin Heintze
Agere Systems, NJ
,
Peter Sestoft
KVL and ITU, Copenhagen, Denmark

Copyright © 2004 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 24 August 2004

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

PEPM04

Sponsor:

PEPM04: Partial Evaluation and Program Manipulation 2004

August 24 - 25, 2004

Verona, Italy

Acceptance Rates

Overall Acceptance Rate 66 of 120 submissions, 55%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

5
Total Citations
View Citations
549
Total Downloads

Downloads (Last 12 months)1
Downloads (Last 6 weeks)1

Reflects downloads up to 24 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

Giedrimas V(2018)Reversibility in Component-based Programming Language2018 IEEE 12th International Conference on Application of Information and Communication Technologies (AICT)10.1109/ICAICT.2018.8746914(1-5)Online publication date: Oct-2018
https://doi.org/10.1109/ICAICT.2018.8746914
Zhu PKhoo SHatcliff JGlück Rde Moor O(2008)Specialization for applications using shared librariesProceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation10.1145/1328408.1328432(159-168)Online publication date: 7-Jan-2008
https://dl.acm.org/doi/10.1145/1328408.1328432
Zhu PKhoo SRamalingam GVisser E(2007)Towards constructing reusable specialization componentsProceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation10.1145/1244381.1244406(154-163)Online publication date: 15-Jan-2007
https://dl.acm.org/doi/10.1145/1244381.1244406
Šerý OPlášil F(2007)Slicing of Component Behavior Specification with Respect to Their CompositionComponent-Based Software Engineering10.1007/978-3-540-73551-9_13(189-202)Online publication date: 2007
https://doi.org/10.1007/978-3-540-73551-9_13
Neubauer MThiemann P(2004)Protocol SpecializationProgramming Languages and Systems10.1007/978-3-540-30477-7_17(246-261)Online publication date: 2004
https://doi.org/10.1007/978-3-540-30477-7_17

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents