| 摘要 | 第1-13页 |
| ABSTRACT | 第13-16页 |
| 第一章 绪论 | 第16-30页 |
| ·研究背景 | 第16-22页 |
| ·服务组合 | 第18页 |
| ·应用需求 | 第18-20页 |
| ·数字卡通协同制作对服务组合技术提出的挑战 | 第20-22页 |
| ·研究现状 | 第22-25页 |
| ·服务组合的形式化检验 | 第22-23页 |
| ·QoS感知的服务组合方法 | 第23-25页 |
| ·本文的工作 | 第25-27页 |
| ·论文的结构 | 第27-30页 |
| 第二章 基于Pi演算的形式化检验方法 | 第30-70页 |
| ·相关工作 | 第30-34页 |
| ·Pi演算的类型化扩展 | 第34-42页 |
| ·扩展的Pi演算语法定义 | 第34-39页 |
| ·类型化Pi演算的规约语义 | 第39-40页 |
| ·Pi演算类型系统的类型安全性 | 第40-42页 |
| ·服务组合语言BPEL4WS的检验 | 第42-66页 |
| ·BPEL4WS与Pi演算的双向自动转换 | 第42-48页 |
| ·检验算法与出错片段自动标识 | 第48-59页 |
| ·服务组合实例的行为分析与验证示例 | 第59-66页 |
| ·嵌入Web服务组合开发环境的验证工具 | 第66-68页 |
| ·小结 | 第68-70页 |
| 第三章 基于离散时间Ambient演算的形式化检验方法 | 第70-118页 |
| ·相关工作 | 第71-73页 |
| ·Ambient演算 | 第73-83页 |
| ·Ambient演算的语法和语义 | 第74-75页 |
| ·Ambient图规约 | 第75-78页 |
| ·Ambient时间同步树 | 第78-83页 |
| ·离散时间Ambient演算 | 第83-98页 |
| ·DTMA演算语法 | 第83-85页 |
| ·DTMA演算规约语义 | 第85-87页 |
| ·DTMA演算的时间操作 | 第87-88页 |
| ·DTMA演算的性质 | 第88-90页 |
| ·DTMA逻辑 | 第90-92页 |
| ·DTMA的模型验证算法 | 第92-94页 |
| ·DTMA的模型验证可判定性 | 第94-98页 |
| ·基于DTMA的服务组合描述 | 第98-115页 |
| ·编码服务组合基本程序结构 | 第98-100页 |
| ·BPEL4WS活动形式化建模 | 第100-101页 |
| ·多层scope的出错与补偿处理形式化描述 | 第101-108页 |
| ·实时分布式Web服务组合的描述和分析 | 第108-115页 |
| ·小结 | 第115-118页 |
| 第四章 基于QoS感知的服务组合方法 | 第118-160页 |
| ·相关工作 | 第119-123页 |
| ·基于启发式0-1整线性规划的服务组合优化方法 | 第123-130页 |
| ·Web服务QoS属性量化 | 第123-125页 |
| ·Web服务QoS属性的权重计算 | 第125-126页 |
| ·全局优化模型 | 第126-130页 |
| ·基于树型编码遗传算法的服务组合优化方法 | 第130-138页 |
| ·基于服务联盟的全局优化模型 | 第130-133页 |
| ·基于树型编码方式的遗传算法 | 第133-137页 |
| ·树型编码方式的能力分析 | 第137-138页 |
| ·一种基于图聚类的Web服务组合划分方法 | 第138-144页 |
| ·服务组合的服务域分割及服务划分算法 | 第138-141页 |
| ·初始处理 | 第141-142页 |
| ·聚类划分 | 第142-143页 |
| ·还原调整 | 第143-144页 |
| ·实验及分析 | 第144-158页 |
| ·启发式0-1整线性规划仿真实验 | 第144-149页 |
| ·TGA仿真实验 | 第149-152页 |
| ·服务组合优化方法的比较实验 | 第152-156页 |
| ·基于图聚类的划分算法的实例分析 | 第156-158页 |
| ·小结 | 第158-160页 |
| 第五章 QoS感知的服务组合架构 | 第160-194页 |
| ·相关工作 | 第160-163页 |
| ·服务组合架构实现 | 第163-166页 |
| ·带有反馈控制环及解耦流程执行和服务调用的服务组合执行引擎 | 第166-176页 |
| ·服务组合执行引擎体系结构 | 第166-168页 |
| ·Web服务组合的服务响应时间 | 第168页 |
| ·引擎反馈控制环设计 | 第168-173页 |
| ·实验与分析 | 第173-176页 |
| ·一种基于QoS的服务组合运行时容错框架 | 第176-190页 |
| ·服务组合运行时容错处理框架 | 第177-178页 |
| ·容错处理机制 | 第178-183页 |
| ·运行时流程重构算法 | 第183-185页 |
| ·流程重构算法仿真实验 | 第185-190页 |
| ·服务组合架构在数字卡通协同制作中的应用 | 第190-193页 |
| ·小结 | 第193-194页 |
| 结束语 | 第194-198页 |
| 致谢 | 第198-200页 |
| 参考文献 | 第200-214页 |
| 攻读博士学位期间发表的论文 | 第214-216页 |
| 攻读博士学位期间参加的科研工作 | 第216页 |