Static inter-BPEL program slicing for web services Online publication date: Sat, 15-Nov-2014
by Chengying Mao
International Journal of Simulation and Process Modelling (IJSPM), Vol. 7, No. 3, 2012
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.
Online publication date: Sat, 15-Nov-2014
If you are not a subscriber and you just want to read the full contents of this article, buy online access here.Complimentary Subscribers, Editors or Members of the Editorial Board of the International Journal of Simulation and Process Modelling (IJSPM):
Login with your Inderscience username and password:
Want to subscribe?
A subscription gives you complete access to all articles in the current issue, as well as to all articles in the previous three years (where applicable). See our Orders page to subscribe.
If you still need assistance, please email email@example.com