带一致性保障的BPEL服务动态更新技术研究

发布时间：2018-03-20 10:21

本文选题：服务组合　切入点：动态演化　出处：《南京大学》2014年硕士论文　论文类型：学位论文

【摘要】：随着Internet的飞速发展,服务计算(Service Computing)逐渐成为众人关注的热点。在面向服务体系架构(Service Oriented Architecture,SOA)的开发模式中,服务组合(Service Composition)是满足用户个性化需求,整合在Internet上的异构资源(如硬件、软件、数据和业务等)的一种便捷方式。在开放、动态、难控的环境下,动态演化是服务组合必须具备的能力之一。然而,该领域的既有技术和支撑系统并不能完全满足服务组合动态演化的现实需要。为支持正确、高效、低代价的服务组合动态演化,本文提出了基于WS-BPEL(Web Service Business Process Execution Language)的动态依赖关系分析办法,并对该办法的正确性进行了分析。基于此动态依赖关系本文最终实现了一个能够保证服务动态演化时服务组合全局一致性的系统,并且在该系统上对服务动态依赖关系和动态更新算法进行了实验评估。具体而言,本文的工作包括:提出WS-BPEL过程间服务动态依赖关系的自动分析方法。该方法基于本文中提出的一种WS-BPEL建模方式,这种建模方式不会导致WS-BPEL语义的丢失。另外,本文对该服务动态依赖关系分析办法的正确性进行了证明。本文提出的服务动态依赖关系能够提高服务组合的更新效率,同时,在服务运行时刻给系统带来的额外开销较小。实现了一个支持WS-BPEL服务组合动态演化的系统,该系统支持版本控制办法、Quiescence算法和Version Consistent算法,其中Version Consistent算法拥有Wait、Block和Concurrent三种更新策略。该系统中引入的分布式构件领域的动态更新算法能够保证服务组合动态演化的全局一致性。设计了一组实验分别对服务动态依赖关系的效能以及CBPM系统动态演化能力的正确性、更新效率、服务中断等进行了评估。实验结果表明服务动态依赖关系在一定程度上能够提高动态演化的效率,同时CBPM系统能够保证服务组合动态演化的正确性并且具有较高的效能,最后与原JBPM引擎的比较实验表明该系统没有导致大量的开销。
[Abstract]:With the rapid development of Internet, service computing has gradually become a hot topic. In the development model of Service Oriented Architecture SOA, Service composition is to meet the needs of users. A convenient way to integrate heterogeneous resources (such as hardware, software, data, business, etc.) on the Internet. In an open, dynamic, uncontrollable environment, dynamic evolution is one of the capabilities that service composition must possess. The existing technologies and supporting systems in this field can not fully meet the actual needs of the dynamic evolution of service composition. In order to support the correct, efficient and low-cost dynamic evolution of service composition, In this paper, a dynamic dependency analysis method based on WS-BPEL(Web Service Business Process Execution language is proposed. The correctness of the method is analyzed. Based on this dynamic dependency, this paper finally implements a system that can guarantee the global consistency of service composition when the service evolves dynamically. And the dynamic dependency of service and the dynamic updating algorithm are evaluated in the system. The work of this paper includes: an automatic analysis method of service dynamic dependency between WS-BPEL processes is proposed. This method is based on a WS-BPEL modeling method proposed in this paper, which will not lead to the loss of WS-BPEL semantics. In this paper, the correctness of the service dynamic dependency analysis method is proved. The proposed service dynamic dependency relationship can improve the update efficiency of service composition, at the same time, A system supporting the dynamic evolution of WS-BPEL service composition is implemented, which supports the versioning method, including the Quiescence algorithm and the Version Consistent algorithm. The Version Consistent algorithm has three updating strategies: Waitblock and Concurrent. The dynamic updating algorithm of distributed component domain introduced in this system can guarantee the global consistency of the dynamic evolution of service composition. The effectiveness of dynamic dependency and the correctness of dynamic evolution ability of CBPM system, The experimental results show that the dynamic dependency of service can improve the efficiency of dynamic evolution to some extent. At the same time, the CBPM system can guarantee the correctness of the dynamic evolution of the service composition and has higher performance. Finally, the comparison with the original JBPM engine shows that the system does not lead to a large amount of overhead.
【学位授予单位】：南京大学
【学位级别】：硕士
【学位授予年份】：2014
【分类号】：TP393.09

【相似文献】