南京航空航天大学学报（英文版）2005，Vol.22Issue(1)：30-37,8.
应用限制编程的信息模型内在检查方法
CHECKING CONSISTENCY IN INFORMATION MODELS BY USING CONSTRAINT PROGRAMMING
方捷 1KAHN Hilary J 1CARPENTER Andy1
作者信息
- 1. 曼彻斯特大学计算机学院,曼彻斯特M13 9PL,英国
- 折叠
摘要
Abstract
This paper addresses the issue of checking consistency in information models. A method based on constraint programming is proposed for identifying inconsistency or proving consistency in information models. The system described here checks information models written in the ISO standard information modelling language EXPRESS. EXPRESS is part of the ISO STEP standard used in the manufacturing and process industries. This paper describes the checking procedure, including EXPRESS model formalization, constraint satisfaction problem (CSP) derivation from the formalized model and satisfaction checking of the derived CSPs. This paper shows a new domain in which constraint programming can be exploited as model verification and validation.关键词
EXPRESS模型/限制编程/模型验证Key words
EXPRESS model/constraint programming/model verification分类
信息技术与安全科学引用本文复制引用
方捷,KAHN Hilary J,CARPENTER Andy..应用限制编程的信息模型内在检查方法[J].南京航空航天大学学报（英文版）,2005,22(1):30-37,8.
