Communicating sequential processes
Communicating sequential processes
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)
Information preserving bidirectional model transformations
FASE'07 Proceedings of the 10th international conference on Fundamental approaches to software engineering
Incremental model synchronization with triple graph grammars
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Model view management with triple graph transformation systems
ICGT'06 Proceedings of the Third international conference on Graph Transformations
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
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
Engineering model transformations with transML
Software and Systems Modeling (SoSyM)
Bridging the gap between formal semantics and implementation of triple graph grammars
Software and Systems Modeling (SoSyM)
Hi-index | 0.00 |
Triple graph transformation has become an important approach for model transformations. Triple graphs consist of a source, a target and a connection graph. The corresponding rules also contain these parts and describe the simultaneous construction of both the source and the target model. From these rules, forward rules can be derived which describe the model transformation from a given source model to a target model. The forward transformation must be source consistent in order to define a valid model transformation. Source consistency implies that the source and the target model correspond to each other according to a triple transformation.In this paper, the relationship between the source consistency of forward transformations, and NAC consistency and termination used in other model transformation approaches is analysed from a formal point of view. We define the kernel of a forward rule and construct NACs based on this kernel. Then we give sufficient conditions such that source consistency implies NAC consistency and termination. Moreover, we analyse how to achieve local confluence independent of source consistency. Both results together provide sufficient conditions for functional behaviour of model transformations. Our results are illustrated by an example describing a model transformation from activity diagrams to CSP.