| WS-BPEL服务可替换性分析 |
| |
| 引用本文： | 宋巍,唐金辉,张功萱,马晓星.WS-BPEL服务可替换性分析[J].中国科学：信息科学,2012(3):264-279. |
| |
| 作者姓名： | 宋巍 唐金辉 张功萱 马晓星 |
| |
| 作者单位： | 南京理工大学计算机学院;南京大学软件新技术国家重点实验室;杭州师范大学电子商务与信息安全重点实验室 |
| |
| 基金项目： | 国家重点基础研究发展规划(批准号:2009CB320702);国家自然科学基金(批准号:60973044,61003019);江苏省重点研究专项(批准号:BK2011022);高等学校博士学科点专项科研基金(批准号:20113219120021)资助项目 |
| |
| 摘 要： | 在开放、动态、多变的Internet环境下,服务替换是保证面向服务的软件系统持续可信的重要手段.现有方法大多在控制流模型层面上进行BPEL服务的可替换性分析,而较少考虑BPEL服务中的数据因素,并且当BPEL服务中存在对分布服务的异步调用时,现有方法过于保守.为此,本文提出一种基于程序依赖图的BPEL服务可替换性分析方法,该方法综合考虑了BPEL服务中的控制依赖、数据依赖、异步调用依赖以及交互依赖关系,从而可有效应对BPEL服务的可替换性问题.我们使用一个旅行代理BPEL服务替换案例阐明了本文方法的有效性和可行性.
|
| 关 键 词： | BPEL服务 可替换性 BPEL程序依赖图 异步调用依赖 交互依赖 转换规则 |
Substitutability analysis of WS-BPEL services |
| |
| SONG Wei,TANG JinHui,ZHANG GongXuan,&MA XiaoXing.Substitutability analysis of WS-BPEL services[J].Scientia Sinica Informationis,2012(3):264-279. |
| |
| Authors: | SONG Wei TANG JinHui ZHANG GongXuan &MA XiaoXing |
| |
| Affiliation: | 1 Department of Computer Science,Nanjing University of Science and Technology,Nanjing 210094,China; 2 State Key Laboratory for Novel Software Technology,Nanjing University,Nanjing 210046,China; 3 Key Lab of E-Business and Information Security,Hangzhou Normal University,Hangzhou 310036,China |
| |
| Abstract: | 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. |
| |
| Keywords: | BPEL service substitutability BPEL program dependence graph asyn-invocation dependence interaction dependence transformation rules |
| 本文献已被 CNKI 等数据库收录！ |
|
