Policy Specification: Meeting Changing Requirements without Breaking the System Design Contract

Linington, Peter F. (2006) Policy Specification: Meeting Changing Requirements without Breaking the System Design Contract. In: Almeida, J.P.A. and Linington, Peter F. and Tanaka, Akira and Wood, B., eds. EDOCW. IEEE Digital Library p. 37. ISBN 0-7695-2743-4. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

The full text of this publication is not available from this repository. (Contact us about this Publication)
Official URL


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 self-contained 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.

Item Type: Conference or workshop item (Paper)
Uncontrolled keywords: policy ODP
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Faculties > Science Technology and Medical Studies > School of Computing > Systems Architecture Group
Depositing User: Mark Wheadon
Date Deposited: 24 Nov 2008 18:03
Last Modified: 18 Jul 2014 09:22
Resource URI: https://kar.kent.ac.uk/id/eprint/14400 (The current URI for this page, for reference purposes)
  • Depositors only (login required):