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.
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 *