I Introduction
An essential part of the software life cycle is to deploy software to its target environment. In a cloud-based, infrastructure-as-a-service setting, this also involves provisioning the cloud resources that constitute the target environment. These actions should be automated: given a specification of the desired system configuration, a deployment tool should automatically create the required cloud resources and deploy the necessary software packages and configuration files.
+
+
+
+
+
+
+
+
+