Relabelling in Graph Transformation

Annegret Habel, Detlef Plump

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

The traditional double-pushout approach to graph transformation does not allow to change node labels in an arbitrary context. We propose a simple solution to this problem, namely to use rules with partially labelled interface graphs and to match rules injectively. In [8] we have shown that injective matching makes the double-pushout approach more expressive, and here we further generalise that approach. Besides solving the relabelling problem, our framework allows to write rules with partially labelled left-hand sides which are equivalent to (possibly infinite) sets of rules in the traditional setting. Unlike previous work on rules with partially labelled graphs, we do not need any labelling condition on matching morphisms, nor do we exclude node merging rules.

Original languageEnglish
Title of host publicationProceedings 1st International Conference on Graph Transformation (ICGT 2002)
EditorsA Corradini, H Ehrig, HJ Kreowski, G Rozenberg
Place of PublicationBerlin
PublisherSpringer
Pages135-147
Number of pages13
ISBN (Print)3-540-44310-X
DOIs
Publication statusPublished - 2002
Event1st International Conference on Graph Transformation - BARCELONA
Duration: 7 Oct 200212 Oct 2002

Publication series

NameLecture Notes in Computer Science
PublisherSpringer-Verlag
Volume2505

Conference

Conference1st International Conference on Graph Transformation
CityBARCELONA
Period7/10/0212/10/02

Cite this