IT industry and research institutions are exploring business process management (BPM) systems and implementing them as Web services. Business Process Execution Language for Web Services (BPEL4WS, BPEL for short) [1] is an XML standard to rep