[发明专利]识别和解决基于原子合并冲突的复杂模型合并冲突的系统和/或方法

权利要求书

1.一种解决模型合并冲突的方法，其特征在于，所述方法包括步骤：

通过至少一个处理器合并第一模型和第二模型而形成一个冲突模型；

通过至少一个处理器而探测出至少一个基于所述冲突模型的高级冲突，所述探测步骤发生在所述形成步骤之后；

显示所述至少一个探测出的高级冲突列表和一个冲突模型的视觉再现，其中，每一所述高级冲突包括原子和/或其他高级冲突的组合，并被分类为：(a)包括多个原子冲突的简单高级冲突；或(b)包括至少一个其他高级冲突的复杂冲突；以及

在显示所述列表和所述冲突模型的视觉再现后，，使用户能够解决至少一个探测出的高级冲突。

2.根据权利要求1所述的方法，其特征在于，所述第一模型为合并目标模型而所述第二模型为转换模型，所述转换模型通过向一个原始模型应用模型转换而生成。

3.根据权利要求1所述的方法，其特征在于，所述探测步骤是基于合并步骤过程中获得的信息。

4.根据权利要求3所述的方法，其特征在于，所述信息包括对象的合并状态，该合并状态包括所述对象是否是相等的、改变的、增加的或冲突的以及对象构象或分组。

5.根据权利要求1所述的方法，其特征在于，每一所述探测出的高级冲突在层级格式下是可显示的。

6.根据权利要求1所述的方法，其特征在于，至少若干类型探测出的高级冲突只有在探测出的高级冲突水平上是可解决的。

7.根据权利要求6所述的方法，其特征在于，至少若干探测出的高级冲突在相应的组成水平上可分解和解决。

8.根据权利要求1所述的方法，其特征在于，至少若干探测出的高级冲突在相应的组成水平上可分解和解决。

9.根据权利要求1所述的方法，其特征在于：

每一所述探测出的高级冲突包括一个参考类型；

简单类型的高级冲突包括：相同状态的包含关系，连接元素和相同类型的原子冲突的组合，简单的包含改变，简单类型的符号改变高级冲突；以及

复杂类型的高级冲突包括：原始模型的替换，目标模型的替换，包含改变的组合以及符号改变高级冲突的组合。

10.根据权利要求1所述的方法，其特征在于，每一所述模型基于一种ARIS建模语言。

11.根据权利要求1所述的方法，其特征在于，进一步包括步骤：决定和显示至少一个探测冲突对应的相反冲突。

12.一种非短暂的计算机可读存储媒介，明白地存储如下指令：当由系统中的至少一个处理器进行存储指令处理时，执行如权利要求1所述的方法。

13.一种解决模型合并冲突的系统，其特征在于，包括：

冲突模型生成器，设置为基于合并的第一模型和第二模型而形成一个冲突模型，所述合并通过一个合并发动机而执行；

探测器，设置为探测出至少部分基于所述合并发动机输出的冲突模型内的高级冲突；

用户界面，用于显示探测出的高级冲突列表和一个所述冲突模型的视觉再现，其中，每一所述高级冲突为一种预先定义的类型，包括构成冲突，其为：(a)包括多个原子冲突的简单高级冲突；或(b)包括至少一个其他高级冲突的复杂高级冲突；

其中，所述用户界面进一步设置为用于接收用户的输入并使用户解决探测出的高级冲突。

14.如权利要求13所述的系统，其特征在于，还包括一个模型生成器，其被编程用于接收用户的输入而使用户生成模型并为模型定义变换。

15.如权利要求14所述的系统，其特征在于，所述第一模型为合并目标模型而所述第二模型为转换模型，所述转换模型通过向一个原始模型应用模型转换而生成。

16.如权利要求13所述的系统，其特征在于，所述合并发动机被设置为存储包括对象的合并状态的信息，所述对象的合并状态包括所述对象是否是相等的、改变的、增加的或冲突的以及对象构象或分组。

17.如权利要求13所述的系统，其特征在于，至少若干探测出的高级冲突只有在探测出的高级冲突水平上是可解决的。

18.如权利要求13所述的系统，其特征在于，至少若干探测出的高级冲突在相应的组成水平上可分解和解决。