John A. Hewson

John A. Hewson
Inkwell, LLC

PhD, MSc, BEng

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
Additional affiliations
September 2009 - November 2013
University of Edinburgh
Position
  • PhD Student
Education
September 2009 - November 2013
University of Edinburgh
Field of study
  • Informatics
September 2008 - August 2009
The University of Manchester
Field of study
  • Bioinformatics
September 2002 - September 2006
The University of Manchester
Field of study
  • Software Engineering

Publications

Publications (4)
Conference Paper
Full-text available
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...
Conference Paper
Full-text available
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...
Thesis
Full-text available
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....
Conference Paper
Full-text available
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...

Network

Cited By