[發明專利]跨界服務目標融合沖突檢測方法及裝置

在審

• 申請號: 202110530055.3
• 申請日: 2021-05-14
• 公開（公告）號: CN113361232A
• 公開（公告）日: 2021-09-07
• 發明（設計）人: 李兵;柳正利;王健;彭宇
• 申請（專利權）人: 武漢大學
• 主分類號: G06F40/126
• 分類號: G06F40/126;G06F40/30;G06Q40/08;G06Q50/12
• 代理公司: 武漢智權專利代理事務所(特殊普通合伙) 42225
• 代理人: 李斯

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為向量的維度。