Formal specification and validation of refinement from WS-CDL to BPEL | IEEE Conference Publication | IEEE Xplore