Migration Validity of WS-BPEL Instances Revisited | IEEE Conference Publication | IEEE Xplore