Modeling and Analysis of the Execution Context in WS-BPEL | IEEE Conference Publication | IEEE Xplore