应用限制编程的信息模型内在检查方法(英文)
CHECKING CONSISTENCY IN INFORMATION MODELS BY USING CONSTRAINT PROGRAMMING作者机构:曼彻斯特大学计算机学院曼彻斯特M139PL英国
出 版 物:《Transactions of Nanjing University of Aeronautics and Astronautics》 (南京航空航天大学学报(英文版))
年 卷 期:2005年第22卷第1期
页 面:30-37页
核心收录:
学科分类:08[工学] 082503[工学-航空宇航制造工程] 0802[工学-机械工程] 0835[工学-软件工程] 0825[工学-航空宇航科学与技术] 0704[理学-天文学] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术(可授工学、理学学位)]
主 题:编程 信息模型 可满足性 形式化模型 制造数据 一致性 模型验证 信息业 限制 检查方法
摘 要:提出了一种基于限制编程(Constraintprogramming)的信息模型内在一致性检查方法,重点描述了EXPRESS信息模型的一致性及其检查。EXPRESS语言,作为标准制造数据交换的一个重要部分,广泛地应用于制造与信息业。文中提到的一致性检查包括三个步骤EXPRESS模型形式化,限制满足性问题(CSP)从形式化模型中的抽取和CSP的可满足性测试。本文同时揭示了限制编程的一个新的应用领域模型验证。