A Model Profile for Pattern-Based Definition and Verification of Composite Cloud Services.