| 中文摘要 | 第1-5页 |
| ABSTRACT | 第5-9页 |
| 第一章 绪论 | 第9-14页 |
| ·选题背景 | 第9-10页 |
| ·研究现状及意义 | 第10-12页 |
| ·论文主要工作和组织结构 | 第12-14页 |
| 第二章 本体知识表示和推理 | 第14-25页 |
| ·本体概述 | 第14-20页 |
| ·本体定义 | 第14-15页 |
| ·本体分类 | 第15页 |
| ·本体描述语言 | 第15-16页 |
| ·本体组成和构建 | 第16-20页 |
| ·逻辑推理 | 第20-22页 |
| ·语义Web 服务 | 第22-24页 |
| ·本章小结 | 第24-25页 |
| 第三章 可信Web 服务形式化语义研究 | 第25-45页 |
| ·服务信任本体的形式化研究 | 第25-38页 |
| ·服务信任分类 | 第27-28页 |
| ·服务信任本体构建 | 第28-36页 |
| ·实例分析 | 第36-38页 |
| ·服务QoS 本体的形式化研究 | 第38-41页 |
| ·服务QoS 分类 | 第38-39页 |
| ·服务QoS 本体构建 | 第39-40页 |
| ·实例分析 | 第40-41页 |
| ·服务上下文本体的形式化研究 | 第41-44页 |
| ·服务上下文分类 | 第41-42页 |
| ·服务上下文本体构建 | 第42-43页 |
| ·实例分析 | 第43-44页 |
| ·本章小结 | 第44-45页 |
| 第四章 基于本体的可信Web 服务组合 | 第45-57页 |
| ·服务组合概述 | 第45-47页 |
| ·基于本体的服务组合 | 第47-51页 |
| ·可信Web 服务组合算法 | 第51-54页 |
| ·仿真实验分析 | 第54-56页 |
| ·本章小结 | 第56-57页 |
| 第五章 服务组合模型TWSC-O 设计和原型系统实现 | 第57-66页 |
| ·基于本体的可信Web 服务组合模型 | 第58-60页 |
| ·原型系统实现 | 第60-65页 |
| ·平台环境和工具 | 第60-62页 |
| ·原型系统演示 | 第62-65页 |
| ·本章小结 | 第65-66页 |
| 第六章 总结与展望 | 第66-68页 |
| ·论文总结 | 第66页 |
| ·研究工作展望 | 第66-68页 |
| 致谢 | 第68-69页 |
| 攻读硕士学位期间的学术论文 | 第69-70页 |
| 攻读硕士学位期间参加的科研项目 | 第70-71页 |
| 缩略词 | 第71-72页 |
| 图表清单 | 第72-74页 |
| 参考文献 | 第74-78页 |
| 附录 | 第78-81页 |