On Single-Pushout Rewriting of Partial Algebras

Michael Löwe, Marius Tempelmeier


We introduce Single-Pushout Rewriting for arbitrary partial algebras. Thus, we give up the usual restriction to graph structures, which are algebraic categories with unary operators only. By this generalisation, we obtain an integrated and straightforward treatment of graphical structures (objects) and attributes (data). We lose co-completeness of the underlying category. Therefore, a rule is no longer applicable at any match. We characterise the new application condition and make constructive use of it in some practical examples.

Full Text:


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

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

Hosted By Universitätsbibliothek TU Berlin.