| 摘要 | 第1-6页 |
| Abstract | 第6-8页 |
| 目录 | 第8-14页 |
| 第1章 绪论 | 第14-28页 |
| ·研究背景 | 第14-21页 |
| ·面向服务的计算与面向服务的体系架构 | 第14-16页 |
| ·Web服务与语义Web服务 | 第16-20页 |
| ·Web服务组合的定义及分类 | 第20-21页 |
| ·研究动机与研究意义 | 第21-24页 |
| ·研究内容与主要贡献 | 第24-25页 |
| ·文章结构 | 第25-28页 |
| 第2章 研究基础与现状 | 第28-48页 |
| ·Web服务组合的研究框架 | 第28-30页 |
| ·Web服务的发现方法 | 第30-34页 |
| ·基于OWL-S的语义Web服务发现方法 | 第30-32页 |
| ·基于OWL-S的ServiceProfile进行服务发现 | 第30-31页 |
| ·基于OWL-S的ServiceModel进行服务发现 | 第31页 |
| ·基于OWL-S的逻辑基础进行服务发现 | 第31-32页 |
| ·基于WSMO/WSML的语义Web服务发现方法 | 第32-33页 |
| ·基于WSDL扩展的语义Web服务发现方法 | 第33页 |
| ·其它基于语义的Web服务发现方法 | 第33-34页 |
| ·Web服务的组合方法 | 第34-42页 |
| ·业务流程驱动的Web服务组合方法 | 第34-38页 |
| ·工作流与业务流程驱动的Web服务组合 | 第35-36页 |
| ·业务流程驱动的服务组合方法分类 | 第36-38页 |
| ·即时任务求解的Web服务组合方法 | 第38-42页 |
| ·基于AI理论的Web服务自动组合方法 | 第38-40页 |
| ·基于图搜索的Web服务自动组合方法 | 第40-42页 |
| ·Web服务组合的验证方法 | 第42-44页 |
| ·基于Petri网的Web服务组合验证 | 第42页 |
| ·基于自动机理论的Web服务组合验证 | 第42-43页 |
| ·基于进程代数的Web服务组合验证 | 第43-44页 |
| ·国内外相关研究项目与平台 | 第44-46页 |
| ·E-FLOW | 第44页 |
| ·METEOR-S | 第44-45页 |
| ·SELF-SERV | 第45页 |
| ·FLAME | 第45-46页 |
| ·本章小结 | 第46-48页 |
| 第3章 基于语义的二阶段Web服务发现 | 第48-74页 |
| ·现有方法中的三个缺陷 | 第48-50页 |
| ·忽略服务内部功能单元的组合匹配 | 第48-49页 |
| ·忽略全依赖输出与局部依赖输出的差异性 | 第49-50页 |
| ·忽略接口间的单射匹配的要求 | 第50页 |
| ·服务注册信息的概念模型WSDL-R | 第50-53页 |
| ·WSDL-R对WSDL的扩展 | 第50-51页 |
| ·WSDL-R的形式化表达 | 第51-53页 |
| ·二阶段语义服务发现方法TSSD | 第53-68页 |
| ·概念的语义相似度计算 | 第54-56页 |
| ·第一阶段—基于操作匹配的服务发现 | 第56-65页 |
| ·服务操作与服务请求的匹配算法 | 第56-57页 |
| ·服务操作与服务请求的相似度计算 | 第57-59页 |
| ·基于Kuhn-Munkres算法的接口匹配 | 第59-63页 |
| ·操作与服务请求匹配的一个示例 | 第63-65页 |
| ·第二阶段—基于操作组合匹配的服务发现 | 第65-68页 |
| ·实验仿真与结果分析 | 第68-72页 |
| ·仿真实验准备 | 第68-69页 |
| ·实验结果与分析 | 第69-72页 |
| ·本章小结 | 第72-74页 |
| 第4章 基于生成树的Web服务自动组合 | 第74-106页 |
| ·服务规则与规则库 | 第74-78页 |
| ·服务规则与规则式服务 | 第74-76页 |
| ·服务集合的规则库 | 第76-78页 |
| ·生成树与完备生成树 | 第78-85页 |
| ·生成树的定义及其性质 | 第78-83页 |
| ·完备生成树的定义及其性质 | 第83-85页 |
| ·基于生成树的服务自动组合 | 第85-101页 |
| ·生成树的自动生成与维护 | 第86-91页 |
| ·生成树的自动生成 | 第86-89页 |
| ·生成树的自动维护 | 第89-91页 |
| ·生成路径的选取 | 第91-95页 |
| ·生成路径的合成 | 第95-99页 |
| ·服务自动组合示例 | 第99-101页 |
| ·实验仿真与结果分析 | 第101-104页 |
| ·仿真实验准备 | 第101-102页 |
| ·实验结果与分析 | 第102-104页 |
| ·本章小结 | 第104-106页 |
| 第5章 基于Pi演算的Web服务组合验证 | 第106-130页 |
| ·Web服务组合验证的问题概述 | 第106-107页 |
| ·Pi演算的概念及其基本理论 | 第107-112页 |
| ·Pi演算的基本概念 | 第108-110页 |
| ·Pi演算的操作语义 | 第110-111页 |
| ·Pi演算的行为等价理论 | 第111-112页 |
| ·Web服务行为与行为兼容性 | 第112-121页 |
| ·Web服务行为 | 第112-113页 |
| ·Web服务视图 | 第113-116页 |
| ·Web服务行为的兼容性 | 第116-121页 |
| ·Web服务行为兼容性验证与计算 | 第121-129页 |
| ·Web服务在Pi演算中的表达 | 第121-122页 |
| ·Web服务交互在Pi演算中的表达 | 第122-123页 |
| ·Web服务之间的行为兼容性验证 | 第123-126页 |
| ·Web服务之间的行为兼容性计算 | 第126-129页 |
| ·本章小结 | 第129-130页 |
| 第6章 Web服务组合系统框架与原型 | 第130-142页 |
| ·Web服务组合的系统框架WSCF | 第130-134页 |
| ·WSCF的主要功能 | 第130-132页 |
| ·WSCF的主要组件 | 第132-133页 |
| ·WSCF的主要过程 | 第133-134页 |
| ·Web服务组合的原型系统JTangFlow-S | 第134-141页 |
| ·JTangFlow-S的Web服务注册与发现 | 第135-138页 |
| ·JTangFlow-S的Web服务组合与验证 | 第138-141页 |
| ·本章小结 | 第141-142页 |
| 第7章 结论与展望 | 第142-144页 |
| ·本文工作总结 | 第142-143页 |
| ·未来工作展望 | 第143-144页 |
| 参考文献 | 第144-152页 |
| 攻读博士学位期间的科研成果 | 第152-154页 |
| 攻读博士学位期间参与的科研项目 | 第154-156页 |
| 致谢 | 第156-157页 |