Self-Managed Systems: an Architectural Challenge

ABSTRACT

Self-management is put forward as one of the means by which we could provide systems that are scalable, support dynamic composition and rigorous analysis, and are flexible and robust in the presence of change. In this paper, we focus on architectural approaches to self-management, not because the language-level or network-level approaches are uninteresting or less promising, but because we believe that the architectural level seems to provide the required level of abstraction and generality to deal with the challenges posed. A self-managed software architecture is one in which components automatically configure their interaction in a way that is compatible with an overall architectural specification and achieves the goals of the system. The objective is to minimise the degree of explicit management necessary for construction and subsequent evolution whilst preserving the architectural properties implied by its specification. This paper discusses some of the current promising work and presents an outline three-layer reference model as a context in which to articulate some of the main outstanding research challenges.

REFERENCES

• 1: [1] 2nd IEEE Int. Workshop on Self-Managed Networks, Systems and Services (SelfMan 2006), IEEE, Dublin, 2006.
• 2: [2] The 3rd IEEE International Conference on Autonomic Computing IEEE, Dublin, 2006.
• 3: [3] International Conference on Self-Organization and Autonomous Systems in Computing and Communications (SOAS'2006), Erfurt, Germany, September 2006.
• 4: [4] Proceedings of IEE/IFIP 1st Int. Workshop on Configurable Distributed Systems (CDS 92), in J. Kramer, ed., London, May 1992.
• 5: [5] Proceedings of IEEE 3rd International Conference on Configurable Distributed Systems (CDS 96), in J. Magee and K. Schwan, eds., May 1996.
• 6: [6] Proceedings of International Conference on Autonomic and Autonomous Systems ICAS 2006, Santa Clara, July 2006.
• 7: [7] Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems, in D. Garlan, J. Kramer and A. Wolf, eds., ACM Press, Newport Beach, California, 2004, pp. 119.
• 8: [8] Proceedings of the first workshop on Self-healing systems, in D. Garlan, J. Kramer and A. Wolf, eds., ACM Press, Charleston, South Carolina, 2002, pp. 120.
• 9: [9] Proceedings. of IEEE 2nd International. Conference on Configurable Distributed Systems, Pittsburgh, (CDS 94). in J. Kramer and J. Purtilo, eds., Pittsburgh, May 1994.
• 10: [10] C. Agre and D. Chapman, What are Plans for?, Robotics and Autonomous Systems, 6 (1990), pp. 17- 34.
• 11: Luciano Baresi , Carlo Ghezzi , Sam Guinea, Smart monitors for composed services, Proceedings of the 2nd international conference on Service oriented computing, November 15-19, 2004, New York, NY, USA [doi>10.1145/1035167.1035195]
• 12: Jeremy S. Bradbury , James R. Cordy , Juergen Dingel , Michel Wermelinger, A survey of self-management in dynamic software architecture specifications, Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems, p.28-33, October 31-November 01, 2004, Newport Beach, California [doi>10.1145/1075405.1075411]
• 13: [13] M. Castaldi, A. Carzaniga, P. Inverardi and A. L. Wolf, A light-weight infrastructure for reconfiguring applications, Proceedings of 11th Software Configuration Management Workshop (SCM03), LNCS, Portland, Oregon, 2003.
• 14: Betty H. C. Cheng , Joanne M. Atlee, Research Directions in Requirements Engineering, 2007 Future of Software Engineering, p.285-303, May 23-25, 2007 [doi>10.1109/FOSE.2007.17]
• 15: Nicodemos Damianou , Naranker Dulay , Emil Lupu , Morris Sloman, The Ponder Policy Specification Language, Proceedings of the International Workshop on Policies for Distributed Systems and Networks, p.18-38, January 29-31, 2001
• 16: Eric M. Dashofy , André van der Hoek , Richard N. Taylor, Towards architecture-based self-healing systems, Proceedings of the first workshop on Self-healing systems, November 18-19, 2002, Charleston, South Carolina [doi>10.1145/582128.582133]
• 17: Simon Dobson , Spyros Denazis , Antonio Fernández , Dominique Gaïti , Erol Gelenbe , Fabio Massacci , Paddy Nixon , Fabrice Saffre , Nikita Schmidt , Franco Zambonelli, A survey of autonomic communications, ACM Transactions on Autonomous and Adaptive Systems (TAAS), v.1 n.2, p.223-259, December 2006 [doi>10.1145/1186778.1186782]
• 18: Shlomi Dolev, Self-stabilization, MIT Press, Cambridge, MA, 2000
• 19: Anthony Finkelstein , Jeff Kramer, Software engineering: a roadmap, Proceedings of the Conference on The Future of Software Engineering, p.3-22, June 04-11, 2000, Limerick, Ireland [doi>10.1145/336512.336519]
• 20: [20] H. Foster, J. Magee, S. Uchitel and J. Kramer, Scenario-Based Software Synthesis for Adaptable Software Architectures of UAVs, Proceedings of First Annual SEAS DTC Conference, www.seasdtc.com, Edinburgh, 2006.
• 21: 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]
• 22: [22] E. Gat, Three-layer Architectures, Artificial Intelligence and Mobile Robots, MIT/AAAI Press, 1997.
• 23: 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]
• 24: [24] H. Gomaa and M. Hussein, Dynamic Software Reconfiguration in Software Product Families, 5th International Workshop on Software Product-Family Engineering, LNCS 3014, Springer 2004, 435-444., Siena, Italy, 2003.
• 25: [25] D. Hirsch, J. Kramer, J. Magee and S. Uchitel, Modes for Software Architectures, Third European Workshop on Software Architecture (EWSA 2006), Springer, Nantes, France, Sept 2006.
• 26: Daniel Jackson, Software Abstractions: Logic, Language, and Analysis, The MIT Press, 2006
• 27: [27] J. Kramer and J. Magee, Analysing dynamic change in distributed software architectures, Software, IEE Proceedings-, 145 (1998), pp. 146-154.
• 28: Jeff Kramer , Jeff Magee, The Evolving Philosophers Problem: Dynamic Change Management, IEEE Transactions on Software Engineering, v.16 n.11, p.1293-1306, November 1990 [doi>10.1109/32.60317]
• 29: Jeff Magee , Naranker Dulay , Susan Eisenbach , Jeff Kramer, Specifying Distributed Software Architectures, Proceedings of the 5th European Software Engineering Conference, p.137-153, September 25-28, 1995
• 30: Jeff Magee , Jeff Kramer, Dynamic structure in software architectures, Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering, p.3-14, October 16-18, 1996, San Francisco, California, United States
• 31: [31] J.-P. Martin-Flatin, J. Sventek and K. Geihs, Special Issue on Self-managed systems and services Commun. ACM, 49 (2006), pp. 36-39.
• 32: Andrew McVeigh , Jeff Kramer , Jeff Magee, Using resemblance to support component reuse and evolution, Proceedings of the 2006 conference on Specification and verification of component-based systems, November 10-11, 2006, Portland, Oregon [doi>10.1145/1181195.1181206]
• 33: Nenad Medvidovic , David S. Rosenblum , Richard N. Taylor, A language and environment for architecture-based software development and evolution, Proceedings of the 21st international conference on Software engineering, p.44-53, May 16-22, 1999, Los Angeles, California, United States [doi>10.1145/302405.302410]
• 34: 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]
• 35: [35] M. Pistore, A. Marconi, P. Bertoli and P. Traverso, Automated Composition of Web Services by Planning at the Knowledge Level, IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, 2005.
• 36: Wilhelm Schafer , Heike Wehrheim, The Challenges of Building Advanced Mechatronic Systems, 2007 Future of Software Engineering, p.72-84, May 23-25, 2007 [doi>10.1109/FOSE.2007.28]
• 37: Richard N. Taylor , Andre van der Hoek, Software Design and Architecture The once and future focus of software engineering, 2007 Future of Software Engineering, p.226-243, May 23-25, 2007 [doi>10.1109/FOSE.2007.21]
• 38: Axel van Lamsweerde, Goal-Oriented Requirements Engineering: A Guided Tour, Proceedings of the 5th IEEE International Symposium on Requirements Engineering, p.249, August 27-31, 2001
• 39: Qianxiang Wang , Junrong Shen , Xiaopeng Wang , Hong Mei, A component-based approach to online software evolution: Research Articles, Journal of Software Maintenance and Evolution: Research and Practice, v.18 n.3, p.181-205, May 2006 [doi>10.1002/smr.v18:3]
• 40: Ji Zhang , Betty H. C. Cheng, Model-based development of dynamically adaptive software, Proceeding of the 28th international conference on Software engineering, May 20-28, 2006, Shanghai, China [doi>10.1145/1134285.1134337]

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
        D.2.11 Software Architectures

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.9 Management

  K. Computing Milieux
  K.6 MANAGEMENT OF COMPUTING AND INFORMATION SYSTEMS
      K.6.3 Software Management

General Terms:
Design, Management