文章基本信息

标题：On Single-Pushout Rewriting of Partial Algebras
本地全文：下载
作者：Michael Löwe ; Marius Tempelmeier
期刊名称：Electronic Communications of the EASST
电子版ISSN：1863-2122
出版年度：2016
卷号：73
语种：English
出版社：European Association of Software Science and Technology (EASST)
摘要：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.