Deploying Large-Scale Service Compositions on the Cloud with the CHOReOS Enactment Engine | IEEE Conference Publication | IEEE Xplore