Component specialization

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: Jonathan Aldrich , Craig Chambers , David Notkin, Architectural Reasoning in ArchJava, Proceedings of the 16th European Conference on Object-Oriented Programming, p.334-367, June 10-14, 2002
• 4: Lars Birkedal , Morten Welinder, Hand-Writing Program Generator Generators, Proceedings of the 6th International Symposium on Programming Language Implementation and Logic Programming, p.198-214, September 14-16, 1994
• 5: C. Consel , O. Danvy, From interpreting to compiling binding times, Proceedings of the third European symposium on programming on ESOP '90, p.88-105, May 1990, Copenhagen, Denmark
• 6: Bill Councill , George T. Heineman, Definition of a software component and its elements, Component-based software engineering: putting the pieces together, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 2001
• 7: L. DeMichiel, L. Yalçinalp, and S. Krishnan. Enterprise JavaBeans™ Specification SUN Microsystems, Aug. 2001. Version 2.0, Final Release.
• 8: John Hatcliff , Xinghua Deng , Matthew B. Dwyer , Georg Jung , Venkatesh Prasad Ranganath, Cadena: an integrated development, analysis, and verification environment for component-based systems, Proceedings of the 25th International Conference on Software Engineering, May 03-10, 2003, Portland, Oregon
• 9: John Hatcliff , William Deng , Matthew B. Dwyer , Georg Jung , Venkatesh Ranganath , Robby Robby, Slicing and partial evaluation of CORBA component model designs for avionics system, Proceedings of the 2003 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation, p.1-2, June 07-07, 2003, San Diego, California, USA
• 10: George T. Heineman , William T. Councill, Component-based software engineering: putting the pieces together, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 2001
• 11: Luke Hornof , Charles Consel , Jacques Noyé, Effective Specialization of Realistic Programs via Use Sensitivity, Proceedings of the 4th International Symposium on Static Analysis, p.293-314, September 08-10, 1997
• 12: Atsushi Igarashi , Benjamin C. Pierce , Philip Wadler, Featherweight Java: a minimal core calculus for Java and GJ, ACM Transactions on Programming Languages and Systems (TOPLAS), v.23 n.3, p.396-450, May 2001 [doi>10.1145/503502.503505]
• 13: Neil D. Jones, An introduction to partial evaluation, ACM Computing Surveys (CSUR), v.28 n.3, p.480-503, Sept. 1996 [doi>10.1145/243439.243447]
• 14: Neil D. Jones , Carsten K. Gomard , Peter Sestoft, Partial evaluation and automatic program generation, Prentice-Hall, Inc., Upper Saddle River, NJ, 1993
• 15: Anne-Françoise Le Meur , Charles Consel , Benoît Escrig, An Environment for Building Customizable Software Components, Proceedings of the IFIP/ACM Working Conference on Component Deployment, p.1-14, June 20-21, 2002
• 16: Anne-Françoise Le Meur , Julia L. Lawall , Charles Consel, Specialization Scenarios: A Pragmatic Approach to Declaring Program Specialization, Higher-Order and Symbolic Computation, v.17 n.1-2, p.47-92, March-June 2004 [doi>10.1023/B:LISP.0000029448.02877.78]
• 17: Thomas W. Reps , Todd Turnidge, Program Specialization via Program Slicing, Selected Papers from the Internaltional Seminar on Partial Evaluation, p.409-429, February 12-16, 1996
• 18: Ralf H. Reussner, Automatic component protocol adaptation with the CoConut/J tool suite, Future Generation Computer Systems, v.19 n.5, p.627-639, July 2003 [doi>10.1016/S0167-739X(02)00173-5]
• 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: Roger Sessions, COM+ and the battle of the middle tier, John Wiley & Sons, Inc., New York, NY, 2000
• 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: Rob van Ommering, Building product populations with software components, Proceedings of the 24th International Conference on Software Engineering, May 19-25, 2002, Orlando, Florida [doi>10.1145/581339.581373]
• 24: Eugen N. Volanschi , Charles Counsel , Gilles Muller , Crispin Cowan, Declarative specialization of object-oriented programs, ACM SIGPLAN Notices, v.32 n.10, p.286-300, Oct. 1997

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
        D.2.13 Reusable Software
            Subjects: Reuse models

Additional Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.4 Processors
          Subjects: Code generation; Translator writing systems and compiler generators; Optimization

General Terms:
Languages

Keywords:
component generator, component-based software development, partial evaluation, program slicing