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

摘要：

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

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

所属期刊栏目：37

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

资助基金：广西壮族自治区教育厅基金资助项目"基于描述逻辑的UML类图形式化方法及推理研究"200911LX444

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

页数：共3页

页码：49-51