CHECKING CONSISTENCY IN INFORMATION MODELS BY USING CONSTRAINT PROGRAMMING

作     者：方捷 KAHN Hilary J CARPENTER Andy FANG Jie;KAHN Hilary J;CARPENTER Andy

作者机构：曼彻斯特大学计算机学院曼彻斯特M139PL英国 

出 版 物：《Transactions of Nanjing University of Aeronautics and Astronautics》 (南京航空航天大学学报（英文版）)

年 卷 期：2005年第22卷第1期

页      面：30-37页

核心收录：

学科分类：08[工学] 082503[工学-航空宇航制造工程] 0835[工学-软件工程] 0825[工学-航空宇航科学与技术] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

主　　题：EXPRESS model constraint programming model verification 

摘      要：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.