Graph Rewriting and Relabeling with PBPO+
Abstract
We extend the powerful Pullback-Pushout (PBPO) approach for graph rewriting with strong matching. Our approach, called \pbpostrong, exerts more control over the embedding of the pattern in the host graph, which is important for a large class of graph rewrite systems. In addition, we show that \pbpostrong is well-suited for rewriting labeled graphs and certain classes of attributed graphs. For this purpose, we employ a lattice structure on the label set and use order-preserving graph morphisms. We argue that our approach is simpler and more general than related relabeling approaches in the literature.
- Publication:
-
arXiv e-prints
- Pub Date:
- October 2020
- DOI:
- 10.48550/arXiv.2010.08230
- arXiv:
- arXiv:2010.08230
- Bibcode:
- 2020arXiv201008230O
- Keywords:
-
- Computer Science - Logic in Computer Science
- E-Print:
- 20 pages, accepted to the International Conference on Graph Transformation 2021 (ICGT 2021)