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

发布时间：2018-05-27 09:19

  本文选题：Web服务组合 + 依赖图　； 参考：《南京邮电大学》2014年硕士论文

【摘要】：如今的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代码已经转化为Ｃ代码，所以对Ｃ代码进行动态切片，就可以得到组合服务的动态执行路径。 利用惰性计算性质，对组合服务进行运行。通过对BPEL代码转化后的C代码的分析，可以确定组合服务的唯一执行路径，然后通过对C代码的动态切片，得到切片代码，只对切片代码进行运行，可以提高运行效率以及运行的准确性。
[Abstract]:Nowadays, the number of Web services has become more and more. However, with the demand of users for the function of Web services, the resources of web services can not meet the requirements of users more and more. In order to solve the problem of lack of Web services, many single services are composed into composite services with new functions through Web services composition technology. Every single service in the composition service is evolving at all times, so the Web service composition needs to monitor the Web composition service at all times in order to be able to evolve the Web service composition in time. However, the evolutionary method of real-time monitoring is not flexible enough. In order to realize the flexible evolution of Web service composition, this paper proposes a method of dynamic evolution of Web service composition. Its basic idea is that if the updated single service is called by the BPEL process, the composition service will be updated. Otherwise, no updates are made. The work of this paper includes: 1) analyzing the execution flow of BPEL, converting it into C language code, analyzing C language code, generating function dependency graph / 3) dynamically slicing the function dependency graph according to the initial input value of the composition service. The dependency graph after slicing and the C language code after slicing are obtained. Using Axis2 in Tomcat as the publishing platform, the Web services are published and composed. Then the process of dynamic evolution of composite services is demonstrated, and the work done in this paper is verified. The innovations of the thesis are as follows: The transformation method from BPEL language to C language is designed. There are many similarities between BPEL language and C language in structure. In order to better analyze the BPEL language, the BPEL language is transformed into C language. The analysis of BPEL language is transformed into the analysis of C language. The algorithm of generating BPEL service dependency graph based on C language function dependency graph is designed. In order to study the service dependency relationship between the single services within composite services, this paper analyzes the C code transformed by BPEL code, and generates the function dependency graph of C code. The function dependency graph is the service dependency graph of composite services. A dynamic slicing algorithm for C code based on the initial input value of Web service is designed. If the input parameter values of a composite service are different, the execution path of the composite service will change. In order to obtain the specific execution path of a particular input parameter value, the composition service needs to be dynamically sliced. Because the BPEL code of the composite service has been transformed into C code, the dynamic execution path of the composite service can be obtained by dynamically slicing the C code. The composition service is run by the inert computing property. By analyzing the C code transformed by BPEL code, the unique execution path of composite service can be determined, and then the slice code can be obtained by dynamic slicing of C code, and only the slice code can be run. It can improve the efficiency and accuracy of operation.
【学位授予单位】：南京邮电大学
【学位级别】：硕士
【学位授予年份】：2014
【分类号】：TP393.09

【相似文献】

相关期刊论文 前10条

1 王晓玲,郭志懋,周傲英;Web服务组合的基于文法的消息处理[J];计算机学报;2005年04期

2 王勇;张煜;尹瑞;;Web服务组合中商业事务处理的研究[J];小型微型计算机系统;2006年01期

3 郭玉彬;杜玉越;奚建清;;Web服务组合的有色网模型及运算性质[J];计算机学报;2006年07期

4 蒋运承;汤庸;;服务组合的质量估计模型[J];小型微型计算机系统;2006年08期

5 刘必欣;周斌;贾焰;;Web服务组合支撑平台StarService Flow的研究与实现[J];计算机工程与科学;2006年12期

6 陈红;;基于参考网的Web服务组合模型[J];计算机应用;2006年12期

7 单保华;韩燕波;李厚福;胡海涛;;一种验证业务级服务组合可执行能力的方法[J];计算机科学;2006年03期

8 廖志军;高春鸣;;基于π演算的异构Web服务组合的互操作[J];中国科技信息;2007年06期

9 周宇;张鹏程;李必信;;一种Web服务组合的数学模型[J];东南大学学报(自然科学版);2007年04期

10 王国法;孙晓亭;王昆;;Web服务组合中的服务选择研究[J];计算机与信息技术;2007年06期

相关会议论文 前10条

1 段友祥;相鹏;;Web服务组合引擎的研究与实现[A];第二十三届中国数据库学术会议论文集（研究报告篇）[C];2006年

2 吴亮;袁兆山;;基于模糊Petri网的语义Web服务组合[A];全国第20届计算机技术与应用学术会议（CACIS·2009）暨全国第1届安全关键技术与应用学术会议论文集（上册）[C];2009年

3 赵慧杰;;Web服务的组合计划与优化[A];2007年中国智能自动化会议论文集[C];2007年

4 张玉军;李心科;;面向自然语言描述的Web服务组合[A];2011中国仪器仪表与测控技术大会论文集[C];2011年

5 周相兵;马洪江;杨兴江;;一种基于云计算的语义Web服务组合模型研究[A];2009年全国开放式分布与并行计算机学术会议论文集(上册)[C];2009年

6 付晓东;邹平;;基于元流程的Web服务组合例外处理模型[A];第二十六届中国控制会议论文集[C];2007年

7 江琦;奚宏生;殷保群;;网络新媒体服务系统事件驱动的动态服务组合[A];第二十九届中国控制会议论文集[C];2010年

8 徐明迪;赵恒;张焕国;;面向可靠性的动态Web服务组合选择策略研究[A];CCF NCSC 2011——第二届中国计算机学会服务计算学术会议论文集[C];2011年

9 周献中;吴奎;萧毅鸿;;基于蚁群算法的Web服务自动组合[A];决策科学与评价——中国系统工程学会决策科学专业委员会第八届学术年会论文集[C];2009年

10 徐其兴;余镇危;;一种基于移动Agent的服务组合模型[A];2006年全国开放式分布与并行计算学术会议论文集（二）[C];2006年

相关重要报纸文章 前5条

1 本报记者 张茜 通讯员 孟庆超;打好服务组合拳助力民企大发展[N];莱芜日报;2014年

2 记者 俞永均 通讯员 方平原 王芬;外经贸部门打出金融服务组合拳[N];宁波日报;2012年

3 高智 本报记者 王彤;许昌保险业:亮出服务组合拳[N];中国保险报;2014年

4 沈建苗 编译;利用现有服务构建SOA应用[N];计算机世界;2006年

5 记者 萧雨林 通讯员 张兴汉 郭毕;打好服务组合拳 提质增效站排头[N];襄阳日报;2014年

相关博士学位论文 前10条

1 冯名正;Web服务组合关键技术研究[D];东南大学;2006年

2 何丰;语义Web服务组合若干关键技术研究[D];东华大学;2008年

3 周涛;基于策略的服务组合关键技术研究及应用[D];浙江大学;2012年

4 吴钟;面向多边协同的Web服务组合市场决策与优化管理研究[D];武汉理工大学;2013年

5 胡佳;语义Web服务自动组合及验证的研究[D];天津大学;2010年

6 马小宁;铁路信息共享的Web服务组合关键技术研究[D];北京交通大学;2010年

7 包力;Web服务组合形式化建模与验证研究[D];大连海事大学;2009年

8 刘莉平;动态Web服务组合关键技术研究[D];中南大学;2011年

9 龙军;基于信任感知与演化的服务组合关键技术研究[D];中南大学;2011年

10 张杨;语义Web服务组合的可信性度量研究[D];重庆大学;2011年

相关硕士学位论文 前10条

1 刘磊;Web服务组合的性质检验与实现[D];电子科技大学;2009年

2 史斌;对等模式下个性化Web服务组合和匹配算法研究[D];山东大学;2009年

3 陈阳;Web服务组合模型及相关技术的研究[D];哈尔滨工程大学;2008年

4 周真建;语义Web服务组合的挖掘[D];南昌大学;2009年

5 魏守贤;动态服务组合在社区服务平台中的研究与应用[D];浙江工商大学;2011年

6 朱嘉鲁;基于移动Agent的Web服务组合[D];中国科学院研究生院（成都计算机应用研究所）;2006年

7 褚娟;Web服务组合的全局约束分析[D];山东大学;2007年

8 宋驰;基于用户偏好的启发式Web服务组合的研究与实现[D];北京邮电大学;2008年

9 张健;普适环境下一种分布式可靠服务组合机制研究[D];上海交通大学;2010年

10 余洋;Web服务组合的调解技术研究与应用[D];解放军信息工程大学;2011年

本文编号：1941422