Generic approach for graph-based description of dynamically reconfigurable architectures

Architectural adaptation is studied for handling adaptation in autonomic distributed systems. It is achieved by implementing a model-based approach for managing reconfiguration of dynamic architectures. Describing such architectures includes defining rules for describing both architectural styles and theirs reconfiguration mechanisms. Within this research context, the work presented in this paper is conducted using formal specification based on graphs and graph rewriting appropriately for tackling architectural adaptation problems. A graph-based general approach for describing architectures and handling their dynamic reconfiguration is introduced. Our approach is illustrated in the context of a distributed hierarchical application. The formal models that allow the generation of a graph grammar for dynamic architecture description and the automatic definition of transformation rules for achieving intern self-protecting during the adaptation are elaborated.

[1]  Flávio Oquendo π-Method: a model-driven formal method for architecture-centric software engineering , 2006, SOEN.

[2]  Eddy Caron,et al.  Diet: A Scalable Toolbox to Build Network Enabled Servers on the Grid , 2006, Int. J. High Perform. Comput. Appl..

[3]  Alaa A. Kharbouch,et al.  Three models for the description of language , 1956, IRE Trans. Inf. Theory.

[4]  Paola Inverardi,et al.  Modeling Software Architecutes and Styles with Graph Grammars and Constraint Solving , 1999, WICSA.

[5]  Eric M. Dashofy,et al.  An infrastructure for the rapid development of XML-based architecture description languages , 2002, Proceedings of the 24th International Conference on Software Engineering. ICSE 2002.

[6]  Hartmut Ehrig,et al.  Tutorial introduction to the algebraic approach of graph grammars , 1986, Graph-Grammars and Their Application to Computer Science.

[7]  Richard N. Taylor,et al.  An infrastructure for the rapid development of XML-based architecture description languages , 2002, ICSE '02.

[8]  Reiko Heckel,et al.  A Formal Approach to Service Specification and Matching based on Graph Transformation , 2004, WSFM.

[9]  Jürgen Dingel,et al.  A survey of self-management in dynamic software architecture specifications , 2004, WOSS '04.

[10]  Richard N. Taylor,et al.  A Classification and Comparison Framework for Software Architecture Description Languages , 2000, IEEE Trans. Software Eng..

[11]  Daniel Le Métayer Describing Software Architecture Styles Using Graph Grammars , 1998, IEEE Trans. Software Eng..

[12]  Taewoong Jeon,et al.  Architecture modeling language based on UML2.0 , 2004, 11th Asia-Pacific Software Engineering Conference.

[13]  Yu Zhou,et al.  Applying ontology in architecture-based self-management applications , 2007, SAC '07.

[14]  Grzegorz Rozenberg,et al.  Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations , 1997 .

[15]  Alfred Strohmeier,et al.  Towards a UML Profile for Software Architecture Descriptions , 2000, UML.

[16]  George R. Ribeiro-Justo,et al.  Specifying and verifying reconfigurable software architectures , 2000, 2000 Proceedings International Symposium on Software Engineering for Parallel and Distributed Systems.

[17]  Nenad Medvidovic,et al.  Modeling software architectures in the Unified Modeling Language , 2002, TSEM.

[18]  Walter Mann,et al.  Correction to "Specification and Analysis of System Architecture Using Rapide" , 1995, IEEE Trans. Software Eng..

[19]  Hartmut Ehrig,et al.  Graph Grammars and Their Application to Computer Science , 1991, Lecture Notes in Computer Science.

[20]  David Garlan,et al.  Acme: architectural description of component-based systems , 2000 .

[21]  Mohamed Jmaiel,et al.  Evaluation and Comparison of ADL Based Approaches for the Description of Dynamic of Software Architectures , 2005, ICEIS.

[22]  Richard N. Taylor,et al.  A Component- and Message-Based Architectural Style for GUI Software , 1995, 1995 17th International Conference on Software Engineering.

[23]  David Garlan,et al.  A formal basis for architectural connection , 1997, TSEM.

[24]  Thierry Monteil,et al.  Non-Intrusive Autonomic Approach with Self-Management Policies Applied to Legacy Infrastructures for Performance Improvements , 2011, Int. J. Adapt. Resilient Auton. Syst..

[25]  Petri Selonen,et al.  Validating UML models against architectural profiles , 2003, ESEC/FSE-11.

[26]  Mohamed Jmaiel,et al.  Towards a Unified Graph-Based Framework for Dynamic Component-Based Architectures Description in Z , 2004, The IEEE/ACS International Conference on Pervasive Services.

[27]  Khalil Drira,et al.  Towards Autonomous Management of QoS through Model-Driven Adaptability in Communication-Centric Systems , 2006, Int. Trans. Syst. Sci. Appl..