论文标题
使用PBPO+的图形重写和重新标记：准植物的统一理论
Graph Rewriting and Relabeling with PBPO+: A Unifying Theory for Quasitoposes
论文作者
论文摘要
我们扩展了功能强大的撤回式PUSHOUT（PBPO）方法，用于以强匹配的形式重写图形。我们的方法称为PBPO+，可以对主机图中的模式的嵌入进行更多的控制，这对于大量的重写系统很重要。我们认为，通过证明PBPO+可以定义PBPO，同意和DPO可以定义的重写关系的严格超集，可以将PBPO+视为准植物一般环境中的统一理论。此外，我们表明PBPO+非常适合通过在标签集上引入晶格结构并要求图形形态以订单保留来重写标记的图形和某些类别的归因图。
We extend the powerful Pullback-Pushout (PBPO) approach for graph rewriting with strong matching. Our approach, called PBPO+, allows more control over the embedding of the pattern in the host graph, which is important for a large class of rewrite systems. We argue that PBPO+ can be considered a unifying theory in the general setting of quasitoposes, by demonstrating that PBPO+ can define a strict superset of the rewrite relations definable by PBPO, AGREE and DPO. Additionally, we show that PBPO+ is well suited for rewriting labeled graphs and some classes of attributed graphs, by introducing a lattice structure on the label set and requiring graph morphisms to be order-preserving.
