From DAML-S processes to BPEL4WS | IEEE Conference Publication | IEEE Xplore