Dynamic Constraint Solving to Support Self-Configuration in CVM

Autonomic behavior (self-*) are important properties for enhancing reliability, consistency and manageability in collaborative communication such as CVM. In the case of self-configuration, this includes replacing, re-initializing, removing and introducing service components at runtime.

This presents the challenge of managing the combinatorial explosion of possible configurations especially at runtime where the potential for unknown variability exists. Selection techniques solely based on comparisons can quickly become intractable therefore, approaches for selection that scale well are needed.