Abstract The management of modern enterprise applications is automated by coordinating the deployment, configuration, enactment, and termination their components. Choosing among different candidate implementations for a specified application component requires such to conform behaviour. This holds especially if we wish ensure that overall can continue as planned, or no additional (potentially u...