[发明专利]基于约束推演的MOF存储库冲突操作的发现方法

权利要求书

1.一种基于约束推演的MOF存储库冲突操作的发现方法，其特征在于包括以下步骤：

步骤1、定义影响良格式约束的内部活动并建立它们与MOF构造活动的对应关系；

步骤2：对良格式约束进行化简；

步骤3：建立发现图；

步骤4：对发现图进行标记；

步骤5：获取内部活动；

步骤6：确定违背约束的潜在操作；

所述步骤2的具体实现方法为：首先使用定义在OCL标准库中的等价操作对出现在表达式中的操作数目进行约减；然后将表达式转换为等价的合取范式，转换的结果是每个约束被表示为析取项的合取；所得到的析取项的字面量包括forAll迭代子、算术比较、对象/集合等价比较、布尔属性、not操作符、oclIsTypeOf操作符以及oclIsKindOf操作符。

2.根据权利要求1所述的基于约束推演的MOF存储库冲突操作的发现方法，其特征在于：所述内部活动是根据实体类型和关系类型定义的包括建立实例和删除实例的八种内部活动关系。

3.根据权利要求1所述的基于约束推演的MOF存储库冲突操作的发现方法，其特征在于：所述步骤3是根据良格式约束与OCL元模型之间的内容——实例关系建立的发现图。

4.根据权利要求1所述的基于约束推演的MOF存储库冲突操作的发现方法，其特征在于：所述步骤4对发现图进行标记的方法为：为每个节点所作的标记指示出该节点与它的后继节点之间相互影响的信息，包括四种不同类型的标记信息：“+”表示表达式的值的增加或项目数量的增加可能导致约束的违背；“-”表示表达式的值的减少或项目数量的减少可能导致约束的违背；“m”表示表达式的值的改变或项目数量的改变可能导致约束的违背；“nr”表示该节点与其后继节点并无相互影响。

5.根据权利要求1所述的基于约束推演的MOF存储库冲突操作的发现方法，其特征在于：所述步骤5的具体方法为：按自下而上逐级推断并汇总的过程进行获取，推断出每个约束条件的PIA集合。

6.根据权利要求1所述的基于约束推演的MOF存储库冲突操作的发现方法，其特征在于：所述步骤6的具体方法为：根据每个约束的PIA集合，转换为MOF标准的构造活动并得到PEA集合，最后检查每个操作是否存在违背的约束。