Modelling Constrained Dynamic Software Architecture with Attributed Graph Rewriting Systems - Archive ouverte HAL Access content directly
Preprints, Working Papers, ... Year :

Modelling Constrained Dynamic Software Architecture with Attributed Graph Rewriting Systems

(1) , (1) , (2, 3)
1
2
3

Abstract

Dynamic software architectures are studied for handling adap- tation in distributed systems, coping with new requirements, new envi- ronments, and failures. Graph rewriting systems have shown their ap- propriateness to model such architectures, particularly while considering the consistency of theirs reconfigurations. They provide generic formal means to specify structural properties, but imply a poor description of specific issues like behavioural properties. This paper lifts this limita- tion by proposing a formal approach for integrating the consideration of constraints, non-trivial attributes, and their propagation within the framework of graph rewriting systems.
Fichier principal
Vignette du fichier
artECSA.pdf (448.66 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-00798391 , version 1 (08-03-2013)

Identifiers

  • HAL Id : hal-00798391 , version 1

Cite

Cédric Eichler, Thierry Monteil, Patricia Stolf. Modelling Constrained Dynamic Software Architecture with Attributed Graph Rewriting Systems. 2012. ⟨hal-00798391⟩
126 View
89 Download

Share

Gmail Facebook Twitter LinkedIn More