Synchronization of Models of Rich Languages with Triple Graph Grammars: An Experience Report

We report our experience of using Triple Graph Grammars (TGG) to synchronize models of the rich and complex Architecture Analysis and Design Language (AADL), an aerospace standard of the Society of Automotive Engineers. A synchronization layer has been developed between the OSATE (Open Source AADL Tool Environment) textual editor and the Adele graphical editor in order to improve their integration. Adele has been designed to support editing AADL models in a way that does not necessarily follow the structure of the language, but is adapted to the way designers think. For this reason, it operates on a different meta-model than OSATE. As a result, changes on the graphical model must be propagated automatically to the textual model to ensure consistency of the models. Since Adele does not cover the complete AADL language, this must be done without re-instantiation of the objects to avoid losing the information not represented in the graphical part. The TGG language implemented in the MoTE tool has been used to synchronize the tools. Our results provide a validation of the TGG approach for synchronizing models of large meta-models, but also show that model synchronization remains a challenging task, since several improvements of the TGG language and its tool were required to succeed.

[1]  Perdita Stevens.  A Simple Game-Theoretic Approach to Checkonly QVT Relations , 2009, ICMT@TOOLS.

[2]  Holger Giese,et al.  Proceedings of the Eighth International Workshop on Graph Transformation and Visual Modeling Techniques , 2009 .

[3]  Holger Giese,et al.  Model Synchronization at Work: Keeping SysML and AUTOSAR Models Consistent , 2010, Graph Transformations and Model-Driven Engineering.

[4]  Andy Schürr,et al.  Specification of Graph Translators with Triple Graph Grammars , 1994, WG.

[5]  Manfred Nagl,et al.  Applications of Graph Transformations with Industrial Relevance, Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers , 2008, Applications of Graph Transformations with Industrial Relevance.

[6]  Gregor Engels,et al.  Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday , 2010, Graph Transformations and Model-Driven Engineering.

[7]  Holger Giese,et al.  On the Unification of Megamodels , 2012 .

[8]  Steffen Zschaler,et al.  Modular DSLs for Flexible Analysis: An e-Motions Reimplementation of Palladio , 2014, ECMFA.

[9]  Holger Giese,et al.  Dynamic hierarchical mega models: comprehensive traceability and its efficient maintenance , 2010, Software & Systems Modeling.

[10]  Holger Giese,et al.  A Survey of Triple Graph Grammar Tools , 2013, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

[11]  Joel Greenyer,et al.  Preventing Information Loss in Incremental Model Synchronization by Reusing Elements , 2011, ECMFA.

[12]  Andy Schürr,et al.  Model transformation in the large , 2007, ESEC-FSE '07.

[13]  Joel Greenyer,et al.  Applying Advanced TGG Concepts for a Complex Transformation of Sequence Diagram Specifications to Timed Game Automata , 2011, AGTIVE.

[14]  Fertigungstechnik Maschinenbau,et al.  ATLAS Transformation Language , 2010 .

[15]  Frédéric Jouault,et al.  Typing in Model Management , 2009, ICMT@TOOLS.

[16]  Holger Giese,et al.  Efficient Model Synchronization of Large-Scale Models , 2009 .

[17]  Artur Boronat,et al.  Automated Model Synchronization: A Case Study on UML with Maude , 2011, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..