Efficient analysis and execution of correct and complete model transformations based on triple graph grammars

Authors:
Frank Hermann;Hartmut Ehrig;Ulrike Golas;Fernando Orejas
Affiliations:
Technische Universität Berlin, Berlin, Germany;Technische Universität Berlin, Berlin, Germany;Technische Universität Berlin, Berlin, Germany;Universitat Politècnica de Catalunya, Barcelona, Spain
Venue:
Proceedings of the First International Workshop on Model-Driven Interoperability
Year:
2010

Citing 12
Cited 10

Specification of Graph Translators with Triple Graph Grammars

WG '94 Proceedings of the 20th International Workshop on Graph-Theoretic Concepts in Computer Science
Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series)

Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series)
On the relationship of model transformations based on triple and plain graph grammars

Proceedings of the third international workshop on Graph and model transformations
Formal Analysis of Model Transformations Based on Triple Graph Rules with Kernels

ICGT '08 Proceedings of the 4th international conference on Graph Transformations
15 Years of Triple Graph Grammars

ICGT '08 Proceedings of the 4th international conference on Graph Transformations
Generation of Sierpinski Triangles: A Case Study for Graph Transformation Tools

Applications of Graph Transformations with Industrial Relevance
Correctness of high-level transformation systems relative to nested conditions†

Mathematical Structures in Computer Science
On-the-Fly Construction, Correctness and Completeness of Model Transformations Based on Triple Graph Grammars

MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Tool Integration with Triple Graph Grammars - A Survey

Electronic Notes in Theoretical Computer Science (ENTCS)
Information preserving bidirectional model transformations

FASE'07 Proceedings of the 10th international conference on Fundamental approaches to software engineering
Formal analysis of functional behaviour for model transformations based on triple graph grammars

ICGT'10 Proceedings of the 5th international conference on Graph transformations
Model view management with triple graph transformation systems

ICGT'06 Proceedings of the Third international conference on Graph Transformations

Model-driven interoperability: MDI 2010

MODELS'10 Proceedings of the 2010 international conference on Models in software engineering
Correctness of model synchronization based on triple graph grammars

Proceedings of the 14th international conference on Model driven engineering languages and systems
Attributed graph transformation with inheritance: Efficient conflict detection and local confluence analysis using abstract critical pairs

Theoretical Computer Science
Concurrent model synchronization with conflict resolution based on triple graph grammars

FASE'12 Proceedings of the 15th international conference on Fundamental Approaches to Software Engineering
Bidirectional model transformation with precedence triple graph grammars

ECMFA'12 Proceedings of the 8th European conference on Modelling Foundations and Applications
AGG 2.0 --- new features for specifying and analyzing algebraic graph transformations

AGTIVE'11 Proceedings of the 4th international conference on Applications of Graph Transformations with Industrial Relevance
Automatic conformance testing of optimized triple graph grammar implementations

AGTIVE'11 Proceedings of the 4th international conference on Applications of Graph Transformations with Industrial Relevance
Construction of integrity preserving triple graph grammars

ICGT'12 Proceedings of the 6th international conference on Graph Transformations
Propagation of constraints along model transformations using triple graph grammars and borrowed context

Journal of Visual Languages and Computing
Bridging the gap between formal semantics and implementation of triple graph grammars

Software and Systems Modeling (SoSyM)

Quantified Score

Hi-index	0.00

Visualization

Abstract

Triple Graph Grammars are a well-established, formal and intuitive concept for the specification and analysis of bidirectional model transformations. In previous work we have formalized and analyzed already termination, correctness, completeness, local confluence and functional behaviour. In this paper, we show how to improve the efficiency of the execution and analysis of model transformations in practical applications by using triple rules with negative application conditions (NACs). In addition to specification NACs, which improve the specification of model transformations, the generation of filter NACs improves the efficiency of the execution and the analysis of functional behaviour supported by critical pair analysis of the tool AGG. We illustrate the results for the well-known model transformation from class diagrams to relational database models.