形式化本体工程中若干问题的研究

论文摘要

本体作为共享概念模型的形式化的规范说明,在信息技术领域的各个方面有着广泛的应用。本体工程是计算机科学的一个领域,它关注于本体的建立和使用。本文提出了形式化本体工程的思想,即在本体工程的各项活动中,充分利用形式化技术所具有的严密性、可验证、可推理、自动化等特点,提高本体工程各项活动的形式化程度,充分实现本体工程各项活动的自动化,保证过程的可控制,保证结果的可验证。本文的主要工作和贡献体现在以下几个方面:1.给出了一种基于进程演算的本体形式化表示方法。2.研究了基于进程演算的安全本体工程。3.给出了一种基于本体定义元模型的本体建模方法。4.研究了本体演化领域的一些内容:1)提出了一种基于模型转换的本体演化框架。2)给出了一种本体演化波及效应分析方法。5.给出了一种基于依赖图的本体切片方法。6.开展了本体工程的应用研究:1)给出了一种基于本体定义元模型的UML模型一致性检测方法。2)给出了一种基于描述逻辑本体的软件过程模型检测方法。

论文目录

• 内容提要
• 第一章 绪论
• 1.1 研究背景
• 1.1.1 本体
• 1.1.2 本体工程
• 1.2 国内外研究现状
• 1.2.1 国外研究现状
• 1.2.2 国内研究现状
• 1.3 本文的工作
• 1.3.1 研究目的和意义
• 1.3.2 主要研究成果
• 第二章 基于进程演算的本体形式化表示方法研究
• 2.1 现有本体表示方法简介
• 2.2 一种描述逻辑本体的偶图表示方法
• 2.2.1 偶图与偶图反应系统介绍
• 2.2.2 描述逻辑的偶图表示
• 2.2.3 Tableau算法的偶图反应规则表示
• 2.3 本章小结
• 第三章 基于进程演算的安全本体工程研究
• 3.1 安全本体工程简介
• 3.2 SEAL演算的偶图语义
• 3.2.1 Seal演算简介
• 3.2.2 类型规则
• 3.2.3 基本表示
• 3.2.4 转换规则
• 3.2.5 结构对应的证明
• 3.2.6 反应规则
• 3.2.7 操作相关的证明
• 3.2.8 一个例子
• 3.2.9 相关工作
• 3.3 一种基于SEAL演算的本体安全操作框架
• 3.4 本章小结
• 第四章 基于本体定义元模型的本体建模方法研究
• 4.1 MDA和ODM的简介
• 4.2 本体建模工具的设计与实现
• 4.2.1 方法描述
• 4.2.2 实现技术
• 4.2.3 实现方法
• 4.3 本章小结
• 第五章 本体演化技术研究
• 5.1 本体演化简介
• 5.2 一种基于模型转换的本体演化框架
• 5.2.1 模型驱动语义Web简介
• 5.2.2 QVT简介
• 5.2.3 本体演化概念框架
• 5.2.4 QVT在本体演化过程中的应用
• 5.3 一种本体演化波及效应分析方法
• 5.3.1 本体图模型
• 5.3.2 本体邻接矩阵
• 5.3.3 依赖已知情况下的分析与量化
• 5.3.4 依赖未知情况下的分析与量化
• 5.3.5 一种本体演化服务模型
• 5.4 本章小结
• 第六章 基于依赖图的本体切片技术研究
• 6.1 切片技术简介
• 6.2 本体依赖图及其构造
• 6.3 本体切片的形式化描述
• 6.4 语义完整性策略
• 6.5 本体切片的应用前景
• 6.6 本章小结
• 第七章 本体应用技术研究
• 7.1 基于本体定义元模型的UML模型一致性检测
• 7.1.1 从MOF到OWL的映射
• 7.1.2 一种UML元模型的OWL表示方法
• 7.1.3 UML模型的一致性检验
• 7.1.4 相关工作
• 7.2 基于描述逻辑本体的软件过程检测
• 7.2.1 基础知识
• 7.2.2 从MOF到描述逻辑的映射
• 7.2.3 从OCL到描述逻辑的映射
• 7.2.4 用描述逻辑表示SPEM
• 7.3 本章小结
• 第八章 总结与展望
• 8.1 已完成的工作
• 8.2 下一步的研究工作
• 参考文献
• 作者读博期间的成果
• 摘要
• ABSTRACT
• 致谢