[论文解读] Graph rewriting with polarized cloning

Dominique Duval, Rachid Echahed+1 more|arXiv (Cornell University)|Nov 19, 2009

Model-Driven Software Engineering Techniques参考文献 22被引用 7

一句话总结

本文提出了一种新颖的图重写框架，称为极化双推导（Polarized Sesqui-Pushout, PSqPO）方法，通过为节点标注极性来实现灵活的节点克隆，极性决定了是克隆入边、出边、两者都克隆，还是都不克隆。通过在重写规则中使用极化图作为接口，该方法推广了现有的双推导（SPO）和异质推导（HPO）等方法，并基于最终拉回补全和推导构造，提供了范畴论基础。

ABSTRACT

We tackle the problem of graph transformation with a particular focus on node cloning. We propose a new approach to graph rewriting where nodes can be cloned zero, one or more times. A node can be cloned together with all its incident edges, with only its outgoing edges, with only its incoming edges or with none of its incident edges. We thus subsume previous works such as the sesqui-pushout, the heterogeneous pushout and the adaptive star grammars approaches. A rewrite rule is defined as a span where the right-hand and left-hand sides are graphs while the interface is a polarized graph. A polarized graph is a graph endowed with some annotations on nodes. The way a node is cloned is indicated by its polarization annotation. We use these annotations for designing graph transformation with polarized cloning. We show how a clone of a node can be built according to the different possible polarizations and define a rewrite step as a final pullback complement followed by a pushout. This is called the polarized sesqui-pushout approach. We also provide an algorithmic presentation of the proposed graph transformation with polarized cloning.

研究动机与目标

• 解决现有图重写方法无法对节点克隆行为实现细粒度控制的局限性。
• 统一并推广现有的代数图重写框架，如双推导（SPO）、异质推导（HPO）和自适应星语法。
• 为图重写提供一个范畴论基础，支持对节点的有选择性地克隆其关联边（入边、出边、两者或都不克隆）。
• 在具有极化接口的图范畴中，通过最终拉回补全和推导形式化一种新的重写步骤。
• 为实际实现提供所提变换系统的算法化表述。

提出的方法

• 将重写规则定义为一个连通图 $ L rom K \to R $，其中 $ K $ 是一个极化图，而 $ L $ 和 $ R $ 是标准图。
• 通过 $ K $ 中节点的极性标注来指定克隆行为：仅克隆入边、仅克隆出边、两者都克隆，或都不克隆。
• 通过最终拉回补全后接推导构造重写步骤，确保图变换的一致性和正确性。
• 引入极化图的概念，即通过节点标注指示每个节点克隆策略的图。
• 定义态射 $ l: K \to L $ 和 $ r: K \to R $，分别编码规则的接口和目标，其中 $ l $ 保持极性信息。
• 通过利用拉回和推导等范畴论构造，在图的范畴中确保变换的定义良好。

实验结果

研究问题

• RQ1 如何将图重写中的节点克隆行为推广，以实现对关联边（入边、出边、两者或都不克隆）的选择性克隆，而非一次性全部克隆？
• RQ2 是否可以将双推导（SPO）和异质推导（HPO）方法统一在一个更表达性强的单一框架中？
• RQ3 哪种范畴论构造能够实现对具有极化克隆的图重写的统一且正确的定义？
• RQ4 如何对所提方法进行算法化实现，以在图变换工具中实际应用？
• RQ5 所提出的极化双推导（PSqPO）方法与现有方法（如DPO、SPO和HPO）之间的关系是什么？

主要发现

• 所提出的极化双推导（PSqPO）方法通过极性标注实现了对节点克隆行为的细粒度控制，推广了双推导（SPO）和异质推导（HPO）方法。
• 双推导（SPO）的重写步骤可以在PSqPO框架中模拟，但反之通常不成立，这表明新方法具有更强的表达能力。
• HPO方法被PSqPO框架所涵盖，因为任何HPO规则都可以通过适当的极性标注编码为一个PSqPO规则。
• PSqPO框架支持的变换类比原始双推导方法更广泛，后者仅允许克隆所有关联边。
• 最终拉回补全后接推导的范畴构造确保了变换过程的正确性和一致性。
• 该框架可实例化于Löwe的图重写通用跨度范畴框架中，表明其与更广泛理论发展的兼容性。