About
4
Publications
913
Reads
How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
76
Citations
Introduction
Additional affiliations
September 2009 - November 2013
Education
September 2009 - November 2013
September 2008 - August 2009
September 2002 - September 2006
Publications
Publications (4)
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 configurat...
System administrators increasingly use declarative,
object-oriented languages to configure their systems.
Extending such systems with automated analysis and
decision making is an area of active research. We introduce
ConfSolve, an object-oriented declarative con-
figuration language, in which logical constraints over a
system can be specified. Veri...
Declarative, 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....
System administrators increasingly use declarative, object-oriented languages to configure their systems. Introducing constraints to such a language and automatically generating a valid system configura-tion is an area of active research. We describe our work towards creating ConfSolve, an object-oriented configuration language which can describe c...