A Distributed Execution Environment for Large-Scale Workflow Management Systems with Subnets and Server Migration