| 摘要 | 第1-13页 |
| Abstract | 第13-16页 |
| 第一章 绪论 | 第16-38页 |
| ·研究背景 | 第16-21页 |
| ·Web 服务组合 | 第16-18页 |
| ·Web 服务组合所面临的挑战 | 第18-20页 |
| ·课题来源 | 第20-21页 |
| ·服务组合建模相关的研究工作 | 第21-33页 |
| ·Petri 网 | 第21-23页 |
| ·业务流程执行语言BPEL | 第23-29页 |
| ·服务组合的建模方法 | 第29-31页 |
| ·运行时监控机制 | 第31-33页 |
| ·本文的主要工作 | 第33-35页 |
| ·论文结构 | 第35-38页 |
| 第二章 基于有色Petri 网的Web 服务组合交互模型WS-PIM | 第38-50页 |
| ·相关研究工作 | 第38-39页 |
| ·服务组合规约到服务组合交互模型WS-PIM 的映射 | 第39-45页 |
| ·服务组合交互模型WS-PIM 的定义 | 第40页 |
| ·BPEL 规约到WS-PIM 模型的映射规则 | 第40-42页 |
| ·WS-PIM 模型基本模式的嵌套迭代，组合和化简 | 第42-45页 |
| ·服务组合交互模型WS-PIM 的主要性质 | 第45-46页 |
| ·案例研究与评测 | 第46-49页 |
| ·案例介绍 | 第47页 |
| ·实例对应的WS-PIM 交互模型 | 第47-48页 |
| ·工具转换效果对比测试和评估 | 第48-49页 |
| ·本章小结 | 第49-50页 |
| 第三章 基于时序属性一致性的Web 服务组合交互行为检测算法 | 第50-66页 |
| ·服务组合实例 | 第50-51页 |
| ·实例介绍 | 第50-51页 |
| ·TBS 实例中的服务交互行为时序属性 | 第51页 |
| ·WS-PIM 交互模型的分析 | 第51-54页 |
| ·TBS 实例对应的服务组合交互模型WS-PIM | 第51-52页 |
| ·可达状态分析 | 第52-53页 |
| ·服务组合交互行为序列 | 第53-54页 |
| ·服务组合交互行为的时序属性 | 第54-58页 |
| ·偏序关系属性 | 第54-55页 |
| ·活性属性 | 第55-57页 |
| ·安全性属性 | 第57-58页 |
| ·基于时序属性一致性的服务组合交互行为检测算法 | 第58-63页 |
| ·交互行为检测原理 | 第58-60页 |
| ·服务组合交互行为的运行时检测算法 | 第60-62页 |
| ·算法的计算复杂性分析 | 第62-63页 |
| ·评测与讨论 | 第63-64页 |
| ·本章小结 | 第64-66页 |
| 第四章 基于服务组合交互行为检测算法的运行时监控机制 | 第66-80页 |
| ·相关研究工作 | 第67-68页 |
| ·Web 服务组合的运行时监控机制 | 第68-70页 |
| ·运行时监控机制的基本框架 | 第68页 |
| ·交互行为的抽取方法 | 第68-69页 |
| ·交互行为的捕获方法 | 第69页 |
| ·交互行为的运行时检测方法 | 第69-70页 |
| ·一致性检测器的构造方法 | 第70-73页 |
| ·一致性检测器的代码结构 | 第70-71页 |
| ·一致性检测器的构造流程 | 第71页 |
| ·由WS-PIM 交互模型到运行时检测函数的转换算法 | 第71-72页 |
| ·算法的复杂性理论分析 | 第72-73页 |
| ·评测与讨论 | 第73-79页 |
| ·案例研究 | 第73-74页 |
| ·代码生成效率评估 | 第74-75页 |
| ·运行时监控机制的评测 | 第75-79页 |
| ·本章小结 | 第79-80页 |
| 第五章 基于广义随机Petri 网的Web 服务组合定量化交互模型WS-GIM | 第80-102页 |
| ·相关研究工作 | 第81页 |
| ·Web 服务组合定量化交互模型WS-GIM | 第81-85页 |
| ·Web 服务组合流程GSPN 模型 | 第81-83页 |
| ·伙伴服务通用GSPN 基本模式 | 第83-84页 |
| ·交互消息网络传输GSPN 基本模式 | 第84页 |
| ·Web 服务组合定量化交互模型 | 第84-85页 |
| ·WS-GIM 模型的建模数据获取与参数设定 | 第85-90页 |
| ·建模数据获取 | 第85-87页 |
| ·模型化简 | 第87-89页 |
| ·模型参数设置 | 第89-90页 |
| ·WS-GIM 模型性质分析 | 第90-92页 |
| ·实例研究与模型预测 | 第92-99页 |
| ·实例研究 | 第92-93页 |
| ·结构分析 | 第93-94页 |
| ·定量化分析和评估 | 第94-99页 |
| ·本章小结 | 第99-102页 |
| 第六章 基于WS-GIM 模型的Web 服务组合优化策略 | 第102-120页 |
| ·基于网络交互环境的服务组合的性能预测和优化方法 | 第102-108页 |
| ·实例对应的WS-GIM 模型 | 第102-105页 |
| ·模型的性能预测和评估 | 第105-107页 |
| ·Web 服务组合的性能优化途径 | 第107-108页 |
| ·小结 | 第108页 |
| ·基于多属性效用理论的组合服务部署方案选择方法 | 第108-119页 |
| ·问题提出 | 第109-110页 |
| ·基于多属性效用理论的组合服务部署方案选择算法 | 第110-113页 |
| ·算法评估与结果讨论 | 第113-118页 |
| ·相关研究工作 | 第118-119页 |
| ·小结 | 第119页 |
| ·本章小结 | 第119-120页 |
| 第七章 结束语 | 第120-124页 |
| ·本文主要工作和创新点 | 第120-121页 |
| ·下一步工作展望 | 第121-124页 |
| 致谢 | 第124-126页 |
| 参考文献 | 第126-133页 |
| 作者在学期间取得的学术成果 | 第133-135页 |
| 附录A 攻读博士学位期间参加的科研项目 | 第135页 |
