Anderson, Paul

Hewson, John

English

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

Edinburgh Research Explorer

Cauldron: A policy-based design tool. In:

Declarative infrastructure conﬁguration synthesis and debugging.

Gecode: Genetic constraint development environment

MiniZinc: Towards a standard CP modelling language.

Semantic Subtyping with an SMT Solver (2010), http://research.microsoft.com/en-us/um/people/adg/Publications/ dminor.pdf2.

The SmartFrog conﬁguration management framework.

Modelling System Administration Problems with CSPs

Modelling System Administration Problems with CSPs

Abstract

Similar works

Full text

Available Versions

Edinburgh Research Explorer