WS-BPEL服务可替换性分析  

Substitutability analysis of WS-BPEL services

作　　者：宋巍[1,2] 唐金辉[1,3] 张功萱[1] 马晓星[2] 

机构地区：[1]南京理工大学计算机学院,南京210094 [2]南京大学软件新技术国家重点实验室,南京210046 [3]杭州师范大学电子商务与信息安全重点实验室,杭州310036

出　　处：《中国科学：信息科学》2012年第3期264-279,共16页Scientia Sinica(Informationis)

基　　金：国家重点基础研究发展规划(批准号:2009CB320702);国家自然科学基金(批准号:60973044;61003019);江苏省重点研究专项(批准号:BK2011022);高等学校博士学科点专项科研基金(批准号:20113219120021)资助项目

摘　　要：在开放、动态、多变的Internet环境下,服务替换是保证面向服务的软件系统持续可信的重要手段.现有方法大多在控制流模型层面上进行BPEL服务的可替换性分析,而较少考虑BPEL服务中的数据因素,并且当BPEL服务中存在对分布服务的异步调用时,现有方法过于保守.为此,本文提出一种基于程序依赖图的BPEL服务可替换性分析方法,该方法综合考虑了BPEL服务中的控制依赖、数据依赖、异步调用依赖以及交互依赖关系,从而可有效应对BPEL服务的可替换性问题.我们使用一个旅行代理BPEL服务替换案例阐明了本文方法的有效性和可行性.In the open,dynamic and uncertain environment of the Internet,service substitution is a key technique to keep the service-oriented software system trustworthy.Most of the existing approaches analyze BPEL service substitutability at the control-flow model level without considering the data aspect of BPEL services. Moreover,existing approaches are too conservative when the BPEL processes asynchronously invoke the distributed partner services.To address this problem,we propose a novel approach to analyzing BPEL service substitutability which is based on the program dependence graphs of BPEL services.Our approach takes control dependence,data dependence,asyn-invocation dependence,interaction dependence into account,and thus it can appropriately cope with the problem of BPEL service substitution.We use a running case study of substituting a travel agency BPEL service to illustrate the validity and feasibility of our approach.

关 键 词：BPEL服务 可替换性 BPEL程序依赖图 异步调用依赖 交互依赖 转换规则 

分 类 号：TP393.09[自动化与计算机技术—计算机应用技术]