Applying Advanced TGG Concepts for a Complex Transformation of Sequence Diagram Specifications to Timed Game Automata

Declarative model transformation languages like QVT-R and TGGs are particularly convenient because mappings between models can be specified in a rule-based way, describing how patterns in one model correspond to patterns in another. The same mapping specification can be used for different transformation and synchronization scenarios, which are important in model-based software engineering. However, even though these languages already exist for a while, they are not widely used in practice today. One reason for that is that these languages often do not provide sufficiently rich features to cope with many problems that occur in practice. We report on a complex model transformation that we have solved by TGGs. We present advanced extensions of the TGG language that we have integrated in our tool, the TGG Interpreter.

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

[2]  Wang Yi,et al.  UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems , 1996, Hybrid Systems.

[3]  Thomas A. Henzinger,et al.  Hybrid Systems III , 1995, Lecture Notes in Computer Science.

[4]  Jochen Ludewig,et al.  Models in software engineering – an introduction , 2003, Software and Systems Modeling.

[5]  Perdita Stevens,et al.  Modelling Recursive Calls with UML State Diagrams , 2003, FASE.

[6]  Kim G. Larsen,et al.  Efficient On-the-Fly Algorithms for the Analysis of Timed Games , 2005, CONCUR.

[7]  Vincent Danos,et al.  Transactions in RCCS , 2005, CONCUR.

[8]  Tobias Rötschke,et al.  MOFLON: A Standard-Compliant Metamodeling Framework with Graph Transformations , 2006, ECMDA-FA.

[9]  David Harel,et al.  Assert and negate revisited: Modal semantics for UML sequence diagrams , 2008, SCESM '06.

[10]  David Harel,et al.  S2A: A Compiler for Multi-modal UML Sequence Diagrams , 2007, FASE.

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

[12]  Martin Gogolla,et al.  On Integrating OCL and Triple Graph Grammars , 2008, MoDELS Workshops.

[13]  Annegret Habel,et al.  Workshop on Graph Computation Models , 2008, ICGT.

[14]  Arend Rensink.  Model Driven Architecture - Foundations and Applications, 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009. Proceedings , 2009, ECMDA-FA.

[15]  Ekkart Kindler,et al.  Comparing relational model transformation technologies: implementing Query/View/Transformation with Triple Graph Grammars , 2009, Software & Systems Modeling.

[16]  Juan de Lara,et al.  Pattern-Based Model-to-Model Transformation: Handling Attribute Conditions , 2009, ICMT@TOOLS.

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

[18]  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.

[19]  Andy Schürr,et al.  Extended Triple Graph Grammars with Efficient and Compatible Graph Translators , 2010, Graph Transformations and Model-Driven Engineering.

[20]  Hartmut Ehrig,et al.  Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars , 2010, ICGT.

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

[22]  Gerti Kappel,et al.  A Comparison of Rule Inheritance in Model-to-Model Transformation Languages , 2011, ICMT@TOOLS.

[23]  Hartmut Ehrig,et al.  Formal Specification of Model Transformations by Triple Graph Grammars with Application Conditions , 2011, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..