Abstract
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.
| Original language | English |
|---|---|
| Title of host publication | The 10th International Workshop on Constraint Modelling and Reformulation (ModRef 2011) |
| Pages | 73-82 |
| Number of pages | 10 |
| Publication status | Published - 1 Sept 2011 |