6、符号图转换中延迟约束求解

符号图转换中延迟约束求解

1. 引言

属性图和属性图转换在图转换的大多数应用中扮演着重要角色。属性图转换规则与普通规则类似，但部分节点或边由给定变量的表达式标记。定义规则到对象图的匹配，意味着求解一组约束条件。在许多情况下，这些约束条件很容易求解，例如规则描述的转换中，目标图的属性可通过源图属性的简单计算得到。然而，也存在许多情况，约束条件求解并不容易，且可能有多个解，比如转换过程包含搜索操作时。

在现有的属性图转换方法中，定义转换规则匹配时必须完全求解这些约束条件，即进行早期绑定。但这种方式在计算机科学的其他领域已被证明存在不足，因为所选的解可能并非最优，后续可能需要回溯该转换步骤。受约束逻辑编程等领域的启发，本文提出一种新方法，允许在属性图转换时延迟约束求解。该方法相对于标准属性图转换是可靠且完备的，通过一个描述旅行社基本操作的图转换系统实例，展示了该方法的实际应用价值。

2. 预备知识

• 基本代数概念和符号
  • 签名 $\Sigma = (S, \Omega)$ 由一组类型 $S$ 和一族操作及谓词符号 $\Omega$ 组成，这些符号按类型分类。
  • $\Sigma$-代数 $A$ 由一个 $S$-索引的集合族 ${A_s}_{s \in S}$ 以及签名中每个操作 $op$ 的函数 $op_A$ 和每个谓词 $pr$ 的关系 $pr_A$ 构成。
  • $\Sigma$-同态 $h : A \to A’$ 是一个 $S$-索引的函数族 ${h_s : A_s \to A’ s} {s \in S}$，且