Graph Transformation with Symbolic Attributes via Monadic Coalgebra Homomorphisms

Wolfram Kahl

Abstract


We show how a coalgebraic approach leads to more natural representations of many kinds of graph structures that in the algebraic approach are frequently dealt with using ad-hoc constructions. For the case of symbolically attributed graphs, we demonstrate how using substituting coalgebra homomorphisms in double-pushout rewriting steps yields a powerful and easily understandable transformation mechanism.

Full Text:

PDF


DOI: http://dx.doi.org/10.14279/tuj.eceasst.71.999

DOI (PDF): http://dx.doi.org/10.14279/tuj.eceasst.71.999.989

Hosted By Universit├Ątsbibliothek TU Berlin.