基于程序依赖图的静态BPEL程序切片技术

doi:10.3724/SP.J.1087.2012.02338

计算机应用 ›› 2012, Vol. 32 ›› Issue (08): 2338-2341.DOI: 10.3724/SP.J.1087.2012.02338

基于程序依赖图的静态BPEL程序切片技术

王洪达¹,邢建春¹,宋巍²,杨启亮¹

1. 解放军理工大学工程兵工程学院，南京 210007
2. 南京理工大学计算机科学与技术学院，南京 210094

收稿日期:2012-02-27 修回日期:2012-03-22 发布日期:2012-08-28 出版日期:2012-08-01
通讯作者: 王洪达
作者简介:王洪达(1987-)，男，河北沧州人，硕士，CCF会员，主要研究方向：服务计算、软件测试;
邢建春(1964-)，男，河北石家庄人，教授，博士生导师，博士，CCF高级会员，主要研究方向：计算机测量控制;
宋巍(1981-)，男，山东日照人，讲师，博士，CCF会员，主要研究方向：软件工程与方法学、程序分析、服务计算;
杨启亮(1975-)，男，河南信阳人，讲师，硕士，CCF会员，主要研究方向：计算机软件与理论、分布式控制系统。
基金资助:
国家自然科学基金资助项目(61003019，61073031);高等学校博士学科点专项科研基金资助项目(20113219120021)

Static BPEL program slicing technique based on BPEL program dependence graphs

WANG Hong-da¹,XING Jian-chun¹,SONG Wei²,YANG Qi-liang¹

1. Engineering Institute of Engineer Corps, PLA University of Science and Technology, Nanjing Jiangsu 210007, China
2. School of Computer Science and Technology, Nanjing University of Science and Technology, Nanjing Jiangsu 210094, China

Received:2012-02-27 Revised:2012-03-22 Online:2012-08-28 Published:2012-08-01
Contact: WANG Hong-da

摘要/Abstract

摘要： 传统程序切片技术在计算BPEL程序切片时会产生切片不完备问题，为此，提出一种基于程序依赖图的BPEL静态程序切片技术。该技术根据BPEL语言的特点，通过建立BPEL程序依赖图，计算BPEL程序切片。案例分析表明，该技术能够获得更加全面的程序切片，从而可以帮助软件工程人员更好地测试、调试和维护BPEL程序。

关键词: Web服务组合, BPEL程序依赖图, 静态程序切片, 异步调用依赖

Abstract: The slices of BPEL obtained are not complete if traditional program slicing technique is used. Therefore, a static BPEL program slicing technique based on BPEL program dependence graphs was proposed. This technique computed slices based on BPEL program dependence graphs, which were created according to the characteristics of BPEL. The results of case analysis prove that the technique based on BPEL program dependence graphs can obtain more complete slices, and thus giving software engineers more help to test, debug and maintain BPEL programs.

Key words: Web service composition, BPEL program dependence graph, Static program slicing, Asyn-invocation dependence

中图分类号:

TP311.5

王洪达邢建春宋巍杨启亮. 基于程序依赖图的静态BPEL程序切片技术[J]. 计算机应用, 2012, 32(08): 2338-2341.

WANG Hong-da XING Jian-chun SONG Wei YANG Qi-liang. Static BPEL program slicing technique based on BPEL program dependence graphs[J]. Journal of Computer Applications, 2012, 32(08): 2338-2341.

参考文献

[1]吕建, 马晓星, 陶先平, 等. 网构软件的研究与进展[J].中国科学E辑, 2006, 36(10): 1037-1080. [2]宋巍，唐金辉，张功萱，等. WS-BPEL 服务可替换性分析[J].中国科学:信息科学, 2012,42(3): 264-279. [3]OASIS Web Services Business Process Execution Language. Web services business process execution language version 2.0 [EB/OL]. [2011-12-06]. http://docs.oasis-open.org/wsbpel/2.0/CS01/wsbpel-v2.0-CS01.pdf. [4]LI L, CHOU W, GUO W P. Control flow analysis and coverage driven testing for Web services [C]// ICWS '08: Proceedings of the 2008 IEEE International Conference on Web Services. Piscataway: IEEE, 2008: 473-480. [5]LI L,CHOU W,GUO W P.An abstract GFSM model for optimal and incremental conformance testing of Web services [C]// ICWS '09: Proceedings of the IEEE International Conference on Web Services. Piscataway: IEEE, 2009: 205-212. [6]YUAN YUAN, LI ZHONGJIE, SUN WEI. A graph-search based approach to BPEL4WS test generation [C]// International Conference on Software Engineering Advances. Piscataway: IEEE, 2006: 205-212. [7]RAY M, KUMAWAT K I, MOHAPATRA D P. Source code prioritization using forward slicing for exposing critical elements in a program [J].Journal of Computer Science and Technology, 2011, 26(2): 314-327. [8]李必信. 程序切片技术及其应用[M]. 北京：科学出版社，2006. [9]LARSEN L, HARROLD M J. Slicing object-oriented software [C]// ICSE '96: Proceedings of the 18th International Conference on Software Engineering. Washington, DC: IEEE Computer Society, 2006: 495-505. [10]ZHAO JIANJUN, CHENG JINGDE, USHIJIM K. Static slicing of concurrent object-oriented programs [C]// COMPSAC '96: Proceedings of the 20th Conference on Computer Software and Applications. Washington, DC: IEEE Computer Society, 2006: 312-320. [11]NANDA M G, CHANDRA S, SARKAR V. Decentralizing execution of composite Web services [C]// OOPSLA '04: Proceedings of the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications. New York: ACM, 2004: 170-187. [12]FERRANTE J, OTTENSTEIN K J, WARREN J D. The program dependence graph and its use in optimization [J].ACM Transactions on Programming Languages and Systems, 1987, 9(3): 319-349. [13]SONG WEI, MA XIAOXING, CHEUNG S C, et al. Refactoring and publishing WS-BPEL processes to obtain more partners [C]// IEEE International Conference on Web Services. Piscataway: IEEE, 2011: 129-136. [14]MAO CHENGYING. Slicing Web service-based software [C]// IEEE International Conference on Service-Oriented Computing and Applications. Piscataway: IEEE, 2009: 1-8. [15]YAN J, LI ZHONGJIE, YUAN YUAN, et al. BPEL4WS unit testing: Test case generation using a concurrent path analysis approach [C]// ISSRE '06: 17th International Symposium on Software Reliability Engineering. Piscataway: IEEE, 2006: 75-84. [16]KEUM C, KANG S, KO I-Y, et al. Generating test cases for Web services using extended finite state machine [C]// TestCom'06: Proceedings of the 18th IFIP TC6/WG6.1 International Conference on Testing of Communicating Systems. Berlin: Springer-Verlag, 2006: 103-117.

基于程序依赖图的静态BPEL程序切片技术

Static BPEL program slicing technique based on BPEL program dependence graphs

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 13

编辑推荐

Metrics

[1]	田强夏永滢付晓东李昌志王威. 基于成本效益系数的Web服务组合可靠性优化方法[J]. 计算机应用, 2014, 34(3): 683-689.
[2]	王威付晓东夏永滢田强李昌志. Web服务组合评分分配方法[J]. 计算机应用, 2013, 33(11): 3252-3256.
[3]	邓式阳杜玉越. 基于服务簇和QoS的Web服务组合方法[J]. 计算机应用, 2013, 33(08): 2167-2170.
[4]	李兴芳苑迎春王克俭. 基于拓扑序列归约的Web服务组合QoS度量算法[J]. 计算机应用, 2012, 32(05): 1432-1435.
[5]	李劲张华吴浩雄向军. Web服务组合行为一致性的形式化描述和分析[J]. 计算机应用, 2012, 32(02): 545-550.
[6]	冯兴杰王辉许亚娟. 基于有向层次图的Web服务自动组合方法[J]. 计算机应用, 2011, 31(02): 568-571.
[7]	杨浩徐晖张瀛. 基于服务关系统计的多粒度服务组合方法[J]. 计算机应用, 2010, 30(2): 380-384.
[8]	胡佳冯志勇. 一种基于抽象模板的语义Web服务组合框架[J]. 计算机应用, 2009, 29(11): 3150-3153.
[9]	龚小勇朱庆生武春岭. 基于位置矩阵QoS感知的Web服务组合研究[J]. 计算机应用, 2008, 28(8): 2170-2172.
[10]	付晓东邹平尚振宏姜瑛. 基于贝叶斯网络的Web服务组合故障诊断[J]. 计算机应用, 2008, 28(5): 1095-1097.
[11]	王力生眭聃何智华. 多Agent Web服务组合系统的设计[J]. 计算机应用, 2007, 27(9): 2209-2211.
[12]	陈红 . 基于参考网的Web服务组合模型[J]. 计算机应用, 2006, 26(12): 2823-2825.
[13]	周远长钟勇朱嘉鲁 . 基于移动Agent的Web服务组合执行框架设计[J]. 计算机应用, 2006, 26(10): 2294-2286.