Modelling System Administration Problems with CSPs

John Hewson, Paul Anderson

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract / Description of output

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 languageEnglish
Title of host publicationThe 10th International Workshop on Constraint Modelling and Reformulation (ModRef 2011)
Number of pages10
Publication statusPublished - 1 Sept 2011


Dive into the research topics of 'Modelling System Administration Problems with CSPs'. Together they form a unique fingerprint.

Cite this