论文部分内容阅读
UML是一种半形式化的语言，它缺乏精确的形式化语义，雉易保证UML模型的一致性。描述逻辑是一种知识表示的形式化语言，具有强大的知识表示和推理能力。针对UML模型的形式化问题，提出基于描述逻辑的形式化方法，分析类图元模型元元素与描述逻辑ALCUQI的对应关系，提出基于描述逻辑ALCUQI的类图元模型形式化方法，给出类图元模型转化为ALCUQI知识库的正确性证明。