| 摘要 | 第9-10页 |
| ABSTRACT | 第10-11页 |
| 第一章 绪论 | 第12-18页 |
| 1.1 研究背景 | 第12-13页 |
| 1.2 国内外研究现状 | 第13-15页 |
| 1.2.1 体系结构验证方法 | 第13-14页 |
| 1.2.2 本体推理技术 | 第14-15页 |
| 1.3 本文主要工作及论文结构 | 第15-18页 |
| 第二章 基于本体推理的体系结构验证方法框架 | 第18-26页 |
| 2.1 相关技术综述 | 第18-21页 |
| 2.1.1 DM2概述 | 第18-19页 |
| 2.1.2 本体推理技术 | 第19-21页 |
| 2.2 基于本体推理的体系结构验证方法的基本内涵 | 第21-24页 |
| 2.2.1 基于本体推理的体系结构验证方法的理论基础 | 第21-23页 |
| 2.2.2 基于本体推理的体系结构验证方法的技术优势 | 第23-24页 |
| 2.3 基于本体推理的体系结构验证方法思路 | 第24-26页 |
| 第三章 体系结构数据的OWL描述方法 | 第26-41页 |
| 3.1 DM2的OWL描述方法 | 第26-35页 |
| 3.1.1 OWL概述 | 第26-28页 |
| 3.1.2 OWL描述DM2的思路 | 第28-30页 |
| 3.1.3 OWL描述DM2的步骤 | 第30-32页 |
| 3.1.4 体系结构数据的本体编辑 | 第32-35页 |
| 3.2 体系结构设计数据的OWL描述方法 | 第35-41页 |
| 3.2.1 体系结构设计数据结构与格式 | 第35-38页 |
| 3.2.2 体系结构设计数据到OWL的映射方法 | 第38-41页 |
| 第四章 推理规则的建立方法 | 第41-50页 |
| 4.1 规则的表示方法 | 第41-43页 |
| 4.1.1 规则的引入 | 第41-42页 |
| 4.1.2 规则的语法 | 第42-43页 |
| 4.2 通用规则的描述 | 第43-44页 |
| 4.3 自定义规则的建立方法 | 第44-50页 |
| 4.3.1 基于DM2的自定义规则的建立思路 | 第44-45页 |
| 4.3.2 一致性验证规则的构建方法 | 第45-48页 |
| 4.3.3 完备性验证规则的构建方法 | 第48-50页 |
| 第五章 基于本体推理的体系结构验证实现 | 第50-63页 |
| 5.1 本体推理机 | 第50-51页 |
| 5.2 案例描述 | 第51-55页 |
| 5.2.1 作战活动模型（OV5） | 第51-54页 |
| 5.2.2 作战资源流描述（OV2） | 第54-55页 |
| 5.3 体系结构验证过程 | 第55-63页 |
| 5.3.1 OWL描述的本体构建 | 第56-57页 |
| 5.3.2 推理规则的建立 | 第57-59页 |
| 5.3.3 程序代码实现 | 第59-60页 |
| 5.3.4 验证结果分析 | 第60-63页 |
| 第六章 总结与展望 | 第63-65页 |
| 6.1 本文主要贡献 | 第63-64页 |
| 6.2 今后进一步的工作 | 第64-65页 |
| 致谢 | 第65-67页 |
| 参考文献 | 第67-70页 |
| 作者在学期间取得的学术成果 | 第70页 |