Modelling Constrained Dynamic Software Architecture with Attributed Graph Rewriting Systems

Cédric Eichler (1) , Thierry Monteil (1) , Patricia Stolf (2, 3)

1 LAAS-SARA - Équipe Services et Architectures pour Réseaux Avancés
2 IRIT-SEPIA - Système d’exploitation, systèmes répartis, de l’intergiciel à l’architecture
3 UT2J - Université Toulouse - Jean Jaurès

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.

Mots clés: Dynamic software architectures; Graph rewriting systems; Constrained and attributed rewriting systems

Domaines: Architectures Matérielles [cs.AR]

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