摘要: UML模型一致性自动检测的主要任务是解决形式化问题。描述逻辑是一阶谓词逻辑的可判定子集,具备强大的知识表示和推理功能。针对UML模型形式化问题,提出基于描述逻辑的形式化方法,分析UML类图各模型元素与描述逻辑SHOIN(D)的对应关系,提出UML类图的SHOIN(D)形式化方法,给出UML类图转换为SHOIN(D)知识库的正确性证明。
关键词:
UML类图,
描述逻辑,
描述逻辑SHOIN(D),
形式化
Abstract: The chief task of consistent automatic checking UML model is to solve the formalization problem. Description Logics(DLs) is a decidable subset of first-order predication logic which possesses powerful function of knowledge expressing and reasoning. Aiming at the problem of UML model formalization, this paper puts forward the formalization methods based on DLs and analyzes the accordant relationships between model elements of UML class diagram and DLs SHOIN(D). It proposes the formalization method of UML class diagram on the basis of SHOIN(D) and proves the correctness of changing UML class diagram into SHOIN(D) knowledge base.
Key words:
UML class diagram,
Description Logics(DLs),
Description Logics SHOIN(D),
formalization
中图分类号:
陈振庆. 基于SHOIN(D)的UML类图形式化方法[J]. 计算机工程, 2009, 35(19): 43-45.
CHEN Zhen-qing. Formalization Method for UML Class Diagram Based on SHOIN(D)[J]. Computer Engineering, 2009, 35(19): 43-45.