基于描述逻辑ALCUQI的UML类图元模型形式化方法  

Formalization Method for UML Class Diagram Metamodel Based on ALCUQI

作　　者：杨小钢 YANG Xiao-gang(College of Software Engineering,Chongqing University of Posts and Telecommunications,Chongqing 40006)

机构地区：[1]重庆邮电大学软件工程学院,重庆400065

出　　处：《现代计算机》2018年第17期41-46,51,共7页Modern Computer

摘　　要：UML是一种半形式化的语言,它缺乏精确的形式化语义,难易保证UML模型的一致性。描述逻辑是一种知识表示的形式化语言,具有强大的知识表示和推理能力。针对UML模型的形式化问题,提出基于描述逻辑的形式化方法,分析类图元模型元元素与描述逻辑ALCUQI的对应关系,提出基于描述逻辑ALCUQI的类图元模型形式化方法,给出类图元模型转化为ALCUQI知识库的正确性证明。UML is a semi-formal language, it lacks of precise formal semantics, and it cannot ensure the consistency of UML model. The description logic is a formal language of knowledge representation, with strong knowledge representation and reasoning ability. Result in the problem of the formalization of the UML model, proposes a formal method based on description logic, analyzes the corresponding relationship between the meta-meta elements of the Class Diagram metamodel and description logic ALCUQI. Proposes a formal method of class Diagram metamodel based on description logic ALCUQI, and presents the proof of the correctness of the class Diagram metamodel transformation in- to ALCUQI Knowledge Base.

关 键 词：形式化 描述逻辑 类图 元模型 

分 类 号：TP182[自动化与计算机技术—控制理论与控制工程]