The Open UniversitySkip to content

A Goal-based Approach to Policy Refinement

Bandara, Arosha; Lupu, Emil C; Moffett, Jonathan and Russo, Alessandra (2004). A Goal-based Approach to Policy Refinement. In: 5th IEEE International Workshop on Policies for Distributed Systems and Networks, 7-9 Jun 2004, Yorktown Heights, USA.

Full text available as:
PDF (Not Set) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
Download (527Kb)
DOI (Digital Object Identifier) Link:
Google Scholar: Look up in Google Scholar


As the interest in using policy-based approaches for systems management grows, it is becoming increasingly important to develop methods for performing analysis and refinement of policy specifications. Although this is an area that researchers have devoted some attention to, none of the proposed solutions address the issue of deriving implementable policies from high-level goals. A key part of the solution to this problem is having the ability to identify the operations, available on the underlying system, which can achieve a given goal. This work presents an approach by which a formal representation of a system, based on the event calculus, can be used in conjunction with abductive reasoning techniques to derive the sequence of operations that will allow a given system to achieve a desired goal. Additionally it outlines how this technique might be used for providing tool support and partial automation for policy refinement. Building on previous work on using formal techniques for policy analysis, the approach presented here applies a transformation of both policy and system behaviour specifications into a formal notation that is based on event calculus. Finally, it shows how the overall process could be used in conjunction with UML modelling and illustrates this by means of an example.

Item Type: Conference Item
Extra Information: Abstract and article (C) IEEE.
Keywords: policy refinement; refinement patterns
Academic Unit/Department: Mathematics, Computing and Technology > Computing & Communications
Interdisciplinary Research Centre: Centre for Research in Computing (CRC)
Item ID: 6892
Depositing User: Arosha Bandara
Date Deposited: 21 Mar 2007
Last Modified: 05 Dec 2010 06:31
Share this page:


Scopus Citations

Actions (login may be required)

View Item
Report issue / request change

Policies | Disclaimer

© The Open University   + 44 (0)870 333 4340