A graph based architectural (Re)configuration language

  • Authors:

  • Michel Wermelinger;Antónia Lopes;José Luiz Fiadeiro

  • Affiliations:

  • Departamento de Informática, Fac. de Ciências e Tecnologia, Universidade Nova de Lisboa, 2829-516 Caparica, Portugal;Dep. de Informática, Faculdade de Ciências, Universidade de Lisboa, Campo Grande, 1700 Lisboa, Portugal;Dep. de Informática, Faculdade de Ciências, Universidade de Lisboa, Campo Grande, 1700 Lisboa, Portugal

  • Venue:
  • Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
  • Year:
  • 2001

Quantified Score

Hi-index 0.00

Visualization

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 interconnectons. 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.