Anderson, P

Gordon, A D

Hewson, J A

English

Declarative, object-oriented configuration management systems are widely used by system administrators. Recently, logical constraints have been added to such systems to facilitate the automatic generation of configurations. However, there is no facility for reasoning about subsequent reconfigurations, such as those needed in an autonomic configuration system. In this paper we develop a number of language primitives, which facilitate not only one-off configuration tasks, but also subsequent reconfigurations in which the previous state of the system is taken into account. We show how it can be directly integrated into a declarative language, and assess its impact on performance

Edinburgh Research Explorer

A declarative approach to automated conﬁguration,”

A graph based architectural (re)conﬁguration language,”

A logic-based infrastructure for reconﬁguring applications,” in Declarative Agent Languages and Technologies, ser.

Alloy: a lightweight object modelling notation,”

Automated generation of resource conﬁgurations through policies,”

Bin repacking scheduling in virtualized datacenters,”

Building autonomic systems via conﬁguration,” in

Cauldron: A policybased design tool,”

CFEngine: a site conﬁguration engine,”

Common information model (CIM) standards.

Dependable selfhosting distributed systems using constraints,”

Deployment and dynamic reconﬁguration planning for distributed software systems,”

Dynamic software updating,”

Engage: a deployment management system,”

Gecode: Genetic constraint development environment. Available from http://www.gecode.org.

Google ROADEF/EURO challenge 2011-2012:

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

Network conﬁguration management via model ﬁnding,”

SmartFrog meets LCFG: Autonomous reconﬁguration with central policy control,”

The SmartFrog conﬁguration management framework,”

Constraint-based Autonomic Reconfiguration

Constraint-based Autonomic Reconfiguration

Abstract

Similar works

Full text

Available Versions

Edinburgh Research Explorer