Exploiting Cloud and Workflow Patterns for the Analysis of Composite Cloud Services