基于三重图语法的并发模型同步场景优先级驱动方法

并发模型同步是在两个相关模型被并发且独立地修改后恢复它们之间一致性的任务。确定此类并发模型变更是否相互冲突，并考虑领域或用户特定偏好来解决这些冲突极具挑战性。在本文中，我们提出了一个基于三重图语法（TGGs）的并发模型同步算法框架。TGGs使用语法规则指定相关模型的一致性；这些规则可用于派生不同的一致性恢复操作。利用TGGs，我们推断出模型元素的因果依赖关系，使我们能够非侵入式地检测冲突。首先检测不同类型的冲突，然后通过后续的冲突解决过程加以解决。用户通过根据若干冲突解决策略编排一致性恢复片段的应用来配置整体同步过程，以实现个性化的同步目标。作为概念验证，我们已在模型转换工具eMoflon中实现了该框架。我们的初步评估表明，所提方法的运行时间随模型变更和冲突的规模而扩展，而非随模型规模而扩展。