关键词: BPEL4WS 服务组合 控制流 控制依赖 控制冲突

Abstract:

The service composition specification language BPEL4WS, which was proposed by IBM, Microsoft and BEA, is the state-of-the -art industrial standard. Ba sed on the analysis of control flow, the conception of control dependency relation in BPEL4WS is proposed. An efficient algorithm with the time complexi  ty of O（N2 ） is presented for generating the control dependency relation graph. Finally, based on the control dependency relation graph, the paper dis    scusses how to detect control conflicts in BPEL4WS and how to optimize the runtime performance of BPEL4WS.

Key words: BPEL4WS, service composition, control flow, control dependency, control conflict