基于动态切片和惰性计算的服务组合动态演化
| 摘要 | 第4-5页 |
| Abstract | 第5页 |
| 第一章 绪论 | 第8-13页 |
| 1.1 研究背景及意义 | 第8-10页 |
| 1.2 国内外研究现状 | 第10-12页 |
| 1.3 论文结构及其安排 | 第12-13页 |
| 第二章 基本概念 | 第13-23页 |
| 2.1 Web 服务 | 第13-16页 |
| 2.1.1 XML | 第14页 |
| 2.1.2 WSDL | 第14-15页 |
| 2.1.3 SOAP | 第15页 |
| 2.1.4 UDDI | 第15-16页 |
| 2.2 Web 服务组合及其演化 | 第16-19页 |
| 2.3 动态切片 | 第19-21页 |
| 2.4 惰性计算 | 第21-22页 |
| 2.5 本章小结 | 第22-23页 |
| 第三章 BPEL 语言到 C 语言的转化 | 第23-36页 |
| 3.1 BPEL 简介 | 第23-24页 |
| 3.2 BPEL 语言到 C 语言的转化方法 | 第24-30页 |
| 3.2.1 BPEL 语言与 C 语言的对比分析 | 第24-25页 |
| 3.2.2 BPEL 到 C 语言的转化建模 | 第25-30页 |
| 3.3 BPEL 到 C 语言的转化实现 | 第30-34页 |
| 3.3.1 转化模块 | 第31-32页 |
| 3.3.2 调用模块 | 第32-34页 |
| 3.4 本章小结 | 第34-36页 |
| 第四章 依赖图的设计与实现 | 第36-48页 |
| 4.1 基于 C 语言的函数依赖图的生成 | 第36-45页 |
| 4.1.1 Language-C 库 | 第37-42页 |
| 4.1.2 LLVM 库 | 第42-45页 |
| 4.2 基于 C 语言的函数依赖图的实现 | 第45-47页 |
| 4.3 本章小结 | 第47-48页 |
| 第五章 动态切片算法和惰性计算 | 第48-58页 |
| 5.1 基于依赖图的动态切片算法 | 第49-53页 |
| 5.1.1 静态切片算法 | 第50-52页 |
| 5.1.2 动态切片算法 | 第52-53页 |
| 5.2 基于依赖图的动态切片算法的实现 | 第53-54页 |
| 5.3 基于切片依赖图的惰性计算 | 第54-57页 |
| 5.4 基于切片依赖图的惰性计算的实现 | 第57页 |
| 5.5 本章小结 | 第57-58页 |
| 第六章 实例演示及分析 | 第58-64页 |
| 6.1 实例演示 | 第58-63页 |
| 6.1.1 Web 服务发布 | 第58-59页 |
| 6.1.2 Web 服务组合 | 第59-60页 |
| 6.1.3 转化为 C 语言代码 | 第60-61页 |
| 6.1.4 动态切片和惰性计算 | 第61-63页 |
| 6.2 本章小结 | 第63-64页 |
| 第七章 总结与展望 | 第64-65页 |
| 7.1 工作总结 | 第64页 |
| 7.2 未来展望 | 第64-65页 |
| 参考文献 | 第65-68页 |
| 附录 1 本文作者撰写的论文 | 第68-69页 |
| 附录 2 本文作者参与的项目 | 第69-70页 |
| 附录 3 本文作者申请的专利 | 第70-71页 |
| 致谢 | 第71页 |
