基于动态切片和惰性计算的服务组合动态演化

摘要

如今的Web服务数量已经越来越多，然而随着用户对Web服务功能的需求，Web服务资源却越来越不能满足用户的要求。为了解决Web服务匮乏问题，Web服务组合技术被提出，很多单体服务通过Web服务组合技术被组合成具有新功能的组合服务。组合服务中的每一个单体服务时刻处于演化中，所以Web服务组合者需要时刻对Web组合服务进行监控，以便能够及时地对Web服务组合进行演化。然而实时监控的演化方法在实现效果上不够灵活。
　　为了实现灵活地对Web服务组合进行演化，本文提出了Web服务组合动态演化的方法，其基本思想是如果被更新的单体服务被 BPEL流程调用到的时候，则该组合服务进行更新，否则不进行更新。本文所做工作包括：（1）分析 BPEL执行流程，将其转化为 C语言代码；（2）对 C语言代码进行分析，生成函数依赖图；（3）根据组合服务的初始输入值，对函数依赖图进行动态切片，得到切片后的依赖图和切片后的C语言代码；（4）以Tomcat中的Axis2为发布平台，发布Web服务，并进行了组合，然后演示了对组合服务进行动态演化的过程，对本文所做工作进行了验证。
　　论文的创新点如下：
　　●设计了BPEL语言到C语言的转化方法。BPEL语言与C语言在结构上有着较多的相似之处，为了能够更好地对BPEL语言进行分析，将BPEL语言转化为C语言，将对BPEL语言的分析转化为对C语言的分析。
　　●设计了基于C语言函数依赖图的BPEL服务依赖图生成算法。为了研究组合服务内部单体服务之间的服务依赖关系，本文通过分析由BPEL代码转化后的C代码，对C代码的函数依赖图进行生成，此时的函数依赖图就是组合服务的服务依赖图。
　　●设计了基于 Web服务初始输入值的对 C代码的动态切片算法。组合服务的输入参数值不同，则其执行的路径会发生变化，为了得到特定输入参数值的具体执行路径，需要对组合服务进行动态切片，由于组合服务的BPEL代码已经转化为C代码，所以对C代码进行动态切片，就可以得到组合服务的动态执行路径。
　　●利用惰性计算性质，对组合服务进行运行。通过对BPEL代码转化后的C代码的分析，可以确定组合服务的唯一执行路径，然后通过对C代码的动态切片，得到切片代码，只对切片代码进行运行，可以提高运行效率以及运行的准确性。

目录

封面

声明

中文摘要

英文摘要

目录

第一章绪论

1.1研究背景及意义

1.2国内外研究现状

1.3论文结构及其安排

第二章 基本概念

2.1 Web服务

2.2 Web服务组合及其演化

2.3动态切片

2.4惰性计算

2.5本章小结

第三章 BPEL语言到C语言的转化

3.1 BPEL简介

3.2 BPEL语言到C语言的转化方法

3.3 BPEL到C语言的转化实现

3.4本章小结

第四章 依赖图的设计与实现

4.1基于C语言的函数依赖图的生成

4.2基于C语言的函数依赖图的实现

4.3本章小结

第五章 动态切片算法和惰性计算

5.1基于依赖图的动态切片算法

5.2基于依赖图的动态切片算法的实现

5.3基于切片依赖图的惰性计算

5.4基于切片依赖图的惰性计算的实现

5.5本章小结

第六章 实例演示及分析

6.1实例演示

6.2本章小结

第七章 总结与展望

7.1工作总结

7.2未来展望

参考文献

附录1 本文作者撰写的论文

附录2本文作者参与的项目

附录3本文作者申请的专利

致谢