| 发明名称 | 基于约束模式进行约束故障分析的方法和装置 | ||
| 摘要 | 本发明提供了一种用于对实例模型进行约束故障分析的方法和装置，所述方法包括步骤：为标准模型的约束定义多个模式，所述多个模式包含导航模式和逻辑模式；判断由实例模型生成的约束评价树中是否存在空节点；和如果存在空节点，则基于导航模式对约束评价树进行故障分析，否则基于逻辑模式对约束评价树进行故障分析。本发明提供了一种便利的工具，以在模型－约束设计者和模型用户之间建立良好的衔接，减轻模型/约束的使用负担，简化学曲线，并帮助模型用户进行模型校正。 | ||
| 申请公布号 | CN101377757A | 申请公布日期 | 2009.03.04 |
| 申请号 | CN200710148136.7 | 申请日期 | 2007.08.28 |
| 申请人 | 国际商业机器公司 | 发明人 | 罗景;邱杰;李影;刘天成 |
| 分类号 | G06F11/36(2006.01) | 主分类号 | G06F11/36(2006.01) |
| 代理机构 | 北京市柳沈律师事务所 | 代理人 | 周少杰;邸万奎 |
| 主权项 | 1.一种用于对实例模型进行约束故障分析的方法，包括步骤:为标准模型的约束定义多个模式，所述多个模式包含导航模式和逻辑模式；判断由实例模型生成的约束评价树中是否存在空节点；和如果存在空节点，则基于导航模式对约束评价树进行故障分析，如果不存在空节点，则基于逻辑模式对约束评价树进行故障分析。 | ||
| 地址 | 美国纽约阿芒克 | ||