摘要
在开放、动态、多变的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.
出处
《中国科学：信息科学》
CSCD
2012年第3期264-279,共16页
Scientia Sinica(Informationis)
基金
国家重点基础研究发展规划(批准号:2009CB320702)
国家自然科学基金(批准号:60973044
61003019)
江苏省重点研究专项(批准号:BK2011022)
高等学校博士学科点专项科研基金(批准号:20113219120021)资助项目
关键词
BPEL服务
可替换性
BPEL程序依赖图
异步调用依赖
交互依赖
转换规则
BPEL service
substitutability
BPEL program dependence graph
asyn-invocation dependence
interaction dependence
transformation rules
