Abstract
For several different reasons, such as changes in the business or technological environment, the configuration of a system may need to evolve during 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.
| Original language | English |
|---|---|
| Pages | 21-32 |
| Number of pages | 12 |
| Publication status | Published - 2001 |
| Event | 8th Eiropean Engineering Conference (ESEC) and 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-9) - Vienna, Austria Duration: 10 Sept 2001 → 14 Sept 2001 |
Conference
| Conference | 8th Eiropean Engineering Conference (ESEC) and 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-9) |
|---|---|
| Country/Territory | Austria |
| City | Vienna |
| Period | 10/09/01 → 14/09/01 |
ASJC Scopus subject areas
- Software
Fingerprint
Dive into the research topics of 'A graph based architectural (re)configuration language'. Together they form a unique fingerprint.Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver