Anderson, Paul

Gordon, Andrew D

Hewson, John A

English

System administrators increasingly use declarative, object-oriented languages to configure their systems. Extending such systems with automated analysis anddecision making is an area of active research. We introduce ConfSolve, an object-oriented declarative configuration language, in which logical constraints over asystem 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

Edinburgh Research Explorer

About VeriFun. In:

Alloy: a lightweight object modelling notation.

andwhatcanbedone about it? In:

Available from http: //www.puppetlabs.com/puppet/.[3]

Building autonomic systems via conﬁguration. In:

Cauldron: A policy-based design tool. In:

Cfengine: a site conﬁguration engine.

Declarative infrastructure conﬁguration synthesis and debugging.

Dependable self-hosting distributed systems using constraints. In:

Gecode: Genetic constraint development environment

It’s elementary, dear Watson: applying logic programming to convergent system management processes. In:

Kodkod: A relational model ﬁnder. Tools and Algorithms for the Construction and Analysis of Systems

Localsolver 1.x: a black-box localsearch solver for 0-1 programming. 4OR: A Quarterly

Memory-efﬁcient inference in relational domains. In:

MiniZinc: Towards a standard CP modelling language. In:

Modelling system administration problems with CSPs. In:

Network conﬁguration management via model ﬁnding. In:

On the pursuit of a standard language for object-oriented constraint modeling.

PoDIM: A language for high-level conﬁguration management. In:

Task Force Inc.: Common information model (CIM) standards (2010) Available from http://www.dmtf.org/standards/cim/.

The Ponder policy speciﬁcation language. In:

A Declarative Approach to Automated Configuration

A Declarative Approach to Automated Configuration

Abstract

Similar works

Full text

Available Versions

Edinburgh Research Explorer