Self-organising software architectures for distributed systems

ABSTRACT

A self-organising software architecture is one in which components automatically configure their interaction in a way that is compatible with an overall architectural specification. 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 examines the feasibility of using architectural constraints as the basis for the specification, design and implementation of self-organising architectures for distributed systems. Although we focus on organising the structure of systems, we show how component state can influence reconfiguration via interface attributes.

REFERENCES

• 1: B. Ban, JavaGroups User's Guide, Cornell University, August 1999.
• 2: André Schiper , Kenneth Birman , Pat Stephenson, Lightweight causal and atomic group multicast, ACM Transactions on Computer Systems (TOCS), v.9 n.3, p.272-314, Aug. 1991 [doi>10.1145/128738.128742]
• 3: T. Coatta and G. Neufeld, Distributed Configuration Management using Composite Objects and Constraints,, Distributed Systems Engineering Journal, Vol. 1, No. 5, pp. 294-303, 1994.
• 4: S. Crane , N. Dulay , H. Fosså , J. Kramer , J. Magee , M. Sloman , K. Twidle, Configuration management for distributed software services, Proceedings of the fourth international symposium on Integrated network management IV, p.29-42, January 1995
• 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: I. Georgiadis, Self-organising Distributed Component Software Architectures, Department of Computing, Imperial College, 2002.
• 7: 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]
• 8: Paola Inverardi , Alexander L. Wolf, Formal Specification and Analysis of Software Architectures Using the Chemical Abstract Machine Model, IEEE Transactions on Software Engineering, v.21 n.4, p.373-386, April 1995 [doi>10.1109/32.385973]
• 9: D. Jackson, Alloy: A Lightweight Object Modelling Notation, MIT Lab for Computer Science, July 1999.
• 10: Daniel Jackson , Ian Schechter , Hya Shlyahter, Alcoa: the alloy constraint analyzer, Proceedings of the 22nd international conference on Software engineering, p.730-733, June 04-11, 2000, Limerick, Ireland [doi>10.1145/337180.337616]
• 11: Daniel Jackson , Kevin Sullivan, COM revisited: tool-assisted modelling of an architectural framework, Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering: twenty-first century applications, p.149-158, November 06-10, 2000, San Diego, California, United States
• 12: Christos T. Karamanolis , Jeffrey N. Magee, Client-Access Protocols for Replicated Services, IEEE Transactions on Software Engineering, v.25 n.1, p.3-21, January 1999 [doi>10.1109/32.748915]
• 13: 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]
• 14: J. Kramer and J. Magee, Analysing Dynamic Change in Distributed Software Architectures, IEE Proceedings --- Software, Vol. 145, No. 5, pp. 146-154, 1998.
• 15: 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
• 16: 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
• 17: Jeff Magee , Jeff Kramer, Self organising software architectures, Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops, p.35-38, October 16-18, 1996, San Francisco, California, United States [doi>10.1145/243327.243345]
• 18: 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
• 19: N. H. Minsky , V. Ungureanu , Junbiao Zhang , Wenhui Wang, Building reconfiguration primitives into the law of a system, Proceedings of the 3rd International Conference on Configurable Distributed Systems, p.89, May 06-08, 1996
• 20: 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]
• 21: 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]
• 22: 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]
• 23: Mary Shaw , David Garlan, Software architecture: perspectives on an emerging discipline, Prentice-Hall, Inc., Upper Saddle River, NJ, 1996
• 24: M. Wermelinger, Towards a Chemical Model for Software Architecture Reconfiguration, IEE Proceedings --- Software, Vol. 145, No. 5, pp. 130-136, 1998.

INDEX TERMS

Keywords:
constraints, self-configuring, software architecture