Wermelinger, Michel; Lopes, Antónia and Fiadeiro, José Luiz
|DOI (Digital Object Identifier) Link:||http://dx.doi.org/10.1145/503209.503213|
|Google Scholar:||Look up in Google Scholar|
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.
|Item Type:||Book Chapter|
|Extra Information:||Conference took place in Vienna, Austria, 10-14 Sept 2001.
Also published under ISBN 0163-5948.
|Academic Unit/Department:||Mathematics, Computing and Technology > Computing & Communications|
|Interdisciplinary Research Centre:||Centre for Research in Computing (CRC)
|Depositing User:||Michel Wermelinger|
|Date Deposited:||30 Aug 2006|
|Last Modified:||05 Mar 2014 10:43|
Actions (login may be required)
|Report issue / request change|