| 6892 |
Creator |
e0b7fd620a538ed1e211c81a48d5a5fd |
| 6892 |
Creator |
ext-1b3913d9c89f4cd9953a7fb37774cbb3 |
| 6892 |
Creator |
ext-43619af20c142233d6882df90e2b79eb |
| 6892 |
Creator |
ext-6709a8335b96eeef31a283556d656215 |
| 6892 |
Date |
2004-06-07 |
| 6892 |
Is Part Of |
repository |
| 6892 |
abstract |
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. |
| 6892 |
authorList |
authors |
| 6892 |
presentedAt |
ext-0a91d39dde27009b32c16ce65774b0d9 |
| 6892 |
status |
peerReviewed |
| 6892 |
uri |
http://data.open.ac.uk/oro/document/12622 |
| 6892 |
uri |
http://data.open.ac.uk/oro/document/12625 |
| 6892 |
uri |
http://data.open.ac.uk/oro/document/622 |
| 6892 |
uri |
http://data.open.ac.uk/oro/document/7744 |
| 6892 |
type |
AcademicArticle |
| 6892 |
type |
Article |
| 6892 |
label |
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. |
| 6892 |
label |
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. |
| 6892 |
Title |
A Goal-based Approach to Policy Refinement |
| 6892 |
in dataset |
oro |