Wermelinger, Michel; Lopes, Antónia and Fiadeiro, José Luiz
PDF (Accepted Manuscript)
- Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
Download (134Kb) | Preview
|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:||Conference Item|
|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
Mathematics, Computing and Technology
|Interdisciplinary Research Centre:||Centre for Research in Computing (CRC)|
|Depositing User:||Michel Wermelinger|
|Date Deposited:||30 Aug 2006|
|Last Modified:||19 Jan 2016 08:12|
|Share this page:|