[发明专利]用于使业务组件模型的确认自动化的系统和方法无效
| 申请号： | 200710089348.2 | 申请日： | 2007-03-23 |
| 公开（公告）号： | CN101075314A | 公开（公告）日： | 2007-11-21 |
| 发明（设计）人： | 杨洋;谢国彤;潘越;安卡－安德列·伊万;李峻荣 | 申请（专利权）人： | 国际商业机器公司 |
| 主分类号： | G06Q10/00 | 分类号： | G06Q10/00 |
| 代理公司： | 中国国际贸易促进委员会专利商标事务所 | 代理人： | 康建忠 |
| 地址： | 美国*** | 国省代码： | 美国;US |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 说明了用于使用描述性逻辑(DL)表示以确认业务组件模型(CBM)图的一致性的系统和方法。语义约束从业务组件模型元模型的语义模型和CBM图的不一致条件产生。CBM元模型的语义模型被应用于将CBM图转变成相应的语义表示。推断引擎将语义约束应用于语义表示，以确定一个CBM图和另一个之间以及CBM图和业务组件模型元模型之间的不一致。 | ||
| 搜索关键词： | 用于 业务 组件 模型 确认 自动化 系统 方法 | ||
【主权项】：
1.一种用于使业务组件模型的一致性的确认自动化的方法，包括：从i)业务组件模型元模型的语义模型和ii)适用于至少一个业务组件模型(CBM)图的不一致条件产生语义约束；使用所述语义模型以将所述至少一个CBM图转变成相应的语义表示；和将所述语义约束应用到所述语义表示，以确定所述业务组件模型元模型和所述CBM图中的一个之间的不一致。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于国际商业机器公司，未经国际商业机器公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/200710089348.2/，转载请声明来源钻瓜专利网。
- 同类专利
- 专利分类
G06 计算；推算；计数
G06Q 专门适用于行政、商业、金融、管理、监督或预测目的的数据处理系统或方法；其他类目不包含的专门适用于行政、商业、金融、管理、监督或预测目的的处理系统或方法
G06Q10-00 行政；管理
G06Q10-02 .预定，例如用于门票、服务或事件的
G06Q10-04 .预测或优化，例如线性规划、“旅行商问题”或“下料问题”
G06Q10-06 .资源、工作流、人员或项目管理，例如组织、规划、调度或分配时间、人员或机器资源；企业规划；组织模型
G06Q10-08 .物流，例如仓储、装货、配送或运输；存货或库存管理，例如订货、采购或平衡订单
G06Q10-10 .办公自动化，例如电子邮件或群件的计算机辅助管理
G06Q 专门适用于行政、商业、金融、管理、监督或预测目的的数据处理系统或方法；其他类目不包含的专门适用于行政、商业、金融、管理、监督或预测目的的处理系统或方法
G06Q10-00 行政；管理
G06Q10-02 .预定，例如用于门票、服务或事件的
G06Q10-04 .预测或优化，例如线性规划、“旅行商问题”或“下料问题”
G06Q10-06 .资源、工作流、人员或项目管理，例如组织、规划、调度或分配时间、人员或机器资源；企业规划；组织模型
G06Q10-08 .物流，例如仓储、装货、配送或运输；存货或库存管理，例如订货、采购或平衡订单
G06Q10-10 .办公自动化，例如电子邮件或群件的计算机辅助管理
