[发明专利]跨界服务目标融合冲突检测方法及装置

权利要求书

1.一种跨界服务目标融合冲突检测方法，其特征在于，其包括步骤：

对主体领域目标模型的待融合目标进行标注，并从客体领域目标模型中找到与待融合目标相似度最高的目标，作为融合点；

以所述融合点为初始目标节点，从所述客体领域目标模型中抽取目标分解路径；

遍历所述目标分解路径，将目标分解路径中的所有目标节点均融合到主体领域目标模型，得到融合目标模型；各目标模型中的目标被定义为功能性目标、非功能性目标和可操作性目标；

将所述融合目标模型中的可操作性目标作为原子命题，根据主体领域的至少一个领域属性和所述目标分解路径中的目标节点，构建计算树逻辑CTL判断公式，分别判断每个领域属性与目标分解路径中的各目标节点是否存在冲突。

2.如权利要求1所述的跨界服务目标融合冲突检测方法，其特征在于，所述根据主体领域的至少一个领域属性和所述目标分解路径中的目标节点，构建计算树逻辑CTL判断公式，具体包括：

将至少一个领域属性通过CTL公式进行表征，得到领域属性公式集合，所述领域属性公式集合包含至少一个领域属性公式；

将目标分解路径中的各目标节点通过CTL公式进行表征，得到目标公式集合，所述目标公式集合包含多个目标公式；

将每个领域属性公式分别与每个目标公式组成CTL判断公式。

3.如权利要求2所述的跨界服务目标融合冲突检测方法，其特征在于，所述分别判断领域属性与目标分解路径中的各目标节点是否存在冲突，具体包括：

分别对每个CTL判断公式进行可满足性求解；

若任一CTL判断公式能够找到可满足的解，则返回结果为真，表示该CTL判断公式中的领域属性与目标节点不存在冲突；若不能找到可满足的解，则返回结果为假，表示该CTL判断公式中的领域属性与目标节点存在冲突。

4.如权利要求3所述的跨界服务目标融合冲突检测方法，其特征在于：

当所述CTL判断公式时，将拆成两个子公式和并分别检测和是否能找到可满足的解，若二者均可找到，则判断该CTL判断公式中的领域属性与目标节点不冲突，否则判断冲突；

当所述CTL判断公式时，先遍历的二元决策图BDD结构，获取中所有状态的前驱状态集合然后判断初始目标节点是否在前驱状态集合中，若在，则判断该CTL判断公式中的领域属性与目标节点不冲突，否则判断冲突；

当所述CTL判断公式时，基于最大不动点计算得到状态集合A，并判断初始目标节点是否在该状态集合A中，若是，则判断该CTL判断公式中的领域属性与目标节点不冲突，否则判断冲突；

当所述CTL判断公式时，基于最小不动点计算得到状态集合B，并判断初始目标节点是否在该状态集合B中，若是，则判断该CTL判断公式中的领域属性与目标节点不冲突，否则判断冲突。

5.如权利要求4所述的跨界服务目标融合冲突检测方法，其特征在于：

当拆成的子公式为一个原子命题时，返回该原子命题；

当拆成的子公式为时，返回的否定。

6.如权利要求1所述的跨界服务目标融合冲突检测方法，其特征在于，对主体领域目标模型的待融合目标进行标注之前，还包括：

遍历主体领域目标模型，若任一功能性目标不存在实现其的可操作性目标，则判断该功能性目标为待融合目标。

7.如权利要求1所述的跨界服务目标融合冲突检测方法，其特征在于，从客体领域目标模型中找到与待融合目标相似度最高的目标，作为融合点，具体包括：

利用中文预训练模型将自然语言描述的待融合目标转换为向量；

分别计算所述客体领域目标模型中各目标与待融合目标之间的语义相似度，并以相似度最高的目标作为融合点。

8.如权利要求7所述的跨界服务目标融合冲突检测方法，其特征在于，所述待融合目标与客体领域目标模型中目标的相似度计算如下：

其中，Gp为上述待融合目标，Gq为客体领域目标模型中的目标，i为向量的维度。