形式化本体工程中若干问题的研究
| 内容提要 | 第1-8页 |
| 第一章 绪论 | 第8-15页 |
| ·研究背景 | 第8-9页 |
| ·本体 | 第8-9页 |
| ·本体工程 | 第9页 |
| ·国内外研究现状 | 第9-13页 |
| ·国外研究现状 | 第9-12页 |
| ·国内研究现状 | 第12-13页 |
| ·本文的工作 | 第13-15页 |
| ·研究目的和意义 | 第13-14页 |
| ·主要研究成果 | 第14-15页 |
| 第二章 基于进程演算的本体形式化表示方法研究 | 第15-29页 |
| ·现有本体表示方法简介 | 第15-19页 |
| ·一种描述逻辑本体的偶图表示方法 | 第19-27页 |
| ·偶图与偶图反应系统介绍 | 第20-21页 |
| ·描述逻辑的偶图表示 | 第21-25页 |
| ·Tableau算法的偶图反应规则表示 | 第25-27页 |
| ·本章小结 | 第27-29页 |
| 第三章 基于进程演算的安全本体工程研究 | 第29-46页 |
| ·安全本体工程简介 | 第29-30页 |
| ·SEAL演算的偶图语义 | 第30-43页 |
| ·Seal演算简介 | 第30-32页 |
| ·类型规则 | 第32-33页 |
| ·基本表示 | 第33-34页 |
| ·转换规则 | 第34-35页 |
| ·结构对应的证明 | 第35-36页 |
| ·反应规则 | 第36-39页 |
| ·操作相关的证明 | 第39-41页 |
| ·一个例子 | 第41-42页 |
| ·相关工作 | 第42-43页 |
| ·一种基于SEAL演算的本体安全操作框架 | 第43-45页 |
| ·本章小结 | 第45-46页 |
| 第四章 基于本体定义元模型的本体建模方法研究 | 第46-53页 |
| ·MDA和ODM的简介 | 第46-48页 |
| ·本体建模工具的设计与实现 | 第48-51页 |
| ·方法描述 | 第48-49页 |
| ·实现技术 | 第49-50页 |
| ·实现方法 | 第50-51页 |
| ·本章小结 | 第51-53页 |
| 第五章 本体演化技术研究 | 第53-69页 |
| ·本体演化简介 | 第53-54页 |
| ·一种基于模型转换的本体演化框架 | 第54-60页 |
| ·模型驱动语义Web简介 | 第55-56页 |
| ·QVT简介 | 第56页 |
| ·本体演化概念框架 | 第56-57页 |
| ·QVT在本体演化过程中的应用 | 第57-60页 |
| ·一种本体演化波及效应分析方法 | 第60-67页 |
| ·本体图模型 | 第60-62页 |
| ·本体邻接矩阵 | 第62-63页 |
| ·依赖已知情况下的分析与量化 | 第63-65页 |
| ·依赖未知情况下的分析与量化 | 第65-66页 |
| ·一种本体演化服务模型 | 第66-67页 |
| ·本章小结 | 第67-69页 |
| 第六章 基于依赖图的本体切片技术研究 | 第69-81页 |
| ·切片技术简介 | 第69-71页 |
| ·本体依赖图及其构造 | 第71-73页 |
| ·本体切片的形式化描述 | 第73-75页 |
| ·语义完整性策略 | 第75-77页 |
| ·本体切片的应用前景 | 第77-79页 |
| ·本章小结 | 第79-81页 |
| 第七章 本体应用技术研究 | 第81-97页 |
| ·基于本体定义元模型的UML模型一致性检测 | 第81-87页 |
| ·从MOF到OWL的映射 | 第81-82页 |
| ·一种UML元模型的OWL表示方法 | 第82-84页 |
| ·UML模型的一致性检验 | 第84-86页 |
| ·相关工作 | 第86-87页 |
| ·基于描述逻辑本体的软件过程检测 | 第87-95页 |
| ·基础知识 | 第87-88页 |
| ·从MOF到描述逻辑的映射 | 第88-89页 |
| ·从OCL到描述逻辑的映射 | 第89-90页 |
| ·用描述逻辑表示SPEM | 第90-95页 |
| ·本章小结 | 第95-97页 |
| 第八章 总结与展望 | 第97-100页 |
| ·已完成的工作 | 第97-98页 |
| ·下一步的研究工作 | 第98-100页 |
| 参考文献 | 第100-108页 |
| 作者读博期间的成果 | 第108-110页 |
| 摘要 | 第110-113页 |
| ABSTRACT | 第113-117页 |
| 致谢 | 第117页 |
