Hypergraph rewriting: critical pairs and undecidability of confluence
Term graph rewriting
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)
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
Correctness of high-level transformation systems relative to nested conditions†
Mathematical Structures in Computer Science
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
Correctness, completeness and termination of pattern-based model-to-model transformation
CALCO'09 Proceedings of the 3rd international conference on Algebra and coalgebra in computer science
Model view management with triple graph transformation systems
ICGT'06 Proceedings of the Third international conference on Graph Transformations
Confluence of graph transformation revisited
Processes, Terms and Cycles
Proceedings of the First International Workshop on Model-Driven Interoperability
How far can enterprise modeling for banking be supported by graph transformation?
ICGT'10 Proceedings of the 5th international conference on Graph transformations
Dagstuhl seminar on bidirectional transformations (BX)
ACM SIGMOD Record
Correctness of model synchronization based on triple graph grammars
Proceedings of the 14th international conference on Model driven engineering languages and systems
Specifying refinement relations in vertical model transformations
ECMFA'12 Proceedings of the 8th European conference on Modelling Foundations and Applications
Hoare-Style Verification of Graph Programs
Fundamenta Informaticae - Recent Developments in the Theory of Graph Transformation, 2010
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
Verification of Model Transformations
Electronic Notes in Theoretical Computer Science (ENTCS)
A declarative and bidirectional model transformation approach based on graph co-spans
Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming
Bridging the gap between formal semantics and implementation of triple graph grammars
Software and Systems Modeling (SoSyM)
Hi-index | 0.00 |
Triple Graph Grammars (TGGs) are a well-established concept for the specification of model transformations. In previous work we have formalized and analyzed already crucial properties of model transformations like termination, correctness and completeness, but functional behaviour is missing up to now. In order to close this gap we generate forward translation rules, which extend standard forward rules by translation attributes keeping track of the elements which have been translated already. In the first main result we show the equivalence of model transformations based on forward resp. forward translation rules. This way, an additional control structure for the forward transformation is not needed. This allows to apply critical pair analysis and corresponding tool support by the tool AGG. However, we do not need general local confluence, because confluence for source graphs not belonging to the source language is not relevant for the functional behaviour of a model transformation. For this reason we only have to analyze a weaker property, called translation confluence. This leads to our second main result, the functional behaviour of model transformations, which is applied to our running example, the model transformation from class diagrams to database models.