From Abstract to Executable BPEL Processes with Continuity Support | IEEE Conference Publication | IEEE Xplore