Triple Graph Grammars are a formalism to specify bidirectional model transformations. The same model transformation specification can be used to perform forward transformations from an instance of the source metamodel to an instance of the target metamodel, and backward transformations in the opposite direction.
MoTE allows to model Triple Graph Grammars and perform model transformations and synchronizations on models based on the Eclipse Modeling Framework. While model transformation always creates a new target model, a model synchronization propagates only changes from the source to the target model. MoTE has already been used in several case studies for model transformation and synchronization and is characterized by a comparably high performance.
MoTE can be downloaded from our Eclipse update site: http://www.mdelab.de/update-site.
Project Team
- Dominique Blouin (since 2015)
Publications:
- Holger Giese and Stephan Hildebrandt and Leen Lambers,
Bridging the Gap Between Formal Semantics and Implementation of Triple Graph Grammars - Ensuring Conformance of Relational Model Transformation Specifications and Implementations,
Software and Systems Modeling, p. 1-27, 2012 - Leen Lambers and Stephan Hildebrandt and Holger Giese and Fernando Orejas. Attribute Handling for Bidirectional Model Transformations: The Triple Graph Grammar Case. In Proceedings of First International Workshop on Bidirectional Transformations, 2012. EC-EASST. to appear
- Stephan Hildebrandt and Leen Lambers and Holger Giese and Dominic Petrick and Ingo Richter. Automatic Conformance Testing of Optimized Triple Graph Grammar Implementations. In Andy Schürr and Daniel Varró and Gregely Varró, ed., Applications of graph Transformation with Industrial Relevance, 4th International Symposium, (AGTIVE 2011), volume 7233 2012. Springer.
- Holger Giese and Stephan Hildebrandt and Leen Lambers. Toward Bridging the Gap Between Formal Semantics and Implementation of Triple Graph Grammars. Technical Report 37, Hasso Plattner Institute at the University of Potsdam, 2010
- Thomas Vogel and Stefan Neumann and Stephan Hildebrandt and Holger Giese and Basil Becker. Incremental Model Synchronization for Efficient Run-Time Monitoring. In Sudipto Ghosh, ed., Models in Software Engineering, Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised Selected Papers, vol. 6002 of Lecture Notes in Computer Science (LNCS), pages 124-139. Springer-Verlag, 4 2010
- Holger Giese and Stefan Neumann and Stephan Hildebrandt. Model Synchronization at Work: Keeping SysML and AUTOSAR Models Consistent. In Gregor Engels and Claus Lewerentz and Wilhelm Schäfer and Andy Schürr and B. Westfechtel, ed., Graph Transformations and Model Driven Enginering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday, volume 5765 of Lecture Notes in Computer Science, pages 555-579, 2010. Springer Berlin / Heidelberg. 10.1007/978-3-642-17322-6_24
- Holger Giese and Stephan Hildebrandt and Leen Lambers. Toward Bridging the Gap Between Formal Semantics and Implementation of Triple Graph Grammars. In Proceedings of MoDeVVa 2010, Models Workshop on Model-Driven Engineering, Verification and Validation, pages 19-24, Oslo, Norway, 2010. IEEE Computer Society
- Mark Liebetrau. Erweiterte Tripel-Graph-Grammatiken. Master's Thesis, Hasso-Plattner-Institut für Softwaresystemtechnik, Universität Potsdam, 4 2010
- Holger Giese and Stephan Hildebrandt and Stefan Neumann. Towards Integrating SysML and AUTOSAR Modeling via Bidirectional Model Synchronization. In 5th Workshop on Model-Based Development of Embedded Systems (MBEES), 2009
- Holger Giese and Stephan Hildebrandt. Efficient Model Synchronization of Large-Scale Models. Technical Report 28, Hasso Plattner Institute at the University of Potsdam, 2009
- Holger Giese and Robert Wagner: From model transformation to incremental bidirectional model synchronization. In Software and Systems Modeling (SoSyM), vol. 8, no. 1, pp. 21-43. Springer Verlag, February 2009
- Holger Giese and Stephan Hildebrandt. Incremental Model Synchronization for Multiple Updates. In Proceedings of the 3rd International Workshop on Graph and Model Transformations, May 12, 2008, Leipzig, Germany, 2008. ACM Press
- Stephan Hildebrandt. Effiziente Modellsynchronisation mit Triple-Graph-Grammatiken durch Wiederverwendung von Transformationsergebnissen. Mastersthesis, Hasso-Plattner-Institut für Softwaresystemtechnik, Universität Potsdam, 12 2007
Used mdelab.de Tools:
Tool usage scenarios:
- Triple Graph Grammars can be used to specify bidirection model transformations.
- MoTE can perform model transformation and model synchronization, i.e., propagate only changes from a source to a target model.