基于SHOIN(D)的UML类图形式化方法

摘要：

UML模型一致性自动检测的主要任务是解决形式化问题.描述逻辑是一阶谓词逻辑的可判定子集,具备强大的知识表示和推理功能.针对UML模型形式化问题,提出基于描述逻辑的形式化方法,分析UML类图各模型元素与描述逻辑SHOIN(D)的对应关系,提出UML类图的SHOIN(D)形式化方法,给出UML类图转换为SHOIN(D)知识库的正确性证明.

关键词：UML类图、描述逻辑、描述逻辑SHOIN(D)、形式化

所属期刊栏目：35

分类号：TP182(自动化基础理论)

资助基金：广西青年科学基金资助项目"描述逻辑及其在语义Web中的应用"桂科青0640030

在线出版日期：2009-12-04（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：43-45