Wermelinger, Michel; Lopes, Antónia and Fiadeiro, José Luiz
A Graph based architectural (re)configuration language.
In: 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering, 10-14 Sep 2001, Vienna, Austria, ACM, pp. 21–32.
Full text available as:
For several different reasons, such as changes in the business or technological environment, the configuration of a system may need to evolve during the execution. Support for such evolution can be conceived in terms of a language for specifying the dynamic reconfiguration of systems. In this paper, continuing our work on the development of a formal platform for architectural design, we present a high-level language to describe architectures and for operating changes over a configuration (i.e., an architecture instance), such as adding, removing or substituting components or interconnections. The language follows an imperative style and builds on a semantic domain established in previous work. Therein, we model architectures through categorical diagrams and dynamic reconfiguration through algebraic graph rewriting.
Actions (login may be required)