Exploiting architectural prescriptions for self-managing, self-adaptive systems: a position paper

ABSTRACT

We propose a high-level approach to software architecture that bridges the gap between system requirements (in the problem space) and the architectural design (in the solution space). We use abstract constraint- and intent-based architectural prescriptions to enable architectural reflection, reification, and distributed configuration discovery as the basis for designing adaptive, self-configuring software systems. We discuss some key architectural properties and patterns that facilitate the design and implementation of self-configuring systems, and use these as the basis for an example prototype architecture for self-evolving systems called Distributed Configuration Routing (DCR). Finally, we propose the development of architectural prescription languages (APLs) and enhanced system design environments to provide better support for intent-based architectures.

REFERENCES

• 1: Brandozzi, M. and Perry, D. Architectural Prescriptions for Dependable Systems. ICSE WADS 2002, May 2002.
• 2: Brandozzi, M. and Perry, D. From Goal-Oriented Requirements to Architectural Prescriptions: The Preskriptor Process. Intl. Workshop From Software Requirements to Architectures, May 2003, 107--113.
• 3: Frank Buschmann , Regine Meunier , Hans Rohnert , Peter Sommerlad , Michael Stal, Pattern-oriented software architecture: a system of patterns, John Wiley & Sons, Inc., New York, NY, 1996
• 4: Cheng, S., Huang, A., Garlan, D., Schmerl, B., and Steenkiste, P. An Architecture for Coordinating Multiple Self-Management Systems. WICSA-4, 2004.
• 5: 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
• 6: David Garlan , Bradley Schmerl, Model-based adaptation for self-healing systems, Proceedings of the first workshop on Self-healing systems, November 18-19, 2002, Charleston, South Carolina [doi>10.1145/582128.582134]
• 7: Ioannis Georgiadis , Jeff Magee , Jeff Kramer, Self-organising software architectures for distributed systems, Proceedings of the first workshop on Self-healing systems, November 18-19, 2002, Charleston, South Carolina [doi>10.1145/582128.582135]
• 8: Steven D. Gribble , Matt Welsh , Rob von Behren , Eric A. Brewer , David Culler , N. Borisov , S. Czerwinski , R. Gummadi , J. Hill , A. Joseph , R. H. Katz , Z. M. Mao , S. Ross , B. Zhao , Robert C. Holte, The Ninja architecture for robust Internet-scale systems and services373423, Computer Networks: The International Journal of Computer and Telecommunications Networking, v.35 n.4, p.473-497, March 2001 [doi>10.1016/S1389-1286(00)00179-1 ]
• 9: Hawthorne, M. and Perry, D. Applying Design Diversity to Aspects of System Architectures and Deployment Configurations to Enhance System Dependability. WADS'04, June 30, 2004.
• 10: Dan Hirsch , Paolo Inverardi , Ugo Montanari, Graph grammars and constraint solving for software architecture styles, Proceedings of the third international workshop on Software architecture, p.69-72, November 01-05, 1998, Orlando, Florida, United States [doi>10.1145/288408.288426]
• 11: Jani, D. Deriving Architecture Specifications from Goal Oriented Requirements Specifications. Master's Thesis, Dept. Electrical and Comp. Eng., The Univ. of Texas at Austin, May 2003. Supr.: Dewayne E. Perry.
• 12: Axel van Lamsweerde, Requirements engineering in the year 00: a research perspective, Proceedings of the 22nd international conference on Software engineering, p.5-19, June 04-11, 2000, Limerick, Ireland [doi>10.1145/337180.337184]
• 13: van Lamsweerde, A. From System Goals to Software Architecture. SFM 2003, 25--43.
• 14: Rogério de Lemos , José Luiz Fiadeiro, An architectural support for self-adaptive software for treating faults, Proceedings of the first workshop on Self-healing systems, November 18-19, 2002, Charleston, South Carolina [doi>10.1145/582128.582136]
• 15: Daniel Le Métayer, Software architecture styles as graph grammars, Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering, p.15-23, October 16-18, 1996, San Francisco, California, United States
• 16: Dewayne E. Perry, The inscape environment, Proceedings of the 11th international conference on Software engineering, p.2-11, May 1989, Pittsburgh, Pennsylvania, United States [doi>10.1145/74587.74588]
• 17: Dewayne E. Perry , Alexander L. Wolf, Foundations for the study of software architecture, ACM SIGSOFT Software Engineering Notes, v.17 n.4, p.40-52, Oct. 1992 [doi>10.1145/141874.141884]
• 18: Dewayne E. Perry, Generic Architecture Descriptions for Product Lines, Proceedings of the Second International ESPRIT ARES Workshop on Development and Evolution of Software Architectures for Product Families, p.51-56, February 26-27, 1998
• 19: Reiher, P., Guy, R., Yarvis, M., and Rudenko, A. Automated Planning for Open Architectures. Proc. OPENARCH 2000-Short Paper Session, Mar. 2000, 17--20.
• 20: Bradley Schmerl , David Garlan, Exploiting architectural design knowledge to support self-repairing systems, Proceedings of the 14th international conference on Software engineering and knowledge engineering, July 15-19, 2002, Ischia, Italy [doi>10.1145/568760.568804]
• 21: Vanderveken, D. Deriving Architectural Descriptions from Goal-Oriented Requirements. Master's Thesis, Dept. d'Ingenierie Informatique, Univ. Catholique dl Louvain, June 2004. Suprs.: Axel van Lamsweerde and Dewayne E. Perry.