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)
A Taxonomy of Model Transformation
Electronic Notes in Theoretical Computer Science (ENTCS)
Tool Integration with Triple Graph Grammars - A Survey
Electronic Notes in Theoretical Computer Science (ENTCS)
Model transformations in practice workshop
MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS
Behavior-Preserving Simulation-to-Animation Model and Rule Transformations
Electronic Notes in Theoretical Computer Science (ENTCS)
Incremental model synchronization for multiple updates
Proceedings of the third international workshop on Graph and model transformations
On the relationship of model transformations based on triple and plain graph grammars
Proceedings of the third international workshop on Graph and model transformations
Opportunities and challenges for traceable graph rewriting systems
Proceedings of the third international workshop on Graph and model transformations
Specifying the correctness properties of model transformations
Proceedings of the third international workshop on Graph and model transformations
Lifting Transformational Models of Product Lines: A Case Study
ICMT '08 Proceedings of the 1st international conference on Theory and Practice of Model Transformations
Model Synchronisation: Definitions for Round-Trip Engineering
ICMT '08 Proceedings of the 1st international conference on Theory and Practice of 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
Pattern-Based Model-to-Model Transformation
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
The Objects and Arrows of Computational Design
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Algebraic Models for Bidirectional Model Synchronization
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Design Space of Heterogeneous Synchronization
Generative and Transformational Techniques in Software Engineering II
A Landscape of Bidirectional Model Transformations
Generative and Transformational Techniques in Software Engineering II
A Collection Operator for Graph Transformation
ICMT '09 Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations
Pattern-Based Model-to-Model Transformation: Handling Attribute Conditions
ICMT '09 Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations
Towards Model Round-Trip Engineering: An Abductive Approach
ICMT '09 Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations
Verification and validation of declarative model-to-model transformations through invariants
Journal of Systems and Software
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
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
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
Formal analysis of functional behaviour for model transformations based on triple graph grammars
ICGT'10 Proceedings of the 5th international conference on Graph transformations
Extended triple graph grammars with efficient and compatible graph translators
Graph transformations and model-driven engineering
Controlling reuse in pattern-based model-to-model transformations
Graph transformations and model-driven engineering
Lessons learned from building a graph transformation system
Graph transformations and model-driven engineering
A formalisation of constraint-aware model transformations
FASE'10 Proceedings of the 13th international conference on Fundamental Approaches to Software Engineering
Combining graph transformation and algebraic specification into model transformation
WADT'10 Proceedings of the 20th international conference on Recent Trends in Algebraic Development Techniques
GRoundTram: An integrated framework for developing well-behaved bidirectional model transformations
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
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
Bidirectional model transformations in QVT: semantic issues and open questions
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
ICGT'12 Proceedings of the 6th international conference on Graph Transformations
Construction of integrity preserving triple graph grammars
ICGT'12 Proceedings of the 6th international conference on Graph Transformations
Efficient model synchronization with precedence triple graph grammars
ICGT'12 Proceedings of the 6th international conference on Graph Transformations
Comparing verification techniques for model transformations
Proceedings of the Workshop on Model-Driven Engineering, Verification and Validation
A general model description for discrete processes
Proceedings of the Winter Simulation Conference
Software and Systems Modeling (SoSyM)
A collection operator for graph transformation
Software and Systems Modeling (SoSyM)
A declarative and bidirectional model transformation approach based on graph co-spans
Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming
Hi-index | 0.00 |
Within model-driven software development, model transformation has become a key activity. It refers to a variety of operations modifying a model for various purposes such as analysis, optimization, and code generation. Most of these transformations need to be bidirectional to e.g. report analysis results, or keep coherence between models. In several application-oriented papers it has been shown that triple graph grammars are a promising approach to bidirectional model transformations. But up to now, there is no formal result showing under which condition corresponding forward and backward transformations are inverse to each other in the sense of information preservation. This problem is solved in this paper based on general results for the theory of algebraic graph transformations. The results are illustrated by a transformation of class models to relational data base models which has become a quasi-standard example for model transformation.