A distributed execution environment for large-scale workflow management systems with subnets and server migration | IEEE Conference Publication | IEEE Xplore