作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑

计算机工程 ›› 2011, Vol. 37 ›› Issue (15): 49-51. doi: 10.3969/j.issn.1000-3428.2011.15.014

• 软件技术与数据库 • 上一篇    下一篇

基于描述逻辑的带依赖属性UML类图

陈振庆   

  1. (广西贺州学院计算机科学与工程系,广西 贺州 542800)
  • 收稿日期:2011-01-13 出版日期:2011-08-05 发布日期:2011-08-05
  • 作者简介:陈振庆(1973-),男,副教授、硕士,主研方向:描述逻辑,语义Web,软件工程
  • 基金资助:
    广西壮族自治区教育厅基金资助项目“基于描述逻辑的UML类图形式化方法及推理研究”(200911LX444)

UML Class Diagram with Dependence Attributes Based on Description Logics

CHEN Zhen-qing   

  1. (Department of Computer Science and Engineering, Guangxi Hezhou University, Hezhou 542800, China)
  • Received:2011-01-13 Online:2011-08-05 Published:2011-08-05

摘要: 分析基于描述逻辑的统一建模语言(UML)类图形式化方法的研究现状和存在的问题,提出一种基于描述逻辑的带依赖属性UML类图的形式化方法。研究带依赖属性UML类图的数据属性依赖、行为属性依赖和全局属性依赖的描述逻辑形式化问题。给出带依赖属性UML类图向描述逻辑知识库转化的方法,以及带依赖属性UML类图知识库可满足性定理及其正确性证明。

关键词: 统一建模语言类图, 描述逻辑, 依赖属性, 知识库, 推理

Abstract: The current research progresses and the existing problems of Unified Modeling Language(UML) class diagram formalization methods based on description logics are analyzed. A kind of formalization method of UML class diagram with dependence attributes based on description logics is presented. It proceeds studying the formalization problems of data attributes dependence, action attributes dependence and global attributes dependence of UML class diagram with dependence attributes based on description logics. The method of how to translate UML class diagram with dependence attributes into knowledge bases is given, as well as the satisfiability theorem of UML class diagram with dependence attributes knowledge bases, and the correctness of the theorem is proved.

Key words: Unified Modeling Language(UML) class diagrams, description logics, dependence attributes, knowledge bases, reasoning

中图分类号: