Modelling Constrained Dynamic Software Architecture with Attributed Graph Rewriting Systems

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