System administrators increasingly use declarative, object-oriented languages to configure their systems. Introducing constraints to such a language and automatically generating a valid system configuration is an area of active research. We describe our work towards creating ConfSolve, an object-oriented configuration language which can describe constraints over valid configurations, solution of which is provided by compilation into a CSP. We evaluate our solution against a simple virtual machine allocation problem, with promising results for automating Infrastructure as a Service (IaaS) systems.
|Title of host publication||The 10th International Workshop on Constraint Modelling and Reformulation (ModRef 2011)|
|Number of pages||10|
|Publication status||Published - 1 Sep 2011|