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.
This work has been supported by the US Army Research, Development and Engineering Command (REDCOM).
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
SAE International, Architecture Analysis and Design Language (AADL), http://standards.sae.org/as5506b/
MathWorks, MathLab Simulink, http://www.mathworks.fr/products/simulink/
OMG, Systems Modeling Language (SysML), http://www.omgsysml.org/
OMG, Modeling and Analysis of Real-Time Embedded Systems (MARTE), http://www.omgmarte.org/
The Adele Graphical Editor for AADL, https://wiki.sei.cmu.edu/aadl/index.php/Adele/
Open Source AADL Tool Environment (OSATE), http://www.aadl.info/aadl/currentsite/tool/osate-down.html
The Model Transformation Engine (MoTE), http://www.mdelab.de/mote/
The Xtext Framework, http://www.eclipse.org/Xtext/
The Atlas Transformation Language (ATL), http://www.eclipse.org/atl/
The Epsilon Project, http://www.eclipse.org/epsilon/
The Kermeta Project, http://www.kermeta.org/
The Tom Project, http://tom.loria.fr
OMG, Query View Transformation (QVT), http://www.omg.org/spec/QVT/
Boronat, A., Meseguer, J.: Automated Model Synchronization: A Case Study on UML with Maude. Proc. of the ECEASST (41) (2011)
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)
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)
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)
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)
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)
TGG-Interpreter, http://www.cs.upb.de/index.php?id=tgg-interpreter/
eMoflon, http://www.emoflon.org/
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)
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)
Seibel, A., Neumann, S., Giese, H.: Dynamic hierarchical mega models: comprehensive traceability and its efficient maintenance. Softw. Syst. Model 9(4), 493–528 (2010)
EMF Compare, http://www.eclipse.org/emf/compare/
Giese, H., Hildebrandt, S.: Efficient Model Synchronization of Large-Scale Models, Tech. Rep. 28, Hasso Plattner Institute at the University of Potsdam (2009)
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)
Giese, H., Hildebrandt, S., Seibel, A.: Improved Flexibility and Scalability by Interpreting Story Diagrams. ECEASST (18) (2009)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Blouin, D., Plantec, A., Dissaux, P., Singhoff, F., Diguet, JP. (2014). Synchronization of Models of Rich Languages with Triple Graph Grammars: An Experience Report. In: Di Ruscio, D., Varró, D. (eds) Theory and Practice of Model Transformations. ICMT 2014. Lecture Notes in Computer Science, vol 8568. Springer, Cham. https://doi.org/10.1007/978-3-319-08789-4_8
Download citation
DOI: https://doi.org/10.1007/978-3-319-08789-4_8
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-08788-7
Online ISBN: 978-3-319-08789-4
eBook Packages: Computer ScienceComputer Science (R0)