The workflow hypervisor