Imperial College London
Portrait Picture

Professor Emil Lupu

Faculty of Engineering, Department of Computing

Professor of Computer Systems
 
 
 
//

Contact

 

e.c.lupu Website

 
 
//

Location

 

564Huxley BuildingSouth Kensington Campus

//

Summary

 

Publications

Citation

BibTex format

@techreport{Kakas:2005:10.25561/95483,
author = {Kakas, A and Bandara, AK and Russo, A and Lupu, EC and Sloman, M and Dulay, N},
booktitle = {Departmental Technical Report: 05/7},
doi = {10.25561/95483},
publisher = {Department of Computing, Imperial College London},
title = {Reasoning techniques for analysis and refinement of policies for service management},
url = {http://dx.doi.org/10.25561/95483},
year = {2005}
}
Download

RIS format (EndNote, RefMan)

TY  - RPRT
AB  - The work described in this technical report falls under the general problem of developingmethods that would allow us to engineer software systems that are reliable and would offer acertain acceptable level of quality in their operation. This report shows how the analysis andrefinement of policies for Quality of Service can be carried out within logic by exploiting formsof abductive and argumentative reasoning. In particular, it provides two main contributions. Thefirst is an extension of earlier work on the use of abductive reasoning for automatic policyrefinement by exploiting the use of integrity constraints within abduction and its integration withconstraint solving. This has allowed us to enhance this refinement process in various ways, e.g.supporting parameter values derivation to quantify abstract refinement to specific policies readyto be put in operation, and calculating utility values to determine optimal refined policies. Thesecond contribution is a new approach for modelling and formulating Quality of Service policies,and more general policies for software requirements, as preference policies within logicalframeworks of argumentation. This is shown to be a flexible and declarative approach to theanalysis of such policies through high-level semantic queries of argumentation, demonstratedhere for the particular case of network firewall policies where the logical framework ofargumentation allows us to detect anomalies in the firewalls and facilitates the process of theirresolution. To our knowledge this is the first time that the link between argumentation and thespecification and analysis of requirement policies has been studied.
AU  - Kakas,A
AU  - Bandara,AK
AU  - Russo,A
AU  - Lupu,EC
AU  - Sloman,M
AU  - Dulay,N
DO  - 10.25561/95483
PB  - Department of Computing, Imperial College London
PY  - 2005///
TI  - Reasoning techniques for analysis and refinement of policies for service management
T1  - Departmental Technical Report: 05/7
UR  - http://dx.doi.org/10.25561/95483
UR  - http://hdl.handle.net/10044/1/95483
ER  -
Download