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

  • Dominique Blouin
  • Alain Plantec
  • Pierre Dissaux
  • Frank Singhoff
  • Jean-Philippe Diguet
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8568)

Abstract

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.

Keywords

Model Transformation Model Synchronization TGG MoTE AADL 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    SAE International, Architecture Analysis and Design Language (AADL), http://standards.sae.org/as5506b/
  2. 2.
    MathWorks, MathLab Simulink, http://www.mathworks.fr/products/simulink/
  3. 3.
    OMG, Systems Modeling Language (SysML), http://www.omgsysml.org/
  4. 4.
    OMG, Modeling and Analysis of Real-Time Embedded Systems (MARTE), http://www.omgmarte.org/
  5. 5.
    The Adele Graphical Editor for AADL, https://wiki.sei.cmu.edu/aadl/index.php/Adele/
  6. 6.
    Open Source AADL Tool Environment (OSATE), http://www.aadl.info/aadl/currentsite/tool/osate-down.html
  7. 7.
    The Model Transformation Engine (MoTE), http://www.mdelab.de/mote/
  8. 8.
    The Xtext Framework, http://www.eclipse.org/Xtext/
  9. 9.
    The Atlas Transformation Language (ATL), http://www.eclipse.org/atl/
  10. 10.
    The Epsilon Project, http://www.eclipse.org/epsilon/
  11. 11.
    The Kermeta Project, http://www.kermeta.org/
  12. 12.
    The Tom Project, http://tom.loria.fr
  13. 13.
    OMG, Query View Transformation (QVT), http://www.omg.org/spec/QVT/
  14. 14.
    Boronat, A., Meseguer, J.: Automated Model Synchronization: A Case Study on UML with Maude. Proc. of the ECEASST (41) (2011)Google Scholar
  15. 15.
    Schürr, A.: Specification of graph translators with triple graph grammars. In: Mayr, E.W., Schmidt, G., Tinhofer, G. (eds.) WG 1994. LNCS, vol. 903, pp. 151–163. Springer, Heidelberg (1995)CrossRefGoogle Scholar
  16. 16.
    Giese, H., Hildebrandt, S., Neumann, S.: Model Synchronization at Work: Keeping SysML and AUTOSAR Models Consistent. In: Engels, G., Lewerentz, C., Schäfer, W., Schürr, A., Westfechtel, B. (eds.) Nagl Festschrift. LNCS, vol. 5765, pp. 555–579. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  17. 17.
    Greenyer, J., Rieke, J.: Applying Advanced TGG Concepts for a Complex Transformation of Sequence Diagram Specifications to Timed Game Automata. In: Schürr, A., Varró, D., Varró, G. (eds.) AGTIVE 2011. LNCS, vol. 7233, pp. 222–237. Springer, Heidelberg (2012)CrossRefGoogle Scholar
  18. 18.
    Klar, F., Königs, A., Schürr, A.: Model Transformation in the Large. In: Proc. of the 6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC-FSE 2007), pp. 285–294 (2007)Google Scholar
  19. 19.
    Hildebrandt, S., Lambers, L., Giese, H., Rieke, J., Greenyer, J., Schafer, W., Lauder, M., Anjorin, A., Schürr, A.: A Survey of Triple Graph Grammar Tools. In: Proc. of the 2nd International Workshop on Bidirectional Transformations (2013)Google Scholar
  20. 20.
  21. 21.
  22. 22.
    Hebig, R., Seibel, A., Giese, H.: On the Unification of Megamodels. In: Proc. of the 4th International Workshop on Multi-Paradigm Modeling (MPM 2010). ECEASST, vol. 42 (2011)Google Scholar
  23. 23.
    Vignaga, A., Jouault, F., Bastarrica, M.C., Brunelière, H.: Typing in Model Management. In: Paige, R.F. (ed.) ICMT 2009. LNCS, vol. 5563, pp. 197–212. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  24. 24.
    Seibel, A., Neumann, S., Giese, H.: Dynamic hierarchical mega models: comprehensive traceability and its efficient maintenance. Softw. Syst. Model 9(4), 493–528 (2010)CrossRefGoogle Scholar
  25. 25.
  26. 26.
    Giese, H., Hildebrandt, S.: Efficient Model Synchronization of Large-Scale Models, Tech. Rep. 28, Hasso Plattner Institute at the University of Potsdam (2009)Google Scholar
  27. 27.
    Greenyer, J., Pook, S., Rieke, J.: Preventing information loss in incremental model synchronization by reusing elements. In: France, R.B., Kuester, J.M., Bordbar, B., Paige, R.F. (eds.) ECMFA 2011. LNCS, vol. 6698, pp. 144–159. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  28. 28.
    Giese, H., Hildebrandt, S., Seibel, A.: Improved Flexibility and Scalability by Interpreting Story Diagrams. ECEASST (18) (2009)Google Scholar

Copyright information

© Springer International Publishing Switzerland 2014

Authors and Affiliations

  • Dominique Blouin
    • 1
  • Alain Plantec
    • 2
  • Pierre Dissaux
    • 3
  • Frank Singhoff
    • 2
  • Jean-Philippe Diguet
    • 1
  1. 1.Lab-STICCUniversité de Bretagne-Sud, Centre de rechercheLorient CedexFrance
  2. 2.Lab-STICCUniversité de Bretagne-OccidentaleBrest CedexFrance
  3. 3.Ellidiss TechnologiesBrestFrance

Personalised recommendations