Static inter-BPEL program slicing for web services. (1st January 2012)

• Record Type: Journal Article
• Authors: Mao, Chengying
• Is Part Of: International journal of simulation and process modelling. Volume 7:Number 3(2012)
• Page Start: 204
• Page End: 216
• Publication Date: 2012-01-01
• Subjects: web services -- BPEL -- SCFG -- ISCFG -- dependence analysis -- BPEL Program Dependence Graph -- BPDG -- slicing algorithm; Management -- Computer simulation -- Periodicals; Mathematical models -- Periodicals; Operations research -- Periodicals; Simulation methods -- Periodicals; 003.05
• Languages: English
• ISSNs: 1740-2123

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.