Efficient Detection of Conflicts in Graph-based Model Transformation

Using graph transformation as a formalism to specify model transformation, termination and confluence of the graph transformation system are often required properties. Only under these two conditions, existence and uniqueness of the outcoming model is ensured. Verifying confluence of a graph transformation system can be reduced to checking both local confluence and termination. A graph transformation system is locally confluent, if all its conflicts in a minimal context can be resolved. Formally, this means, that all critical pairs of the graph transformation system should be strictly confluent. Thus, answering the question of local confluence of a graph transformation system, requires the following two steps. At first the computation of all critical pairs is necessary. Secondly this set of critical pairs has to be tested for strict confluence. This paper concentrates on the first step, proposing an efficient method to compute the set of all critical pairs of a given graph transformat...

• Type: Journal
• Year: 2006
• Where: ENTCS
• Authors: Leen Lambers, Hartmut Ehrig, Fernando Orejas
• Keywords: Critical Pair, ENTCS 2006, Graph Transformation, Model Transformation