A Declarative Approach to Automated Configuration

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


System administrators increasingly use declarative, object-oriented languages to configure their systems. Extending such systems with automated analysis and
decision making is an area of active research. We introduce ConfSolve, an object-oriented declarative configuration language, in which logical constraints over a
system can be specified. Verification, impact analysis or even the generation of valid configurations can then be performed, by translation to a Constraint Satisfaction Problem (CSP), which is solved with an off-the-shelf solver. We present a full definition of our language and its compilation process, and show that our implementation outperforms previous work utilising an SMT solver, while adding new features such as optimisation.
Original languageEnglish
Title of host publicationProceedings of the 2012 LISA Conference
PublisherUSENIX Association
Publication statusPublished - 2012


Dive into the research topics of 'A Declarative Approach to Automated Configuration'. Together they form a unique fingerprint.

Cite this