Architecture Transformation and Refinement for Model-Driven Adaptability Management: Application to QoS Provisioning in Group Communication

In this paper, we identify and define the architectural properties of the different levels of abstraction necessary for adaptability management. The distinguished levels allow describing service-level, component-level and process-level architectural properties. Using graph grammars and graph transformation, we enforce the conventional graph-based representation of system and software architectures. We go beyond past informal studies by providing formal rules for architecture refinement and transformation. We focus on applications where communication is used to support the cooperation between distributed group members. We consider a concrete case study of Military Emergency Operation (MEO). Operation management.