| 图变换（GT）系统的应用通常需要可用于指导GT过程的控制结构。大多数现有的GT工具都遵循有状态计算模型，当应用GT规则时，单个图形会被反复“就地”修改。在这些工具中实现控制结构并非易事。常见的挑战包括在执行GT组合时处理规则应用程序固有的非确定性和事务约束，特别是原子性和隔离。关联事务机制和规则应用程序搜索算法（例如回溯）的复杂性使这些控制结构的形式基础的定义变得复杂。与这些有状态方法相比，函数图重写提出了一种更简单的（无状态）计算模型，它简化了（函数）GT控制结构形式基的定义。在本文中，我们提出了“图变换控制代数”（GTA）作为这样一个基础。GTA已被用作在（功能）GT工具“葡萄藤”中实施控制结构的正式基础。 |
