论文部分内容阅读
提出了一种基于限制编程(Constraint programming)的信息模型内在一致性检查方法,重点描述了EXPRESS信息模型的一致性及其检查.EXPRESS语言,作为标准制造数据交换的一个重要部分,广泛地应用于制造与信息业.文中提到的一致性检查包括三个步骤:EXPRESS模型形式化,限制满足性问题(CSP)从形式化模型中的抽取和CSP的可满足性测试.本文同时揭示了限制编程的一个新的应用领域:模型验证.