CHECKING CONSISTENCY IN INFORMATION MODELS BY USING CONSTRAINT PROGRAMMING

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