首页--工业技术论文--自动化技术、计算机技术论文--计算技术、计算机技术论文--计算机软件论文--程序设计、软件工程论文--软件工程论文

基于本体推理的UML模型语义检查

摘要第1-8页
ABSTRACT第8-10页
插图索引第10-11页
附表索引第11-12页
第1章 绪论第12-19页
   ·研究背景与意义第12-13页
   ·形式化方法的研究现状第13-16页
     ·关于软件形式化的研究方法第13-15页
     ·UML形式化的相关研究现状第15-16页
   ·当前存在的主要问题第16-17页
   ·本文的主要研究工作第17-18页
   ·本文的内容安排第18-19页
第2章 UML模型和本体论概述第19-34页
   ·面向对象模型与UML第19-23页
     ·面向对象的基本思想第19-20页
     ·面向对象模型的基本概念与特征第20-23页
     ·面向对象模型的建模语言——UML第23页
   ·本体第23-33页
     ·本体的定义第25-26页
     ·本体的建模原语第26-27页
     ·本体的表示语言第27-30页
     ·本体的构建第30-31页
     ·本体的分类第31-32页
     ·本体的应用第32-33页
   ·本章小结第33-34页
第3章 UML模型的本体形式化第34-42页
   ·基于本体的UML模型形式化的主要思想第34页
   ·UML模型与本体模型的比较第34-36页
   ·从UML模型到本体模型的映射转换规则第36-37页
   ·本体表示语言的选择第37-38页
   ·统一建模语言(UML)与描述逻辑(DLs)的比较第38-39页
   ·从UML到描述逻辑ACCQI的映射关系第39页
   ·基于本体推理的案例研究第39-41页
   ·本章小结第41-42页
第4章 形式化UML的描述逻辑的动态扩展第42-52页
   ·描述逻辑基础概述第42-47页
     ·描述逻辑的起源与发展第42-44页
     ·描述逻辑语言的语法、语义及其推理第44-47页
   ·适合于形式化UML的描述逻辑的动态扩展第47-51页
     ·D-ACCQI的语法和语义第47-49页
     ·D-ACCQI的可满足性算法的转换规则第49-50页
     ·D-ACCQI的Tableau算法第50-51页
     ·D-ACCQI的Tableau算法的基本性质第51页
   ·本章小结第51-52页
结论第52-53页
参考文献第53-60页
致谢第60-61页
附录A 攻读学位期间所发表的学术论文第61页

论文共61页,点击 下载论文
上一篇:明代基层防卫研究--以赣南地区为中心
下一篇:灵璧石在景观环境中的应用研究