Modelling Constrained Dynamic Software Architecture with Attributed Graph Rewriting Systems - Archive ouverte HAL
Pré-Publication, Document De Travail Année : 2012

Modelling Constrained Dynamic Software Architecture with Attributed Graph Rewriting Systems

Résumé

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
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

  • HAL Id : hal-00798391 , version 1

Citer

Cédric Eichler, Thierry Monteil, Patricia Stolf. Modelling Constrained Dynamic Software Architecture with Attributed Graph Rewriting Systems. 2012. ⟨hal-00798391⟩
167 Consultations
118 Téléchargements

Partager

More