Using Formal Methods for the Analysis and Refinement of Policies
This event took place on Monday 24 April 2006 at 10:00
Dr. Arosha Bandara Imperial College London
Policy-based approaches to systems management are gaining widespread interest because they allow the separation of the rules that govern the behavioural choices of a system from the functionality provided by that system. In order to deploy policy based management in enterprise systems, it is important to be able to analyse policies to ensure consistency and to ensure that key properties are preserved in the configuration of a managed system. Although many policy languages have been proposed in the literature, the need for policy analysis techniques has not been adequately addressed. Additionally, it is important that system administrators have support for transforming the high-level goals they wish to achieve into concrete policies that can be enforced by the system. This process is called policy refinement and is another area of policy based systems research had been largely ignored in previous work.
In this seminar I will present my research on developing an integrated approach to policy analysis and refinement that is based on the application of formal reasoning techniques. Recognising the importance of being able to analyse policies in the presence of constraints that control their applicability, the method uses a formal representation of policies and managed systems, together with abductive reasoning techniques, to not only detect the presence of conflicts but generate explanations of the circumstances in which a conflict might arise. Additionally, the approach supports policy refinement based on goal elaboration techniques developed for requirements engineering. Since the refinement process requires expertise of the application domain, the technique uses the idea of refinement patterns to allow refinement results to be reused by non-expert users.
I conclude by discussing my ongoing research on the use of other formal reasoning frameworks, such as argumentation and preference logic, to provide enhanced analysis and refinement capabilities.
Download PowerPoint presentation (24.5Mb ZIP file)
This event took place on Monday 24 April 2006 at 10:00
Policy-based approaches to systems management are gaining widespread interest because they allow the separation of the rules that govern the behavioural choices of a system from the functionality provided by that system. In order to deploy policy based management in enterprise systems, it is important to be able to analyse policies to ensure consistency and to ensure that key properties are preserved in the configuration of a managed system. Although many policy languages have been proposed in the literature, the need for policy analysis techniques has not been adequately addressed. Additionally, it is important that system administrators have support for transforming the high-level goals they wish to achieve into concrete policies that can be enforced by the system. This process is called policy refinement and is another area of policy based systems research had been largely ignored in previous work.
In this seminar I will present my research on developing an integrated approach to policy analysis and refinement that is based on the application of formal reasoning techniques. Recognising the importance of being able to analyse policies in the presence of constraints that control their applicability, the method uses a formal representation of policies and managed systems, together with abductive reasoning techniques, to not only detect the presence of conflicts but generate explanations of the circumstances in which a conflict might arise. Additionally, the approach supports policy refinement based on goal elaboration techniques developed for requirements engineering. Since the refinement process requires expertise of the application domain, the technique uses the idea of refinement patterns to allow refinement results to be reused by non-expert users.
I conclude by discussing my ongoing research on the use of other formal reasoning frameworks, such as argumentation and preference logic, to provide enhanced analysis and refinement capabilities.
Download PowerPoint presentation (24.5Mb ZIP file)
Future Internet
KnowledgeManagementMultimedia &
Information SystemsNarrative
HypermediaNew Media SystemsSemantic Web &
Knowledge ServicesSocial Software
Multimedia and Information Systems is...
We focus on content-based information retrieval over a wide range of data spanning form unstructured text and unlabelled images over spoken documents and music to videos. This encompasses the modelling of human perception of relevance and similarity, the learning from user actions and the up-to-date presentation of information. Currently we are building a research version of an integrated multimedia information retrieval system MIR to be used as a research prototype. We aim for a system that understands the user's information need and successfully links it to the appropriate information sources, be it a report or a TV news clip. This work is guided by the vision that an automated knowledge extraction system ultimately empowers people making efficient use of information sources without the burden of filing data into specialised databases.
Visit the MMIS website
List all Multimedia and Information Systems Projects
Check out these Hot Multimedia and Information Systems Technologies:
List all Multimedia and Information Systems Technologies
