论文部分内容阅读
UML中的类图采用直观的图形化表示方法，有效描述了待建系统的静态特征，为系统设计人员发现系统模型中存在的不一致性和冗余等问题，提供了有效的分析工具。但是对于复杂的系统，完全依靠系统分析人员发现模型中存在的不一致性和冗余等问题是不现实的，应当为建模工具赋以模型自动一致性检查功能。SHOIQ（D）是描述逻辑家族中可判定的子集，它在保证推理可判定的同时，具备较强的描述知识能力。鉴于上述特点，通过从UML类图图元中抽取语义，用SHOIQ（D）形式化描述类图图元，借助自动推理引擎，从而使基于UML类图模型的自动一致