School of Computing

Policy specification: Meeting changing requirements without breaking the system design contract

Peter F. Linington

In Jo�o Paulo A. Almeida, Peter F. Linington, Akira Tanaka, and Bryan Wood, editors, Workshop on ODP for Enterprise Computing (WODPEC06), pages 182-196. IEEE Digital Library, October 2006.

Abstract

There has been a great deal of interest in recent years in the use of policies to simplify system management and to reduce costs. However, the major focus has been on the development of techniques with the greatest expressive power possible, generally viewing the policy authoring as a selfcontained activity performed by experts who understand the aims of and constraints on the system being managed.

A system is normally designed to meet agreed requirements and objectives, which can be seen as constituting a design contract for the system. The aim in introducing policies should be to allow flexibility to meet changing circumstances without violating the guarantees given by this contract. This paper looks at policy specification as a step in the incremental design of systems and examines how policies need to be constrained in order to preserve the over all design objectives for the system being managed. It proposes a specification architecture for policies, discusses how it might be used, and considers how well-suited some existing specification languages and tools are to supporting this architecture.

Bibtex Record

@inproceedings{2446,
author = {Linington, Peter F.},
title = {Policy Specification: Meeting Changing Requirements without Breaking the System Design Contract},
month = {October},
year = {2006},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2006/2446},
    publication_type = {inproceedings},
    submission_id = {9223_1162298294},
    booktitle = {Workshop on ODP for Enterprise Computing (WODPEC06)},
    editor = {Jo�o Paulo A. Almeida and Peter F. Linington and Akira Tanaka and Bryan Wood},
    publisher = {IEEE Digital Library},
    refereed = {Yes},
}

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014