Towards Runtime Migration of WS-BPEL Processes · Study