Publications
255 results found
Charalambides M, Flegkas P, Pavlou G, et al., 2006, Dynamic Policy Analysis and Conflict Resolution for DiffServ Quality of Service Management (2006), IFIP/IEEE Network Operations and Management Symposium (NOMS 2006), Publisher: IEEE Computer Society
Bandara A, Lupu EC, Russo A, et al., 2006, Policy refinement for IP differentiated services Quality of Service management, IEEE Transactions on Network and Service Management, Vol: 3, Pages: 2-13, ISSN: 1932-4537
Policy-based management provides the ability to dynamically re-configure DiffServ networks such that desired Quality of Service (QoS) goals are achieved. This includes network provisioning decisions, performing admission control, and adapting bandwidth allocation dynamically. QoS management aims to satisfy the Service Level Agreements (SLAs) contracted by the provider and therefore QoS policies are derived from SLA specifications and the provider's business goals. This policy refinement is usually performed manually with no means of verifying that the policies written are supported by the network devices and actually achieve the desired QoS goals. Tool support is lacking and policy refinement has rarely been addressed in the literature. This paper extends our previous approach to policy refinement and shows how to apply it to the domain of DiffServ QoS management. We make use of goal elaboration and abductive reasoning to derive strategies that will achieve a given high-level goal. By combining these strategies with events and constraints, we show how policies can be refined, and what tool support can be provided for the refinement process using examples from the QoS management domain. The approach presented here can be used in other application domains such as storage area networks or security management.
Charalambides M, Flegkas P, Pavlou G, et al., 2006, Dynamic Policy Analysis and Conflict Resolution for DiffServ Quality of Service Management (2006), IFIP/IEEE Network Operations and Management Symposium (NOMS 2006), Publisher: IEEE Computer Society
Bandara AK, Kakas A, Lupu EC, et al., 2006, Using argumentation logic for firewall policy specification and analysis, 17th IFIP/IEEE International Workshop on Distributed Systems - Operations and Management (DSOM 2006), Publisher: SPRINGER-VERLAG BERLIN, Pages: 185-196, ISSN: 0302-9743
- Author Web Link
- Cite
- Citations: 29
Bandara A, Lupu EC, Russo A, et al., 2006, Policy Refinement for DiffServ Quality of Service Management (2006), e-Transactions on Network and Service Management, Vol: 2
Heaven W, Russo A, 2005, Enhancing the alloy analyzer with patterns of analysis
Formal techniques have been shown to be useful in the development of correct software. But the level of expertise required of practitioners of these techniques prohibits their widespread adoption. Formal techniques need to be tailored to the commercial software developer. Alloy is a lightweight specification language supported by the Alloy Analyzer (AA), a tool based on off-the-shelf SAT technology. The tool allows a user to check interactively whether given properties are consistent or valid with respect to a high-level specification, providing an environment in which the correctness of such a specification may be established. However, Alloy is not particularly suited to expressing program specifications and the feedback provided by AA can be misleading where the specification under analysis or the property being checked contains inconsistencies. In this paper, we address these two shortcomings. Firstly, we present a lightweight language called Loy, tailored to the specification of object-oriented programs. An encoding of Loy into Alloy is provided so that AA can be used for automated analysis of Loy program specifications. Secondly, we present some patterns of analysis that guide a developer through the analysis of a Loy specification in order to establish its correctness before implementation.
Heaven W, Russo A, 2005, Enhancing the Alloy Analyzer with Patterns of Analysis (2005), 15th International Workshop on Logic-based methods in Programming Environments (WLPE'05), Pages: 14-30
Charalambides M, Flegkas P, Pavlou G, et al., 2005, Policy Conflict Analysis for Quality of Service Management (2005), 6th IEEE Workshop on Policies for Distributed Systems and Networks (Policy 2005)
Charalambides M, Flegkas P, Pavlou G, et al., 2005, Policy Conflict Analysis for Quality of Service Management (2005), 6th IEEE Workshop on Policies for Distributed Systems and Networks (Policy 2005)
Bandara A, Lupu EC, Russo A, et al., 2005, Policy Refinement for DiffServ Quality of Service Management (2005), 9th IFIP/IEEE Intl. Symp. on Integrated Management (IM 2005)
Kakas A, Bandara AK, Russo A, et al., 2005, Reasoning techniques for analysis and refinement of policies for service management, Departmental Technical Report: 05/7, Publisher: Department of Computing, Imperial College London, 05/7
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.
Broda K, Russo A, 2005, Compiled Labelled Deductive Systems for Access Control (2005), We Will Show Them: Essays in Honour of Dov Gabbay, Publisher: College Publications, Pages: 309-338
Ray O, Broda K, Russo A, 2004, A hybrid abductive inductive proof procedure, Logic Journal of the IGPL, Vol: 12, Pages: 371-397, ISSN: 1367-0751
Rodrigues G, Garcez A, Russo A, 2004, Reasoning about Requirements Evolution using Cluster Belief Revision, Brazilian Symposium on Artificial Intelligence, Publisher: Springer-Verlag Berlin, ISSN: 0302-9743
Ray O, Broda K, Russo A, 2004, Generalised Kernel Set for Inverse Entailment, International Conference on Logic Programming, Publisher: Springer Verlag, Pages: 165-179
Broda K, Gabbay D, Lamb L, et al., 2004, Compiled labelled deductive systems: a uniform presentation of non-classical logics, Philadelphia, Penn, Publisher: Research Studies Press, ISBN: 9780863802966
Bandara A, Lupu E, Russo A, et al., 2004, A goal-based approach to policy refinement (2004), 5th IEEE international workshop on policies for distributed systems and networks (POLICY 2004), IBM T J Watson Res Lab, Yorktown Heights, NY, Publisher: IEEE Computer Soc
Bandara AK, Lupu EC, Moffett J, et al., 2004, A goal-based approach to policy refinement, Los Alamitos, 5th IEEE international workshop on policies for distributed systems and networks (POLICY 2004), IBM T J Watson Res Lab, Yorktown Heights, NY, Publisher: IEEE Computer Soc, Pages: 229-239
Ray O, Broda K, Russo A, 2004, Generalised kernel sets for Inverse Entailment, Berlin, 20th international conference on logic programming, St Malo, France, Publisher: Springer-Verlag, Pages: 165-179
Bandara AK, Lupu EC, Moffett J, et al., 2004, A goal-based approach to policy refinement, Los Alamitos, 5th IEEE international workshop on policies for distributed systems and networks (POLICY 2004), IBM T J Watson Res Lab, Yorktown Heights, NY, Publisher: IEEE Computer Soc, Pages: 229-239
Rodrigues O, Garcez AD, Russo A, 2004, Reasoning about requirements evolution using clustered belief revision, Berlin, 17th Brazilian symposium on artificial intelligence (SBIA 2004), Sao Luis, Brazil, Publisher: Springer-Verlag, Pages: 41-51
Rodrigues G, Russo A, Garcez A, 2003, Reasoning about Requirements Evolution using Clustered Belief Revision, ESEC/FSE International Workshop on Intelligent Technologies for Software Engineering, ISSN: 1364-4009
Bandara AK, Lupu EC, Russo A, 2003, Using event calculus to formalise policy speciflcation and analysis, Los Alamitos, 4th IEEE international workshop on policies for distributed systems and networks, Lake Como, Italy, 2003, Publisher: IEEE Computer Soc, Pages: 26-39
Garcez AS, Russo A, Nuseibeh B, et al., 2003, Combining abductive reasoning and inductive learning to evolve requirements specifications, IEE Proceedings - Software, Vol: 150, Pages: 25-38, ISSN: 1462-5970
Roe D, Broda K, Russo A, 2003, Mapping UML models incorporating OCL constraints into object-Z, Departmental Technical Report: 03/9, Publisher: Department of Computing, Imperial College London, 03/9
Focusing on object-oriented designs, this paper proposes a mappingfor translating systems modelled in the Unified Modelling Language (UML)incorporating Object Constraint Language (OCL) constraints into formalsoftware specifications in Object-Z. Joint treatment of semi-formal modelconstructs and constraints within a single translation framework and conversiontool is novel, and leads to the generation of much richer formal specificationsthan is otherwise possible. This paper complements previous analyses bypaying particular attention to the generation of complete Object-Z structures.Integration of proposals to extend the OCL to include action constraints alsoboosts the expressivity of the translated specifications. The main features of atool support are described.
Bandara AK, Lupu EC, Russo A, 2003, Using event calculus to formalise policy specification and analysis, Los Alamitos, 4th IEEE international workshop on policies for distributed systems and networks, Lake Como, Italy, 2003, Publisher: IEEE Computer Soc, Pages: 26-39
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 issues of analysing specifications that combine authorisation and management policies; analysing policy specifications that contain constraints on the applicability of the policies; and performing a priori analysis of the specification that will both detect the presence of inconsistencies and explain the situations in which the conflict will occur.This paper presents a method for transforming both policy and system behaviour specifications into a formal notation that is based on Event Calculus. Additionally it describes how this formalism can be used in conjunction with abductive reasoning techniques to perform a priori analysis of policy specifications for the various conflict types identified in the literature. Finally, it presents some initial thoughts on how this notation and analysis technique could be used to perform policy refinement.
Roe D, Broda K, Russo A, 2003, Mapping UML models incorporating OCL constraints into Object-Z, Publisher: Imperial College of Science, Technology and Medicine, Department of Computing, 9
Ray O, Broda K, Russo A, 2003, Hybrid abductive inductive learning: a generalisation of Progol, Berlin, 13th international conference on inductive logic programming, Szeged, Hungary, Publisher: Springer-Verlag, Pages: 311-328
Garcez AS, Russo A, Nuseibeh B, et al., 2003, Combining abductive reasoning and inductive learning to evolve requirements specifications, IEE Proceedings - Software, Vol: 150, Pages: 25-38, ISSN: 1462-5970
Russo A, Miller R, Kramer J, 2002, An Abductive Approach for Analysing Event-Based Requirements Specifications., Berlin, 18th International Conference on Logic Programming, Publisher: Springer Verlag, Pages: 22-37
This data is extracted from the Web of Science and reproduced under a licence from Thomson Reuters. You may not copy or re-distribute this data in whole or in part without the written consent of the Science business of Thomson Reuters.