摘要
UML模型一致性自动检测的主要任务是解决形式化问题。描述逻辑是一阶谓词逻辑的可判定子集,具备强大的知识表示和推理功能。针对UML模型形式化问题,提出基于描述逻辑的形式化方法,分析UML类图各模型元素与描述逻辑SHOIN(D)的对应关系,提出UML类图的SHOIN(D)形式化方法,给出UML类图转换为SHOIN(D)知识库的正确性证明。
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 SHO1N（D） knowledge base.
出处
《计算机工程》
CAS
CSCD
北大核心
2009年第19期43-45,共3页
Computer Engineering
基金
广西青年科学基金资助项目"描述逻辑及其在语义Web中的应用"(桂科青0640030)
