Nils Weidmann
ABSTRACT
Bidirectional model transformations are a way to keep two models synchronized and propagate changes in one model to the other one. Triple Graph Grammars (TGGs) are a rule-based approach to define consistency bidirectionally, with applications e.g. in the development of textual and visual languages. Although the underlying formalism is relatively uniform in different TGG tools, there are various TGG variants supporting different sets of language features, such as attribute conditions, (negative) application conditions, and multi-amalgamation. This makes it difficult to evaluate the expressiveness of a specific TGG tool, to check whether the tool supports all features required to specify a given consistency relation.
In this paper, we provide an overview of the most common language features of TGGs. Based on this, we discuss different TGG variants formally and develop a classification of TGG approaches with respect to their expressiveness. We evaluate whether certain language features increase the expressiveness of TGGs or just improve the usability and simplify the specification, which can be important when choosing a software tool depending on the concrete problem at hand. Additionally, examples implemented in the TGG tool eMoflon::IBeX are discussed, which particularly illustrate how the various TGG variants differ in their expressiveness.
- Freddy Allilaire and Frédéric Jouault. 2007. Families to Persons. A simple illustration of model-to-model transformation. https://www.eclipse.org/atl/atlTransformations/#Families2Persons.Google Scholar
- Anthony Anjorin, Thomas Buchmann, and Bernhard Westfechtel. 2017. The Families to Persons Case. In TTC 2017 (CEUR Workshop Proceedings), Antonio García-Domínguez, Georg Hinkel, and Filip Krikava (Eds.), Vol. 2026. CEUR-WS.org, 27-34. http://ceur-ws.org/Vol-2026/paper2.pdf.Google Scholar
- Anthony Anjorin, Alcino Cunha, Holger Giese, Frank Hermann, Arend Rensink, and Andy Schürr. 2014. BenchmarX. In EDBT/ICDT 2014 (CEUR Workshop Proceedings), K. Selçuk Candan, Sihem Amer-Yahia, Nicole Schweikardt, Vassilis Christophides, and Vincent Leroy (Eds.), Vol. 1133. CEUR-WS.org, 82-86. http://ceur-ws.org/Vol-1133/paper-13.pdf.Google Scholar
- Anthony Anjorin, Zinovy Diskin, Frédéric Jouault, Hsiang-Shang Ko, Erhan Leblebici, and Bernhard Westfechtel. [n.d.]. Benchmarx Reloaded: A Practical Benchmark Framework for Bidirectional Transformations, Romina Eramo and Michael Johnson (Eds.). 15 - 30. http://ceur-ws.org/Vol-1827/paper6.pdf.Google Scholar
- Anthony Anjorin, Erhan Leblebici, and Andy Schürr. 2015. 20 Years of Triple Graph Grammars: A Roadmap for Future Research. ECEASST 73 (2015).Google Scholar
- Anthony Anjorin, Karsten Saller, Malte Lochau, and Andy Schürr. 2014. Modularizing Triple Graph Grammars Using Rule Refinement. In FASE 2014 (LNCS), Stefania Gnesi and Arend Rensink (Eds.), Vol. 8411. Springer, 340-354. Google ScholarDigital Library
- Anthony Anjorin, Andy Schürr, and Gabriele Taentzer. 2012. Construction of Integrity Preserving Triple Graph Grammars. In ICGT 2012 (ICGT'12). Springer-Verlag, Berlin, Heidelberg, 356-370. Google ScholarDigital Library
- Anthony Anjorin, Gergely Varró, and Andy Schürr. [n.d.]. Complex Attribute Manipulation in TGGs with Constraint-Based Programming Techniques, Frank Hermann and Janis Voigtländer (Eds.). https://pdfs.semanticscholar.org/b500/bf90a2d00040894da69c876eafe64ed20602.pdf.Google Scholar
- Jean Bézivin, Bernhard Rumpe, Andy Schürr, and Laurence Tratt. 2005. Model Transformations in Practice Workshop. In MoDELS 2005 International Workshops (LNCS), Jean-Michel Bruel (Ed.), Vol. 3844. Springer, 120-127. Google ScholarDigital Library
- Paul Boehm, Harald-Reto Fonio, and Annegret Habel. 1985. Amalgamation of Graph Transformations with Applications to Synchronization. In TAPSOFT 1985 (LNCS), Hartmut Ehrig, Christiane Floyd, Maurice Nivat, and James W. Thatcher (Eds.), Vol. 185. Springer, 267- 283. Google ScholarDigital Library
- Paul Boehm, Harald-Reto Fonio, and Annegret Habel. 1987. Amalgamation of Graph Transformations: A Synchronization Mechanism. 377 - 408. http://www.sciencedirect.com/science/article/pii/0022000087900304. Google ScholarDigital Library
- Sven Burmester, Holger Giese, Jörg Niere, Matthias Tichy, Jörg P. Wadsack, Robert Wagner, Lothar Wendehals, and Albert Zündorf. 2004. Tool Integration at the Meta-model Level: The Fujaba Approach. STTT 6, 3 (2004), 203-218. Google ScholarDigital Library
- Krzysztof Czarnecki, J. Nathan Foster, Zhenjiang Hu, Ralf Lämmel, Andy Schürr, and James F. Terwilliger. 2009. Bidirectional Transformations: A Cross-Discipline Perspective, Richard F. Paige (Ed.). Springer-Verlag, Berlin, Heidelberg, 260 - 283. http://gsd.uwaterloo.ca/sites/default/files/GRACE-report-ICMT09.pdf. Google ScholarDigital Library
- Duc-Hanh Dang and Martin Gogolla. 2008. On Integrating OCL and Triple Graph Grammars. In Workshops and Symposia at MoDELS 2008 (LNCS), Michel R. V. Chaudron (Ed.), Vol. 5421. Springer, 124-137.Google Scholar
- Hartmut Ehrig, Karsten Ehrig, Ulrike Prange, and Gabriele Taentzer. 2006. Fundamentals of Algebraic Graph Transformation. Springer-Verlag Berlin Heidelberg. Google Scholar
- Hartmut Ehrig, Frank Hermann, and Christoph Sartorius. 2009. Completeness and Correctness of Model Transformations based on Triple Graph Grammars with Negative Application Conditions. ECEASST 18 (2009).Google Scholar
- Hartmut Ehrig, Frank Hermann, Hanna Schölzel, and Christoph Brandt. 2013. Propagation of constraints along model transformations using triple graph grammars and borrowed context. J. Vis. Lang. Comput. 24, 5 (2013), 365-388. Google ScholarDigital Library
- Claudia Ermel, Frank Hermann, Jürgen Gall, and Daniel Binanzer. 2012. Visual Modeling and Analysis of EMF Model Transformations Based on Triple Graph Grammars. ECEASST 54 (2012).Google Scholar
- Holger Giese, Stephan Hildebrandt, and Leen Lambers. 2014. Bridging the Gap between Formal Semantics and Implementation of Triple Graph Grammars - Ensuring Conformance of Relational Model Transformation Specifications and Implementations. Software and System Modeling 13, 1 (2014), 273-299. Google ScholarDigital Library
- Holger Giese, Stephan Hildebrandt, and Stefan Neumann. 2010. Model Synchronization at Work: Keeping SysML and AUTOSAR Models Consistent. Graph transformations and model-driven engineering 5765 (2010), 555-579.Google Scholar
- Holger Giese and Robert Wagner. 2006. Incremental Model Synchronization with Triple Graph Grammars. In MoDELS 2006 (LNCS), Oscar Nierstrasz, Jon Whittle, David Harel, and Gianna Reggio (Eds.), Vol. 4199. Springer, 543-557. Google ScholarDigital Library
- Ulrike Golas, Hartmut Ehrig, and Annegret Habel. 2010. Multi-Amalgamation in Adhesive Categories. In ICGT 2010 (LNCS), Hartmut Ehrig, Arend Rensink, Grzegorz Rozenberg, and Andy Schürr (Eds.), Vol. 6372. Springer, 346-361. Google ScholarDigital Library
- Ulrike Golas, Hartmut Ehrig, and Frank Hermann. 2011. Formal Specification of Model Transformations by Triple Graph Grammars with Application Conditions. ECEASST 39 (2011).Google Scholar
- Ulrike Golas, Annegret Habel, and Hartmut Ehrig. 2014. Multiamalgamation of rules with application conditions in -adhesive categories. Mathematical Structures in Computer Science 24, 4 (2014).Google Scholar
- Joel Greenyer and Ekkart Kindler. 2010. Comparing Relational Model Transformation Technologies: Implementing Query/View/Transformation with Triple Graph Grammars. Software and System Modeling 9, 1 (2010), 21-46.Google ScholarCross Ref
- Esther Guerra and Juan de Lara. 2006. Model View Management with Triple Graph Transformation Systems. In ICGT 2006 (LNCS), Andrea Corradini, Hartmut Ehrig, Ugo Montanari, Leila Ribeiro, and Grzegorz Rozenberg (Eds.), Vol. 4178. Springer, 351-366. Google ScholarDigital Library
- Esther Guerra, Juan de Lara, and Fernando Orejas. 2009. Pattern-Based Model-to-Model Transformation: Handling Attribute Conditions, Richard F. Paige (Ed.). Springer-Verlag, Berlin, Heidelberg, 83 - 99. http://www.lsi.upc.edu/~orejas/papers/ICMT.pdf. Google ScholarDigital Library
- Frank Hermann, Susann Gottmann, Nico Nachtigall, Benjamin Braatz, Gianluigi Morelli, Alain Pierre, and Thomas Engel. 2013. On an Automated Translation of Satellite Procedures Using Triple Graph Grammars. In ICMT 2013 (LNCS), Keith Duddy and Gerti Kappel (Eds.), Vol. 7909. Springer, 50-51.Google ScholarCross Ref
- Stephan Hildebrandt, Leen Lambers, Basil Becker, and Holger Giese. 2012. Integration of Triple Graph Grammars and Constraints. ECEASST 54 (2012).Google Scholar
- Stephan Hildebrandt, Leen Lambers, Holger Giese, Dominic Petrick, and Ingo Richter. 2011. Automatic Conformance Testing of Optimized Triple Graph Grammar Implementations. In AGTIVE 2011 (LNCS), Andy Schürr, Dániel Varró, and Gergely Varró (Eds.), Vol. 7233. Springer, 238-253. Google ScholarDigital Library
- Stephan Hildebrandt, Leen Lambers, Holger Giese, Jan Rieke, Joel Greenyer, Wilhelm Schäfer, Marius Lauder, Anthony Anjorin, and Andy Schürr. 2013. A Survey of Triple Graph Grammar Tools. ECEASST 57 (2013).Google Scholar
- Ekkart Kindler and Robert Wagner. 2007. Triple Graph Grammars: Concepts, Extensions, Implementations, and Application Scenarios. Technical Report. University of Paderborn.Google Scholar
- Felix Klar, Alexander Königs, and Andy Schürr. 2007. Model transformation in the large. In ESEC/FSE 2007, Ivica Crnkovic and Antonia Bertolino (Eds.). ACM, 285-294. Google ScholarDigital Library
- Felix Klar, Alexander Königs, and Andy Schürr. 2007. Model Transformation in the Large. In ESEC-FSE 2007 (ESEC-FSE 2007). ACM, New York, NY, USA, 285-294. Google ScholarDigital Library
- Lilija Klassen and Robert Wagner. 2012. EMorF - A Tool for Model Transformations. ECEASST 54 (2012).Google Scholar
- Leen Lambers, Stephan Hildebrandt, Holger Giese, and Fernando Orejas. 2012. Attribute Handling for Bidirectional Model Transformations: The Triple Graph Grammar Case. ECEASST 49 (2012).Google Scholar
- Erhan Leblebici, Anthony Anjorin, and Andy Schürr. 2014. Developing eMoflon with eMoflon. In ICMT 2014 (LNCS), Davide Di Ruscio and Dániel Varró (Eds.), Vol. 8568. Springer, 138-145.Google ScholarCross Ref
- Erhan Leblebici, Anthony Anjorin, and Andy Schürr. 2015. Tool Support for Multi-amalgamated Triple Graph Grammars, See [42], 257-265.Google Scholar
- Erhan Leblebici, Anthony Anjorin, Andy Schürr, Stephan Hildebrandt, Jan Rieke, and Joel Greenyer. 2014. A Comparison of Incremental Triple Graph Grammar Tools. ECEASST 67 (2014).Google Scholar
- Erhan Leblebici, Anthony Anjorin, Andy Schürr, and Gabriele Taentzer. 2015. Multi-amalgamated Triple Graph Grammars, See [42], 87-103.Google Scholar
- Erhan Leblebici, Anthony Anjorin, Andy Schürr, and Gabriele Taentzer. 2017. Multi-amalgamated triple graph grammars: Formal foundation and application to visual language translation. J. Vis. Lang. Comput. 42 (2017), 99-121. Google ScholarDigital Library
- Francesco Parisi-Presicce and Bernhard Westfechtel (Eds.). 2015. ICGT 2015. LNCS, Vol. 9151. Springer.Google Scholar
- Andy Schürr. 1995. Specification of Graph Translators with Triple Graph Grammars, Ernst W. Mayr, Gunther Schmidt, and Gottfried Tinhofer (Eds.). Springer-Verlag, Berlin, Heidelberg, 151 - 163. http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.457.5219&rep=rep1&type=pdf. Google ScholarDigital Library
- Andy Schürr and Felix Klar. 2008. 15 Years of Triple Graph Grammars. In ICGT 2008 (LNCS), Hartmut Ehrig, Reiko Heckel, Grzegorz Rozenberg, and Gabriele Taentzer (Eds.), Vol. 5214. Springer, 411-425. Google ScholarDigital Library
- Annika Wagner. 1995. On the Expressive Power of Algebraic Graph Grammars with Application Conditions. In TAPSOFT 1995 (LNCS), Peter D. Mosses, Mogens Nielsen, and Michael I. Schwartzbach (Eds.), Vol. 915. Springer, 409-423. Google ScholarDigital Library
- Nils Weidmann, Anthony Anjorin, Lars Fritsche, Gergely Varró, Andy Schürr, and Erhan Leblebici. 2019. Incremental Bidirectional Model Transformation with eMoflon: : IBeX. In Bx@PLW 2019 (CEUR Workshop Proceedings), James Cheney and Hsiang-Shang Ko (Eds.), Vol. 2355. CEUR-WS.org, 45-55. http://ceur-ws.org/Vol-2355/paper4.pdf.Google Scholar
- Manuel Wimmer, Gerti Kappel, Angelika Kusel, Werner Retschitzegger, Johannes Schönböck, Wieland Schwinger, Dimitris Kolovos, Richard Paige, Marius Lauder, Andy Schürr, and Dennis Wagelaar. [n.d.]. A Comparison of Rule Inheritance in Model-to-Model Transformation Languages, Jordi Cabot and Eelco Visser (Eds.). 31 - 46. http://www.bioinf.jku.at/publications/ifs/2011/ICMT.pdf. Google ScholarDigital Library
- Manuel Wimmer, Gerti Kappel, Angelika Kusel, Werner Retschitzegger, Johannes Schönböck, Wieland Schwinger, Dimitris Kolovos, Richard Paige, Marius Lauder, Andy Schürr, and Dennis Wagelaar. 2012. Surveying Rule Inheritance in Model-to-Model Transformation Languages. (2012). http://www.jot.fm/issues/issue_2012_08/article3.pdf.Google Scholar
Index Terms
- A feature-based classification of triple graph grammar variants
Recommendations
Toward Bridging the Gap between Formal Semantics and Implementation of Triple Graph Grammars
MODEVVA '10: Proceedings of the 2010 Workshop on Model-Driven Engineering, Verification, and ValidationThe correctness of model transformations is a crucial element for the model-driven engineering of high quality software. A prerequisite to verify model transformations at the level of the model transformation specification is that an unambiguous formal ...
Automatic conformance testing of optimized triple graph grammar implementations
AGTIVE'11: Proceedings of the 4th international conference on Applications of Graph Transformations with Industrial RelevanceIn model-driven development, model transformations can be specified using an operational (imperative) or relational (declarative) approach. When using a relational approach, approved formal concepts are necessary to derive a conform operationalization. ...
On Language Levels for Feature Modeling Notations
SPLC '19: Proceedings of the 23rd International Systems and Software Product Line Conference - Volume BConfiguration is a key enabling technology for the engineering of systems and software as wells as physical goods. A selection of configuration options (aka. features) is often enough to automatically generate a product tailored to the needs of a ...
Comments