语义模型差异总结

在模型驱动工程的背景下，管理和理解软件演化的基本构建块是可用于模型比较的差异算子。语义模型差异处理用于模型比较的语义差异算子的定义和计算，这些算子的输入由两个模型组成，输出是一组差异见证（diff witnesses），即属于一个模型但不属于另一个模型的实例。然而，在许多情况下，完整的差异见证集太大，无法有效计算和展示。此外，许多见证非常相似，因此并不有趣。因此，语义差异的一个重要挑战涉及见证的选择和展示。在本文中，我们提出使用一种基于等价概念的总结技术来应对这一挑战，该概念将差异见证集划分为若干部分。计算结果是一个总结集，由每个等价类中的单个代表性见证组成。我们使用两个具体的差异算子（分别针对类图和 activity 图）展示了我们的想法，其中总结集的计算是高效的，且不需要枚举所有见证。