| 摘要 | 第1-6页 |
| ABSTRACT | 第6-8页 |
| 目录 | 第8-12页 |
| 图索引 | 第12-14页 |
| 表索引 | 第14-15页 |
| 第1章 绪论 | 第15-37页 |
| ·研究背景 | 第15-16页 |
| ·服务组合研究现状 | 第16-34页 |
| ·面向服务体系结构 | 第16-23页 |
| ·服务组合方法 | 第23-28页 |
| ·著名服务组合项目 | 第28-33页 |
| ·当前服务组合研究存在的问题 | 第33-34页 |
| ·研究内容 | 第34-35页 |
| ·论文结构 | 第35-37页 |
| 第2章 基于数据流优化的分散式服务组合 | 第37-54页 |
| ·引言 | 第37-38页 |
| ·相关研究介绍 | 第38-39页 |
| ·分散式服务组合 | 第39-40页 |
| ·BPEL 流程变换 | 第40-42页 |
| ·赋值变换 | 第40-41页 |
| ·异步化变换 | 第41页 |
| ·消息展开 | 第41-42页 |
| ·组合服务数据流分析与优化 | 第42-45页 |
| ·数据流信息收集 | 第42-45页 |
| ·数据流优化 | 第45页 |
| ·BPEL 流程分割 | 第45-46页 |
| ·方法的实例说明 | 第46-51页 |
| ·实验分析 | 第51-52页 |
| ·复杂性分析 | 第51页 |
| ·性能测试 | 第51-52页 |
| ·本章小结 | 第52-54页 |
| 第3章 支持数据流分发的服务组合协调框架 | 第54-64页 |
| ·引言 | 第54页 |
| ·协调框架的体系结构 | 第54-56页 |
| ·协调协议定义 | 第56-57页 |
| ·基本概念定义 | 第56-57页 |
| ·协调协议模型 | 第57页 |
| ·BPEL 到协调协议的转换 | 第57-59页 |
| ·协调框架系统实现 | 第59-62页 |
| ·协调框架性能实验 | 第62-63页 |
| ·本章小结 | 第63-64页 |
| 第4章 基于计算反射框架的自适应服务组合 | 第64-76页 |
| ·引言 | 第64页 |
| ·相关研究介绍 | 第64-66页 |
| ·计算反射 | 第64-65页 |
| ·自适应服务组合 | 第65-66页 |
| ·基于反射框架的服务组合 | 第66-69页 |
| ·组合服务元模型 | 第67-68页 |
| ·自适应元模型管理 | 第68页 |
| ·因果相连的实现 | 第68-69页 |
| ·元模型正确性验证 | 第69-74页 |
| ·控制流正确性 | 第69-70页 |
| ·数据流正确性 | 第70-74页 |
| ·系统实现 | 第74-75页 |
| ·本章小结 | 第75-76页 |
| 第5章 支持端到端QOS约束的自适应组合服务修复 | 第76-92页 |
| ·引言 | 第76-77页 |
| ·可靠SOA 概述 | 第77-78页 |
| ·服务流程QOS 模型 | 第78-79页 |
| ·QoS 模型 | 第78页 |
| ·组合服务QoS 模型 | 第78-79页 |
| ·基于影响区域的组合服务修复 | 第79-85页 |
| ·服务流程修复算法 | 第79-80页 |
| ·划分影响区域算法 | 第80-83页 |
| ·松弛QoS 约束 | 第83-85页 |
| ·流程修复实验 | 第85-88页 |
| ·流程修复的系统支持 | 第88-91页 |
| ·本章小结 | 第91-92页 |
| 第6章 服务组合支撑平台与其在面向服务仿真资源库中的应用 | 第92-106页 |
| ·组合服务运行支撑平台 | 第92-99页 |
| ·可靠服务组合中间件平台——LLAMA | 第92-96页 |
| ·具有动态自适应特性的组合服务支撑平台——αLLAMA | 第96-99页 |
| ·面向服务的仿真资源管理系统 | 第99-104页 |
| ·传统分布式建模与仿真资源库 | 第99-102页 |
| ·面向服务的建模与仿真资源管理系统 | 第102-104页 |
| ·本章小结 | 第104-106页 |
| 第7章 结论与展望 | 第106-110页 |
| ·工作总结 | 第106-108页 |
| ·主要创新点 | 第108页 |
| ·未来展望 | 第108-110页 |
| 参考文献 | 第110-120页 |
| 攻读博士学位期间发表的论文及成果 | 第120-122页 |
| 攻读博士学位期间参与的科研项目 | 第122-123页 |
| 致谢 | 第123页 |