Semantic Representation of Cloud Patterns and Services with Automated Reasoning to Support Cloud Application Portability | IEEE Journals & Magazine | IEEE Xplore