Configuration and dynamic reconfiguration of components using the coordination paradigm

Abstract One of the most promising approaches in developing component-based (possibly distributed) systems is that of coordination models and languages. Coordination programming enjoys a number of advantages such as the ability to express different software architectures and abstract interaction protocols, support for multi-linguality, reusability and programming-in-the-large, etc. Configuration programming is another promising approach in developing large scale, component-based systems, with the increasing need for supporting the dynamic evolution of components. In this paper we explore and exploit the relationship between the notions of coordination and (dynamic) configuration and we illustrate the potential of control- or event-driven coordination languages to be used as languages for expressing dynamically reconfigurable software architectures. We argue that control-driven coordination has similar goals and aims with the notion of dynamic configuration and we illustrate how the former can achieve the functionality required by the latter.

[1]  Farhad Arbab,et al.  An overview of manifold and its implementation , 1993, Concurr. Pract. Exp..

[2]  Victoria Ungureanu,et al.  Building reconfiguration primitives into the law of a system , 1996, Proceedings of International Conference on Configurable Distributed Systems.

[3]  Anthony Finkelstein,et al.  A constructive approach to the design of distributed systems , 1990, Proceedings.,10th International Conference on Distributed Computing Systems.

[4]  Nicholas Carriero,et al.  Linda and Friends , 1986, Computer.

[5]  Farhad Arbab,et al.  Control-Based Coordination of Human and Other Activities in Cooperative Information Systems , 1997, COORDINATION.

[6]  Farhad Arbab,et al.  Dynamic process composition and communication patterns in irregularly structured applications , 2000 .

[7]  Judy M. Bishop.  Languages for configuration programming: a comparison , 1994 .

[8]  Ian Sommerville,et al.  PCL: a language for modelling evolving system architectures , 1996, Softw. Eng. J..

[9]  Farhad Arbab,et al.  Coordination of Distributed and Parallel Activities in the IWIM Model , 1997, Int. J. High Speed Comput..

[10]  Mario Barbacci,et al.  Durra: a structure description language for developing distributed applications , 1993, Softw. Eng. J..

[11]  Farhad Arbab,et al.  A transition system semantics for the control-driven coordination language MANIFOLD , 2000, Theor. Comput. Sci..

[12]  James M. Purtilo,et al.  Configuration-level programming of distributed applications using implicit invocation , 1994, Proceedings of TENCON'94 - 1994 IEEE Region 10's 9th Annual International Conference on: 'Frontiers of Computer Technology'.

[13]  George Coulouris,et al.  Dynamically reconfiguring multimedia components: a model-based approach , 1998, ACM SIGOPS European Workshop.

[14]  George Angelos Papadopoulos.  Distributed and Parallel Systems Engineering in MANIFOLD , 1998, Parallel Comput..

[15]  Michael D. Anderson,et al.  The Programmers' Playground: I/O Abstraction for User-Configurable Distributed Applications , 1995, IEEE Trans. Software Eng..

[16]  Santosh K. Shrivastava,et al.  Architectural support for dynamic reconfiguration of large scale distributed applications , 1998, Proceedings. Fourth International Conference on Configurable Distributed Systems (Cat. No.98EX159).

[17]  Farhad Arbab,et al.  Reusable coordinator modules for massively concurrent applications , 1996, Softw. Pract. Exp..

[18]  C LuckhamDavid,et al.  Specification and Analysis of System Architecture Using Rapide , 1995 .

[19]  George Angelos Papadopoulos,et al.  Real-Time Coordination in Distributed Multimedia Systems , 2000, IPDPS Workshops.

[20]  C. Hankin,et al.  Coordination programming: mechanisms, models and semantics , 1996 .

[21]  G. G. Stokes.  "J." , 1890, The New Yale Book of Quotations.

[22]  Mary Shaw,et al.  Abstractions for Software Architecture and Tools to Support Them , 1995, IEEE Trans. Software Eng..

[23]  Farhad Arbab,et al.  Coordination of systems with real-time properties in manifold , 1996, Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96.

[24]  James M. Purtilo,et al.  The POLYLITH software bus , 1994, TOPL.

[25]  Jeff Kramer.  Configuration programming-a framework for the development of distributable systems , 1990, COMPEURO'90: Proceedings of the 1990 IEEE International Conference on Computer Systems and Software Engineering@m_Systems Engineering Aspects of Complex Computerized Systems.

[26]  Jan A. Bergstra,et al.  The TOOLBUS Coordination Architecture , 1996, COORDINATION.

[27]  Marcelo Lobosco,et al.  On the Integration of Configuration and Meta-level Programming Approaches , 1999, Reflection and Software Engineering.

[28]  Farhad Arbab,et al.  Coordination Models and Languages , 1998, Adv. Comput..

[29]  Farhad Arbab,et al.  The IWIM Model for Coordination of Concurrent Activities , 1996, COORDINATION.