Dynamic instantiation-checking components

ABSTRACT

Parameterization is an effective technique for building flexible, reusable software. When dealing with parameterized components, an important concern is the time at which parameters are bound. Many languages provide syntactic support for parameterized components; this mode of parameterization can be called static parameterization. In order to be able to support dynamic reconfiguration, the Service Facility pattern has been proposed as an enabling technology for dynamic parameterization. However, static parameterization has the advantage of strong type-checking that dynamic parameterization does not. In this paper, we present DynInstaCheck --- a tool that automatically instruments dynamically bound parameterized components with run-time checking code that ensures type-safe parameter binding. The source instrumentation is done in a non-intrusive way, using aspect-oriented programming.

REFERENCES

• 1: Gilad Bracha , Martin Odersky , David Stoutamire , Philip Wadler, Making the future safe for the past: adding genericity to the Java programming language, Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, p.183-200, October 18-22, 1998, Vancouver, British Columbia, Canada
• 2: Stephen H. Edwards , Murali Sitaraman , Bruce W. Weide , Joseph Hollingsworth, Contract-Checking Wrappers for C++ Classes, IEEE Transactions on Software Engineering, v.30 n.11, p.794-810, November 2004 [doi>10.1109/TSE.2004.80]
• 3: Erich Gamma , Richard Helm , Ralph Johnson , John Vlissides, Design patterns: elements of reusable object-oriented software, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1995
• 4: Jason O. Hallstrom , Neelam Soundarajan, Design pattern contracts, 2004
• 5: J. O. Hallstrom, N. Soundarajan, and B. Tyler. Monitoring design pattern contracts. In Proceedings of the the 3rd FSE Workshop on the Specification and Verification of Component-Based Systems, Newport Beach, CA, 2004.
• 6: Andrew Kennedy , Don Syme, Design and implementation of generics for the .NET Common language runtime, Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation, p.1-12, June 2001, Snowbird, Utah, United States
• 7: G. Kiczales, J. Lamping, A. Menhdhekar, C. Maeda, C. Lopes, J.-M. Loingtier, and J. Irwin. Aspect-oriented programming. In M. Aksit and S. Matsuoka, editors, Proceedings European Conference on Object-Oriented Programming, volume 1241, pages 220--242, Berlin, Heidelberg, and New York, 1997. Springer-Verlag.
• 8: David R. Musser , Gilmer J. Derge , Atul Saini, STL tutorial and reference guide, second edition: C++ programming with the standard template library, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 2001
• 9: Nigamanth Sridhar , Paolo A. Sivilotti , Bruce W. Weide, Dynamically reconfigurable parameterized components, 2004
• 10: Nigamanth Sridhar , Scott M. Pike , Bruce W. Weide, Dynamic Module Replacement in Distributed Protocols, Proceedings of the 23rd International Conference on Distributed Computing Systems, p.620, May 19-22, 2003
• 11: Nigamanth Sridhar , Bruce W. Weide , Paolo Bucci, Service Facilities: Extending Abstract Factories to Decouple Advanced Dependencies, Proceedings of the 7th International Conference on Software Reuse: Methods, Techniques, and Tools, p.309-326, April 15-19, 2002
• 12: Harold Thimbleby, Delaying Commitment, IEEE Software, v.5 n.3, p.78-86, May 1988 [doi>10.1109/52.2027]

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.4 Software/Program Verification

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
        D.2.11 Software Architectures
            Subjects: Patterns (e.g., client/server, pipeline, blackboard)
        D.2.12 Interoperability
            Subjects: Distributed objects
        D.2.13 Reusable Software
            Subjects: Domain engineering

General Terms:
Design, Verification