From Business Process Models to Cloud Deployment: A Semantic Approach | IEEE Conference Publication | IEEE Xplore