Abstract:
Declarative, object-oriented configuration management systems are widely used by system administrators. Recently, logical constraints have been added to such systems to f...Show MoreMetadata
Abstract:
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.
Date of Conference: 09-13 September 2013
Date Added to IEEE Xplore: 02 December 2013
Electronic ISBN:978-0-7695-5129-6