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

UML Class Diagram with Dependence Attributes Based on Description Logics

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

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.