A Graph based architectural (re)configuration language

Wermelinger, Michel; Lopes, Antónia and Fiadeiro, José Luiz (2001). A Graph based architectural (re)configuration language. In: Not Set ed. Proceedings of the 8th European Software Engineering Conference held jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering. Not Set, pp. 21–32.

DOI (Digital Object Identifier) Link:	http://dx.doi.org/doi:10.1145/503209.503213
Google Scholar:	Look up in Google Scholar

Abstract

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
ISBN:	1-58113-390-1, 978-1-58113-390-5
ISSN:	0163-5948
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
Interdisciplinary Research Centre:	Centre for Research in Computing (CRC)
Item ID:	1167
Depositing User:	Michel Wermelinger
Date Deposited:	30 Aug 2006
Last Modified:	02 Dec 2010 19:45
URI:	http://oro.open.ac.uk/id/eprint/1167

Actions (login may be required)

	View Item
	Public: Report issue / request change

Policies | Disclaimer