Abstract

The Chemical Abstract Machine is a general-purpose, simple, and intuitive programming model. Among other domains, it has been used for the specification and analysis of the computational behaviour of software architectures. In this paper we explore the ability of the formalism to express the dynamics of the architecture itself and to unify different approaches to reconfiguration within a single framework.

Citations

426	The chemical abstract machine - Berry, Boudol - 1990
226	The evolving philosophers problem: Dynamic change management - Kramer, Magee - 1990
182	J.Kramer, "Dynamic Structure in Software Architectures - Magee - 1996
111	Formal specification and analysis of software architectures using the chemical abstract machine model - Inverardi, Wolf - 1995
33	D.: Gamma and the Chemical Reaction Model: Ten Years after - Banâtre, LeMétayer
31	Checking assumptions in components dynamics at the architectural level - Inverardi, Wolf, et al. - 1997
30	Planning for change: a reconfiguration language for distributed systems - Agnew, Hofmeister, et al. - 1994
26	Maintaining Node Consistency in the Face of Dynamic Change - Goudarzi, Kramer - 1996
18	A language for implementing generic dynamic reconfigurations of distributed programs - Endler - 1994
14	Self organising software architectures - Magee, Kramer - 1996
14	Software architecture styles as graph grammars - Métayer - 1996
11	A hierarchic architecture model for dynamic reconfiguration - Wermelinger - 1997
5	Relating CHAM descriptions of software architectures - Inverardi, Yankelevich - 1996