函数式图程序的基础：图变换控制代数（GTA）
软件工程
2022-12-23 v1
摘要
图变换（GT）系统的应用通常需要可用于指导 GT 过程的控制结构。大多数现有的 GT 工具遵循有状态的计算模型，其中在应用 GT 规则时，单个图被反复“就地”修改。在此类工具中实现控制结构并非易事。常见的挑战包括处理规则应用固有的非确定性，以及在执行 GT 组合时的事务约束，特别是原子性与隔离性。相关事务机制与规则应用搜索算法（例如回溯）的复杂性，使得为这些控制结构定义形式化基础变得困难。与这些有状态方法相比，函数式图重写提出了一种更简单的（无状态的）计算模型，从而简化了（函数式）GT 控制结构的形式化基础的定义。在本文中，我们提出“图变换控制代数”（GTA）作为这样一种基础。GTA 已被用作（函数式）GT 工具“GrapeVine”中实现控制形式化基础。
引用
@article{arxiv.2212.11626,
title = {A Foundation for Functional Graph Programs: The Graph Transformation Control Algebra (GTA)},
author = {Jens H. Weber},
journal= {arXiv preprint arXiv:2212.11626},
year = {2022}
}
备注
In Proceedings GCM 2022, arXiv:2212.10975