应用限制编程的信息模型内在检查方法

• 作者: CARPENTER Andy KAHN Hilary J 方捷
• 来源期刊: 南京航空航天大学学报（英文版）
• 学科: 工学
• 关键词: EXPRESS模型 限制编程 模型验证
• 年，卷（期）: 2005,（1）
• 页码范围: 30-37
• 页数: 8页
• 分类号: TP31
• 字数: 377字
• 语种: 英文
• DOI: 10.3969/j.issn.1005-1120.2005.01.005

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	方捷	曼彻斯特大学计算机学院	1	0	0.0	0.0
2	KAHN Hilary J	曼彻斯特大学计算机学院	1	0	0.0	0.0
3	CARPENTER Andy	曼彻斯特大学计算机学院	1	0	0.0	0.0