The efficiency and performance of cloud-based services can be boosted by moving deployment decisions up the development chain. Resource-aware services give the client application better control of the resource usage on the cloud, in order to meet SLAs at lower cost.

Formal methods, executable models, and deployment modeling are ingredients which can make this vision happen. A concrete realization of these ideas are being implemented for the ABS modelling language.