Transformation algorithms between BPEL4WS and BPML for the executable business process | IEEE Conference Publication | IEEE Xplore