[發明專利]用于使業務組件模型的確認自動化的系統和方法

無效

• 申請號: 200710089348.2
• 申請日: 2007-03-23
• 公開（公告）號: CN101075314A
• 公開（公告）日: 2007-11-21
• 發明（設計）人: 楊洋;謝國彤;潘越;安卡－安德列·伊萬;李峻榮
• 申請（專利權）人: 國際商業機器公司
• 主分類號: G06Q10/00
• 分類號: G06Q10/00
• 代理公司: 中國國際貿易促進委員會專利商標事務所
• 代理人: 康建忠

1.一種用于使業務組件模型的一致性的確認自動化的方法，包括：

從i)業務組件模型元模型的語義模型和ii)適用于至少一個業務組件模型(CBM)圖的不一致條件產生語義約束；

使用所述語義模型以將所述至少一個CBM圖轉變成相應的語義表示；和

將所述語義約束應用到所述語義表示，以確定所述業務組件模型元模型和所述CBM圖中的一個之間的不一致。

2.根據權利要求1的方法，其中，

所述業務組件模型由通過非重疊管理概念內的責任等級配置的非重疊組件組成，

并且，所述CBM圖中的一個是商務企業的圖；并且

所述商務企業在產業中工作，并且所述CBM圖中的一個是所述產業的圖。

3.根據權利要求2的方法，還包括將所述語義約束應用于所述語義表示，以確定所述企業CBM圖和所述產業CBM圖之間的不一致。

4.根據權利要求1的方法，還包括使用CBM工具以修改所述CBM企業圖來去除所述不一致。

5.根據權利要求1的方法，其中，Web本體語言(OWL)被用于表達所述語義模型和所述語義表示。

6.根據權利要求1的方法，其中，所述語義約束被表示為語義標記語言的表達和規則表達的混合體。

7.根據權利要求6的方法，其中，所述語義標記語言是資源描述框架(RDF)。

8.一種用于使業務組件模型的一致性的確認自動化的系統，包括：

商務企業的業務組件模型表示，進一步包含業務組件模型元模型和通過非重疊管理概念內的責任等級配置的非重疊組件的至少一個業務組件模型(CBM)圖，所述至少一個CBM圖中的一個是所述商務企業的圖；

用于從i)所述業務組件模型元模型的語義模型和ii)適用于所述至少一個CBM圖的不一致條件產生語義約束的產生器；

用于使用所述語義模型以將所述CBM圖轉變成相應的語義表示的轉變器；和

用于將所述語義約束應用到所述語義表示、以確定所述CBM元模型和所述CBM圖中的一個之間的不一致的推斷引擎。

9.根據權利要求8的系統，其中，所述商務企業在產業中工作，并且所述CBM圖中的一個是所述產業的圖，并且，所述推斷引擎確定所述企業CBM圖和所述產業CBM圖之間的不一致。

10.根據權利要求9的系統，其中，產業CBM圖的所述語義表示是第一ABox，企業CBM圖的所述語義表示是第二ABox，并且推斷引擎通過對第三ABox執行自我一致性確認確定不一致，所述第三ABox是所述第一ABox和所述第二ABox的組合。

11.根據權利要求9的系統，其中，業務組件模型元模型是TBox，并且推斷引擎通過驗證所述第一ABox是否符合所述TBox以及所述第二ABox是否符合所述TBox確定不一致。

12.根據權利要求8的系統，還包括用于使用所述不一致以修改所述CBM圖中的所述一個來去除所述不一致的CBM工具。

13.根據權利要求13的系統，其中，所述CBM圖中的一個是通用CBM圖，并且所述通用CBM圖的所述語義表示是第四ABox?A4。

14.根據權利要求13的系統，其中，所述推斷引擎通過執行第五ABox?A5的自我一致性確認確定所述企業圖和所述產業圖和所述通用圖之間的不一致，所述第五ABox是組合A1+A2+A4。