Graph Transformation Systems in CHR

Frank Raiser. Graph Transformation Systems in CHR. 2007, Logic Programming, 23rd International Conference, ICLP 2007, volume 4670 of Lecture Notes in Computer Science, pages 240-254, Conference

Abstract:

In this paper we show it is possible to embed graph transformation systems (GTS) soundly and completely in constraint handling rules (CHR). We suggest an encoding for the graph production rules and we investigate its soundness and completeness by ensuring equivalence of rule applicability and results. We furthermore compare the notion of confluence in both systems and show how to adjust a standard CHR confluence check to work for an embedded GTS.