Analysis of BPEL4WS Using the Control Dependency Relation Algorithm
XU Jie-pan · Computer Engineering and Science · 2008
The service composition specification language BPEL4WS,which was proposed by IBM,Microsoft and BEA,is the state-of-the-art industrial standard.Based on the analysis of control flow,the conception of control dependency relation in BPEL4WS is proposed.An efficient algorithm with the time complexity of O(N2)is presented for generating the control dependency relation graph.Finally,based on the control dependency relation graph,the paper discusses how to detect control conflicts in BPEL4WS and how to optimize the runtime performance of BPEL4WS.