公开(公告)号：CN101075314A

公开(公告)日：2007-11-21

申请号：CN200710089348.2

申请日：2007-03-23

Applicant: 国际商业机器公司

Inventor： 杨洋 ,  谢国彤 ,  潘越 ,  安卡-安德列·伊万 ,  李峻荣

IPC: G06Q10/00

CPC classification number: G06Q10/10 ,  G06F17/3051 ,  G06F17/30607 ,  G06Q10/06 ,  Y10S707/99943

Abstract: 说明了用于使用描述性逻辑(DL)表示以确认业务组件模型(CBM)图的一致性的系统和方法。语义约束从业务组件模型元模型的语义模型和CBM图的不一致条件产生。CBM元模型的语义模型被应用于将CBM图转变成相应的语义表示。推断引擎将语义约束应用于语义表示，以确定一个CBM图和另一个之间以及CBM图和业务组件模型元模型之间的不一致。