Confluence of Typed Attributed Graph Transformation Systems (2002)
| Venue: | In: Proc. ICGT 2002. Volume 2505 of LNCS |
| Citations: | 34 - 6 self |
BibTeX
@INPROCEEDINGS{Heckel02confluenceof,
author = {Reiko Heckel and Jochen Malte Küster and Gabriele Taentzer},
title = {Confluence of Typed Attributed Graph Transformation Systems},
booktitle = {In: Proc. ICGT 2002. Volume 2505 of LNCS},
year = {2002},
pages = {161--176},
publisher = {Springer}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
The issue of confluence is of major importance for the successful application of attributed graph transformation, such as automated translation of UML models into semantic domains. Whereas termination is undecidable in general and must be established by carefully designing the rules, local confluence can be shown for term rewriting and graph rewriting using the concept of critical pairs. In this paper, we discuss typed attributed graph transformation using a new simplified notion of attribution. For this kind of attributed graph transformation systems we establish a definition of critical pairs and prove a critical pair lemma, stating that local confluence follows from confluence of all critical pairs.
