| 中文摘要 | 第1-4页 |
| ABSTRACT | 第4-9页 |
| 第一章 引言 | 第9-21页 |
| ·研究背景 | 第9-16页 |
| ·Web 服务和语义Web 服务 | 第10-15页 |
| ·语义Web 服务组合问题的定义和分类 | 第15-16页 |
| ·研究动机和研究意义 | 第16-18页 |
| ·主要工作和贡献 | 第18-19页 |
| ·论文组织结构 | 第19-21页 |
| 第二章 Web 服务发现、组合及验证研究综述 | 第21-31页 |
| ·Web 服务发现和匹配方法 | 第21-23页 |
| ·面向功能的服务发现 | 第21-22页 |
| ·面向组合的服务发现 | 第22-23页 |
| ·面向非功能属性的服务发现 | 第23页 |
| ·Web 服务组合方法 | 第23-29页 |
| ·基于工作流的Web 服务组合 | 第24-25页 |
| ·基于工作流的静态Web 服务组合 | 第24页 |
| ·基于工作流的动态Web 服务组合 | 第24-25页 |
| ·基于AI 的Web 服务自动组合 | 第25-29页 |
| ·Web 服务组合验证方法 | 第29-30页 |
| ·本章小结 | 第30-31页 |
| 第三章 服务网络及语义Web 服务组合框架概述 | 第31-54页 |
| ·服务网络概述 | 第31-45页 |
| ·领域本体 | 第33-36页 |
| ·具体服务和抽象服务 | 第36-40页 |
| ·服务关系和服务网络的概念模型 | 第40-45页 |
| ·服务网络分析 | 第45-48页 |
| ·复杂网络模型简介 | 第45-46页 |
| ·服务网络拓扑结构实验和分析结果 | 第46-48页 |
| ·基于服务网络的语义Web 服务组合框架 | 第48-53页 |
| ·语义Web 服务组合问题描述 | 第48-50页 |
| ·语义Web 服务组合框架 | 第50-51页 |
| ·面向组合的服务发现 | 第51页 |
| ·面向信息提供类的服务自动组合 | 第51-52页 |
| ·基于抽象模板的混合类服务组合 | 第52页 |
| ·语义Web 服务流程一致性验证 | 第52-53页 |
| ·本章小结 | 第53-54页 |
| 第四章 信息提供类Web 服务的发现和自动组合 | 第54-70页 |
| ·信息提供类Web 服务组合问题 | 第54-57页 |
| ·面向组合的服务发现 | 第57-59页 |
| ·服务自动组合算法 | 第59-66页 |
| ·服务规划图构造算法 | 第60-64页 |
| ·服务规划解搜索算法 | 第64-66页 |
| ·仿真实验和结果分析 | 第66-69页 |
| ·本章小结 | 第69-70页 |
| 第五章 混合类Web 服务自动组合 | 第70-92页 |
| ·DL-Lite 描述逻辑 | 第70-72页 |
| ·用户请求和Web 服务的形式化 | 第72页 |
| ·基于抽象模板的混合类服务自动组合 | 第72-90页 |
| ·系统整体框架及处理流程 | 第73-74页 |
| ·数据预处理 | 第74-79页 |
| ·概念关系矩阵的建立 | 第74-75页 |
| ·用户请求可满足性验证 | 第75-77页 |
| ·服务依赖关系图的创建 | 第77-79页 |
| ·模板检索 | 第79-84页 |
| ·模板的调整和修改 | 第84-89页 |
| ·模板修改中的启发式策略 | 第89-90页 |
| ·仿真实验 | 第90-91页 |
| ·本章小结 | 第91-92页 |
| 第六章 语义Web 服务流程一致性验证 | 第92-101页 |
| ·问题描述 | 第92-93页 |
| ·基于Petri 网的语义Web 服务流程一致性验证 | 第93-97页 |
| ·语义Web 服务流程的表示 | 第93页 |
| ·语义Web 服务流程的Petri 网模型 | 第93-94页 |
| ·语义Web 服务流程一致性验证算法 | 第94-97页 |
| ·案例分析 | 第97-100页 |
| ·本章小结 | 第100-101页 |
| 第七章 总结和展望 | 第101-104页 |
| ·全文总结 | 第101-102页 |
| ·下一步研究工作 | 第102-104页 |
| 参考文献 | 第104-113页 |
| 发表论文和科研情况说明 | 第113-114页 |
| 致谢 | 第114页 |