Tuesday 2 September 2014

9:15-10:30 Keynote (in main conference)
  Cirrus Clouds: From TOSCA landscapes to the Foundry – A walkthrough
​Simon Moser (IBM)
10:30-11:00 Coffee break
11:00-12:30 Session 1: Towards the Multi-Cloud Ecosystem
Chair: Alessandro Rossini
  Towards a Model-based Execution Ware for Deploying Multi-Cloud Applications
Daniel Baur, Stefan Wesner and Jörg Domaschka
A Development Framework Enabling the Design of Service-Based Cloud Applications
Fotis Gonidis, Iraklis Paraskakis and Anthony J. H. Simons
Cloud Computing Reduces Uncertainties in Quality-of-Service Matching
Matthias Becker, Marie Christin Platenius, and Steffen Becker
12:30-14:00 Lunch break
14:00-15:30 Session 2: Service Composition – Verification and Testing
Chair: Iraklis Paraskakis
  Contract Design for Composed Services in a Cloud Computing Environment
Sonja Brangewitz, Claus-Jochen Haake, and Jochen Manegold
X-Machine Based Testing for Cloud Services
Raluca Lefticaru and Anthony J. H. Simons
Model based testing for Composite Web Services in Cloud Brokerage Scenarios
Mariam Kiran and Anthony J. H. Simons
15:30-16:00 Coffee break
16:00-17:30 Session 3: Service Description – Rules and Reasoning
Chair: Anthony J. H. Simons
  Towards a Generic Language for Scalability Rules
Jörg Domaschka, Kiriakos Kritikos and Alessandro Rossini
Linked USDL Business Policy Specifications as WS-Agreement Templates
Ioannis Arampatzis, Simeon Veloudis and Iraklis Paraskakis
Derivation of Broker Policies from Cloud Hosting Platform Service Descriptions
Andreas Friesen, Simeon Veloudis and Iraklis Paraskakis
17:30-18:00 Free time
18:00-20:00 Welcome reception (Manchester Museum)