24、并发模型同步与冲突解决技术解析

并发模型同步与冲突解决技术解析

1. 基本传播操作

在模型同步中，传播操作是关键环节。给定源模型 $G_S$ 与目标模型 $G_T$ 的对应关系 $G_S \leftrightarrow G_T$，以及对源模型的修改 $a: G_S \to G’_S$，前向传播操作包含三个步骤：
1. 计算集成模型 ：从对应图中删除与修改 $a$ 所删除元素相关的所有元素，得到集成模型 $G’_S \leftrightarrow G_T$。
2. 计算最大一致集成模型 ：找出包含在 $G’_S \leftrightarrow G_T$ 中的最大一致集成模型 $G^0_S \leftrightarrow G^0_T$。此过程并非从头构建模型，而是标记 $G’_S \leftrightarrow G_T$ 中的对应元素，并删除 $G_T$ 中未标记的元素。
3. 构建缺失部分 ：利用三元图语法（TGG）构建与 $G’_S \setminus G^0_S$ 对应的目标模型的缺失部分，得到一致集成模型 $G’_S \leftrightarrow G’_T$。

反向传播操作与之对偶。

为确保派生的传播操作 $fPpg$ 和 $bPpg$ 的正确性，给定的 TGG 需配备确定性的操作规则集。这意味着前向和反向翻译规则要为一致输入确保功能行为。

2. 半自动化冲突检测与解决

在一个领域内进行冲突解决时，我们考虑的是标准图的更新，而非三元图。两个图修改 $(G \leftarrow D_i \to H_i)$（$i = 1,