文献类型：期刊文章

作　　者：陈振庆[1]

机构地区：[1]贺州学院计算机科学与工程系,贺州542800

出　　处：《计算机工程》

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

年　　份：2009

卷　　号：35

期　　号：19

起止页码：43-45

语　　种：中文

收录情况：AJ、BDHX、BDHX2008、CAS、CSA、CSA-PROQEUST、CSCD、CSCD2011_2012、IC、INSPEC、JST、RCCSE、SCOPUS、UPD、ZGKJHX、核心刊

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

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

分 类 号：TP182]