Context
One of the key problems in the domain of cloud computing is the correct management of (re)configurations. Indeed, cloud applications are complex concurrent software systems that are further subject to the constraints imposed by the underlying cloud platforms. They must be capable of self-adaptation while ensuring correctness in spite of subtle dependencies both among the software components, and between components and the resources provided by the platforms.