Exploiting architectural design knowledge to support self-repairing systems

ABSTRACT

In an increasing number of domains software is now required to be self-adapting and self-healing. While in the past such abilities were incorporated into software on a per system basis, proliferation of such systems calls for more generalized mechanisms to manage dynamic adaptation. General mechanisms have the advantage that they can be reused in numerous systems, analyzed separately from the system being adapted, and easily changed to incorporate new adaptations. Moreover, they provide a natural home for encoding the expertise of system designers and implementers about adaptation strategies and policies. In this paper, we show how current software architecture tools can be extended to provide such generalized dynamic adaptation mechanisms.

REFERENCES

• 1: Robert John Allen , David Garlan, A formal approach to software architecture, 1997
• 2: Calnan, P. Semantic-based Code Transformation. MS Thesis Proposal, Department of Computer Science, Worchester Polytechnic Institute, Massachusetts, March 2002.
• 3: Antonio Carzaniga , David S. Rosenblum , Alexander L. Wolf, Achieving scalability and expressiveness in an Internet-scale event notification service, Proceedings of the nineteenth annual ACM symposium on Principles of distributed computing, p.219-227, July 16-19, 2000, Portland, Oregon, United States [doi>10.1145/343477.343622]
• 4: Shang-Wen Cheng , David Garlan , Bradley R. Schmerl , João Pedro Sousa , Bridget Spitnagel , Peter Steenkiste, Using Architectural Style as a Basis for System Self-repair, Proceedings of the IFIP 17th World Computer Congress - TC2 Stream / 3rd IEEE/IFIP Conference on Software Architecture: System Design, Development and Maintenance, p.45-59, August 25-30, 2002
• 5: Shang-Wen Cheng , David Garlan , Bradley Schmerl , Peter Steenkiste , Ningning Hu, Software Architecture-Based Adaptation for Grid Computing, Proceedings of the 11 th IEEE International Symposium on High Performance Distributed Computing HPDC-11 20002 (HPDC'02), p.389, July 24-26, 2002
• 6: Eric M. Dashofy , André Van der Hoek , Richard N. Taylor, A Highly-Extensible, XML-Based Architecture Description Language, Proceedings of the Working IEEE/IFIP Conference on Software Architecture (WICSA'01), p.103, August 28-31, 2001 [doi>10.1109/WICSA.2001.948416]
• 7: David Garlan , Robert Allen , John Ockerbloom, Exploiting style in architectural design environments, Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering, p.175-188, December 06-09, 1994, New Orleans, Louisiana, United States
• 8: David Garlan , Robert T. Monroe , David Wile, Acme: architectural description of component-based systems, Foundations of component-based systems, Cambridge University Press, New York, NY, 2000
• 9: Garlan, D., Schmerl, B., and Chang, J. Using Gauges for Architecture-Based Monitoring and Adaptation. Proc. Working Conference on Complex and Dynamic Systems Architecture, Brisbane, Australia, 12-14 December, 2001.
• 10: Michael M. Gorlick , Rami R. Razouk, Using weaves for software construction and analysis, Proceedings of the 13th international conference on Software engineering, p.23-34, May 13-17, 1991, Austin, Texas, United States
• 11: Bruce Lowekamp , Nancy Miller , Thomas Gross , Peter Steenkiste , Jaspal Subhlok , Dean Sutherland, A resource query interface for network-aware applications, Cluster Computing, v.2 n.2, p.139-151, 1999 [doi>10.1023/A:1019074608189]
• 12: David C. Luckham, Rapide: a language and toolset for simulation of distributed systems by partial orderings of events, Proceedings of the DIMACS workshop on Partial order methods in verification, p.329-357, February 1997, Princeton, New Jersey, United States
• 13: Nenad Medvidovic , Richard N. Taylor, A Classification and Comparison Framework for Software Architecture Description Languages, IEEE Transactions on Software Engineering, v.26 n.1, p.70-93, January 2000 [doi>10.1109/32.825767]
• 14: Moriconi, M. and Reimenschneider, R. A. Introduction to SADL 1.0: A Language for Specifying Software Architecture Hierarchies. Technical Report SRI-CSL-97-01, SRI International, March 1997.
• 15: Peyman Oreizy , Michael M. Gorlick , Richard N. Taylor , Dennis Heimbigner , Gregory Johnson , Nenad Medvidovic , Alex Quilici , David S. Rosenblum , Alexander L. Wolf, An Architecture-Based Approach to Self-Adaptive Software, IEEE Intelligent Systems, v.14 n.3, p.54-62, May 1999 [doi>10.1109/5254.769885]
• 16: Mary Shaw , Robert DeLine , Daniel V. Klein , Theodore L. Ross , David M. Young , Gregory Zelesnik, Abstractions for Software Architecture and Tools to Support Them, IEEE Transactions on Software Engineering, v.21 n.4, p.314-335, April 1995 [doi>10.1109/32.385970]
• 17: Spitznagel, B. and Garlan, D. Architecture-Based Performance Analysis. Proc. the 1998 Conference on Software Engineering and Knowledge Engineering, June, 1998.
• 18: Richard N. Taylor , Nenad Medvidovic , Kenneth M. Anderson , E. James Whitehead, Jr. , Jason E. Robbins , Kari A. Nies , Peyman Oreizy , Deborah L. Dubrow, A Component- and Message-Based Architectural Style for GUI Software, IEEE Transactions on Software Engineering, v.22 n.6, p.390-406, June 1996 [doi>10.1109/32.508313]
• 19: Vestel, S. MetaH Programmer's Manual, Version 1.09. Technical Report, Honeywell Technology Center, April 1996.

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.2 Design Tools and Techniques
          Subjects: Computer-aided software engineering (CASE)

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
        D.2.11 Software Architectures
            Subjects: Languages (e.g., description, interconnection, definition)

General Terms:
Design, Measurement

Keywords:
dynamic adaptation, reflective systems, software architecture, software architecture tools