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

在審

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

本申請公開了一種跨界服務目標融合沖突檢測方法及裝置，涉及服務計算技術領域，其包括：對主體領域目標模型的待融合目標進行標注，并從客體領域目標模型中找到與待融合目標相似度最高的目標，作為融合點；以融合點為初始目標節點，從客體領域目標模型中抽取目標分解路徑；將目標分解路徑中的所有目標節點均融合到主體領域目標模型，得到融合目標模型；將融合目標模型中的可操作性目標作為原子命題，根據主體領域的至少一個領域屬性和目標分解路徑中的目標節點，構建CTL判斷公式，分別判斷每個領域屬性與目標分解路徑中的各目標節點是否存在沖突。本申請，可支持不同領域的目標模型的深度融合，準確地檢測出不同領域的目標在融合以后出現的沖突。

技術領域

本申請涉及服務計算技術領域，具體涉及一種跨界服務目標融合沖突檢測方法及裝置。

背景技術

目前，跨界服務作為一種新型服務模式，跨越多個行業邊界和領域邊界，具有跨域、融合、復雜的特點。在跨界服務消費環境下，隨著業務模式和交互場景的不斷變遷，用戶需求也在不斷演化。在這個不斷迭代演化的過程中，往往會產生一些在當前領域無法被滿足的用戶目標，需要借助于其他領域的模型片段加以滿足。為此，需要研究如何將其他領域的目標模型片段與當前領域的目標模型加以融合，從而使得當前領域中原本無法滿足的目標得到滿足。

相關技術中，基于目標的建模方法得到了學術界和產業界的廣泛關注，進而出現了一些目標建模框架，具有代表性的目標建模框架有KAOS(Keep All ObjectivesSatisfied)框架和iStar框架。其中，iStar框架是為了組織環境及其信息系統的建模和推理而開發的一種建模方法，系統的參與者相互依賴并且執行特定的任務來達成目標；KAOS建模框架能夠對不同類型的目標進行建模。

但是，當前的基于目標的建模方法主要針對面向單一領域的涉眾意圖及其關系進行建模，無法支持不同領域的目標模型的深度融合，導致在跨界服務場景下，跨領域的目標模型融合依賴手工實現，需要耗費大量的時間和精力。另外，在跨界服務場景下，由于不同領域的異構性，導致不同領域的目標約束各不相同，上述建模方法難以有效檢測跨領域目標建模中存在的潛在沖突。

發明內容

針對現有技術中存在的缺陷，本申請的目的在于提供一種跨界服務目標融合沖突檢測方法及裝置，以解決相關技術中無法支持不同領域的目標模型的深度融合、以及難以有效檢測跨領域目標建模中存在的潛在沖突的問題。

本申請第一方面提供一種跨界服務目標融合沖突檢測方法，其包括步驟：

對主體領域目標模型的待融合目標進行標注，并從客體領域目標模型中找到與待融合目標相似度最高的目標，作為融合點；

以上述融合點為初始目標節點，從上述客體領域目標模型中抽取目標分解路徑；

遍歷上述目標分解路徑，將目標分解路徑中的所有目標節點均融合到主體領域目標模型，得到融合目標模型；各目標模型中的目標被定義為功能性目標、非功能性目標和可操作性目標；

將上述融合目標模型中的可操作性目標作為原子命題，根據主體領域的至少一個領域屬性和上述目標分解路徑中的目標節點，構建計算樹邏輯CTL判斷公式，分別判斷每個領域屬性與目標分解路徑中的各目標節點是否存在沖突。

一些實施例中，上述根據主體領域的至少一個領域屬性和上述目標分解路徑中的目標節點，構建計算樹邏輯CTL判斷公式，具體包括：

將至少一個領域屬性通過CTL公式進行表征，得到領域屬性公式集合，上述領域屬性公式集合包含至少一個領域屬性公式；

將目標分解路徑中的各目標節點通過CTL公式進行表征，得到目標公式集合，上述目標公式集合包含多個目標公式；

將每個領域屬性公式分別與每個目標公式組成CTL判斷公式。

一些實施例中，上述分別判斷領域屬性與目標分解路徑中的各目標節點是否存在沖突，具體包括：