Modelling Constrained Dynamic Software Architecture with Attributed Graph Rewriting Systems
Cédric Eichler, Thierry Monteil, Patricia Stolf · 2012
Abstract. Dynamicsoftware architecturesarestudiedforhandlingadaptation in distributed systems, coping with new requirements, new environments, and failures. Graph rewriting systems have shown their appropriateness 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 limitation by proposing a formal approach for integrating the consideration of constraints, non-trivial attributes, and their propagation within the framework of graph rewriting systems.