Title: Static inter-BPEL program slicing for web services

Authors: Chengying Mao

Addresses: School of Software and Communication Engineering, Jiangxi University of Finance and Economics, Nanchang, Jiangxi Province, 330013, China; The State Key Laboratory of Software Engineering, Wuhan University, Wuhan, Hubei Province, 430072, China

Abstract: Analysis and maintenance of BPEL programs play a vital role in assuring the quality of Web service software. In the paper, the concept of inter-service control flow graph (ISCFG) is proposed to represent the interaction behaviours between service units. Meanwhile, the traditional data flow analysis is extended to handle combinatorial structure of variables in BPEL program. Then, a method for constructing BPEL program dependence graph (BPDG) is addressed according to the above control and data dependence representations. Finally, a static inter-BPEL program slicing algorithm for Web service compositions is proposed, and has been validated via a real-world Web service application.

Keywords: web services; SCFG; ISCFG; dependence analysis; BPEL program dependence graph; BPDG; slicing algorithms; web service software; inter-service control flow graphs; data flow analysis.

DOI: 10.1504/IJSPM.2012.049152

International Journal of Simulation and Process Modelling, 2012 Vol.7 No.3, pp.204 - 216

Received: 11 Nov 2010
Accepted: 02 Feb 2011

Published online: 15 Nov 2014 *

Full-text access for editors Full-text access for subscribers Purchase this article Comment on this article