Show simple item record

dc.contributor.advisorAnderson, Paul
dc.contributor.advisorGordon, Andrew
dc.contributor.authorHewson, John Aubrey
dc.date.accessioned2013-12-11T09:21:44Z
dc.date.available2013-12-11T09:21:44Z
dc.date.issued2013-11-28
dc.identifier.urihttp://hdl.handle.net/1842/8267
dc.description.abstractDeclarative, object-oriented configuration management systems are widely used, and there is a desire to extend such systems with automated analysis and decision-making. This thesis introduces a new formulation for configuration management problems based on the tools and techniques of constraint programming, which enables automated decision-making. We present ConfSolve, an object-oriented declarative configuration language, in which logical constraints on a system can be specified. Verification, impact analysis, and the generation of valid configurations can then be performed. This is achieved via translation to the MiniZinc constraint programming language, which is in turn solved via the Gecode constraint solver. We formally define the syntax, type system, and semantics of ConfSolve, in order to provide it with a rigorous foundation. Additionally we show that our implementation outperforms previous work, which utilised an SMT solver, while adding new features such as optimisation. We next develop an extension of the ConfSolve language, which facilitates not only one-off configuration tasks, but also subsequent re-configurations in which the previous state of the system is taken into account. In a practical setting one does not wish for a re-configuration to deviate too far from the existing state, unless the benefits are substantial. Re-configuration is of crucial importance if automated configuration systems are to gain industry adoption. We present a novel approach to incorporating state-change into ConfSolve while remaining declarative and providing acceptable performance.en_US
dc.contributor.sponsorMicrosoft Researchen_US
dc.language.isoenen_US
dc.publisherThe University of Edinburghen_US
dc.relation.hasversionJ. A. Hewson and P. Anderson and A. D. Gordon. Constraint-Based Autonomic Reconfiguration. In Proceedings of the Seventh IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2013), 2013.en_US
dc.relation.hasversionJ. A. Hewson and P. Anderson and A. D. Gordon. A Declarative Approach to Automated Configuration. In Proceedings of the 26th Large Installation System Administration Conference (LISA’12), 2012.en_US
dc.relation.hasversionJ. A. Hewson and P. Anderson. Modelling System Administration Problems with CSPs. In Proceedings of the 10th International Workshop on Constraint Modelling and Reformulation (ModRef’11), pages 73–82, 2011.en_US
dc.subjectconstraint satisfactionen_US
dc.subjectsystem configurationen_US
dc.subjectprogramming languagesen_US
dc.titleConstraint-based specifications for system configurationen_US
dc.typeThesis or Dissertationen_US
dc.type.qualificationlevelDoctoralen_US
dc.type.qualificationnamePhD Doctor of Philosophyen_US


Files in this item

This item appears in the following Collection(s)

Show simple item record