M,N-adhesive transformation systems

  • Authors:

  • Annegret Habel;Detlef Plump

  • Affiliations:

  • Carl von Ossietzky Universität Oldenburg, Germany;The University of York, UK

  • Venue:
  • ICGT'12 Proceedings of the 6th international conference on Graph Transformations
  • Year:
  • 2012

Quantified Score

Hi-index 0.00

Visualization

Abstract

The categorical framework of $\mathcal M$-adhesive transformation systems does not cover graph transformation with relabelling. Rules that relabel nodes are natural for computing with graphs, however, and are commonly used in graph transformation languages. In this paper, we generalise $\mathcal M$-adhesive transformation systems to $\mathcal M,\mathcal N$-adhesive transformation systems, where $\mathcal N$ is a class of morphisms containing the vertical morphisms in double-pushouts. We show that the category of partially labelled graphs is $\mathcal M,\mathcal N$-adhesive, where $\mathcal M$ and $\mathcal N$ are the classes of injective and injective, undefinedness-preserving graph morphisms, respectively. We obtain the Local Church-Rosser Theorem and the Parallelism Theorem for graph transformation with relabelling and application conditions as instances of results which we prove at the abstract level of $\mathcal M,\mathcal N$-adhesive systems.