25、并发模型同步与冲突解决及递归检查型 QVT - R 转换研究

并发模型同步与冲突解决及递归检查型 QVT - R 转换研究

并发模型同步与冲突解决

并发模型同步涉及同时对模型进行同步，其中包括对不同源或目标修改的冲突解决。基本和并发模型同步的正确性和兼容性的主要成果，是基于在三元图语法（TGGs）框架下对双向模型转换的形式化，以及相关研究中的成果。

在未来工作中，计划对并发同步过程的正确性和最大化标准进行扩展刻画。当前，正确性的定义一方面明确依据特定的两条定律，另一方面隐含依据与基本模型同步兼容性的相关性质。可以通过将同步过程的正确性与给定源和目标更新的全部或部分实现相关联，来强化这一定义。

还可以从不同层面研究 fSynch 和 bSynch 操作的组合，这在理论和实践上都具有重要意义。另外，考虑采用一种截然不同的方法来定义并发同步。目前的解决方案是基于冲突解决以及正向和反向传播操作来实现同步，而另一种方法是应用从给定 TGG 派生的转换规则来实现同步，这些规则能同时实现与源和目标修改相关的更改。比较这两种方法的效力以及哪种方法能带来更好的实现，是当前基于 EMF 转换工具 Henshin 正在开展的工作。

递归检查型 QVT - R 转换

引言

QVT - R 是 OMG 标准的双向模型转换语言。它的双向性体现在不仅允许从其他模型构建一个模型，还允许在任何方向上传播更改，这在实际的模型驱动开发中似乎是必不可少的。同一个转换可以被解读为指定无需更改的情况（检查型模式），或者指定如何修改一个模型以恢复失去的一致性（强制模式）。本文主要关注检查型模式，因为对其的深入理解是理解强制模式的前提，因为在强制模式下运行转换不应修改已经一致的模型。

在早期工作中，为