论文部分内容阅读
任何模型的表示都是要有意义的、一致的,通常的解决办法是加强约束.给出了在当前软件开发过程中的解决方案.约束和语义的关系是一致性检测的基础.对建模过程中模型受到的各个域的约束进行分级:从专家系统的知识根基中引入即成建模规则并且用约束构造型定义了不一致性的类型、级别和严重程度,因此可以向用户发出警告并且帮助用户改正甚至完善模型.