Composability Verification of Multi-Service Workflows in a Policy-Driven Cloud Computing Environment | IEEE Journals & Magazine | IEEE Xplore