Title: A Methodological Approach to Policy Refinement in Policy-based Management Systems
Author: Javier Rubio
e-mail: jrloyola@tsc.upc.edu
Partner: UPC
Supervisor: Joan Serrat
Committee: José L. Melús (UPC), Rolf Stadler (KTH), Luis Gorricho (UPC), Johan Zuidweg (UPF), Miquel Escudero (UPC)
Year of start: 2002
Year of end: 2007
Funding institution: GENCAT (beca FI)

Current research efforts are being directed to commit with the long-term view of self-management properties for telecommunications networks. One of the key approaches that have been recognised as an enabler of such a view is policy-based management. Policy-based management has been mostly acknowledged as a methodology that provides flexibility, adaptability and support to automatically assign network resources, control Quality of Service and security, by considering administratively specified rules. The hype of policy-based management was to commit with these features in run-time as a result of changeable network conditions resulting from the interactions of users, applications and existing resources. Despite enormous efforts with policy languages, management architectures using policy in different application domains, standardisation and industrial efforts, policy-based management is still not a reality. One reason behind the reticence for its use is the difficulty to analyse policies that guarantee configuration stability. In addition to policy conflict analysis, a key issue for this reticence is the need to derive enforceable policies from high-level administrative goals or from higher level policies, namely the policy refinement process. This Thesis deals with the critical nature of addressing the policy refinement problem. We provide a holistic view of this process, from formal analysis to its practical realisation, identifying the key elements involved in each step of such critical process. We initially propose a policy refinement framework relying on Linear Temporal Logic (LTL), a standard logic that allows analysis of reactive systems. Based on the former logic, we lay down the process of representing policies at different levels of abstraction. Following on with this, we develop the mechanisms that enable the abstraction of enforceable policies from hierarchical requirements in a fully automatic manner, making use of Linear Temporal Logic-based state exploration techniques. In addition, we clarify and identify the activities and management tasks that the administrative parties should carry out during the life cycle of the policy-based management system, from the perspective of the policy refinement process. This Thesis provides the guidelines to address policy refinement in network management contexts. Concretely, we take one step ahead in the materialisation of the policy refinement process by exploiting inherent containment properties of network management systems. For this purpose we provide the methodology to apply the concepts introduced in the policy refinement framework developed in this Thesis in the above context. In this Thesis we also execute a complete and rather detailed policy refinement process for a successful policy-based management solution. Taking the intra-domain Quality of Service Management application domain as background, we clarify and present the implications of the policy refinement problem in such a concrete application domain.

1. J. Gutierrez, J.L. Melus, J.Serrat, J.Rubio. “Pricing Pervasive Services Using Policy-based Mechanisms”, 2007 International Conference of the Information Resources Management Association IRMA. May 19-23, 2007, Vancouver, Canada
2. J. Rubio-Loyola, J. Serrat, M. Charalambides, P. Flegkas, G.Pavlou. “A Methodological Approach towards the Refinement Problem in Policy-based Management Systems”. ” IEEE Communications Magazine, Vol. 44, No. 10, IEEE, October 2006
3. J. Rubio-Loyola, J. Serrat, M. Charalambides, P. Flegkas, G.Pavlou. “A Functional Solution for Goal-oriented Policy Refinement”. IEEE International Workshop on Policies for Distributed Systems and Networks, POLICY 2006. 5-7 June 2006 The University of Western Ontario. London , Ontario CANADA
4. M.Charalambides, P. Flegkas, G. Pavlou, J. Rubio-Loyola, A. Bandara, E. Lupu, A. Russo, M. Sloman, N. Dulay “Dynamic Policy Analysis and Conflict Resolution for DiffServ Quality of Service Management” Network Operations and Management Symposium NOMS 2006 Vancouver, Canada
5. J. Rubio-Loyola, J. Serrat, M. Charalambides, P. Flegkas, G.Pavlou. “GOREMOCH: A Distributed Goal-oriented Policy Refinement Environment”. 10th IEEE/IFIP Network Operations and Management Symposium, NOMS 2006 (short paper) April 2006. Vancouver, Canada
6. F. Karayannis, J. Serrat, J. Baliosian, J. Rubio-Loyola, et al. “In-field Evaluation of a Managed IP/MPLS over WDM Provisioning Solution”. IEEE Communications Magazine, Volume 43, Issue 11, Nov. 2005
7. M.Charalambides, P. Flegkas, G. Pavlou, A. Bandara, E. Lupu, A. Russo, N. Dulay, M. Sloman, J. Rubio-Loyola. “Policy Conflict Analysis for Quality of Service Management”. Sixth IEEE International Workshop on Policies for Distributed Systems and Networks POLICY 2005, Stockholm, Sweden June 6-8, 2005
8. J. Rubio-Loyola, J. Serrat, M.Charalambides, P. Flegkas, G. Pavlou, A. Lluch. “Using Linear Temporal Model Checking for Goal-oriented Policy Refinement Frameworks” Sixth IEEE International Workshop on Policies for Distributed Systems and Networks POLICY 2005, Stockholm, Sweden June 6-8, 2005
9. J. Rubio-Loyola, J. Serrat, J. Mata, F. Casals. “A Policy-Based Management Solution towards QoS-aware Video Streaming Services in WLAN Environments”. IEEE/ACM International Conference on Quality of Service in Heterogeneous Wired/Wireless Networks, QSHINE 2004. Dallas Tx. USA Oct 2004
10. J. Rubio, J. Serrat and A. Angeles. “An Initial Approach to Automate Policy Deployment in a Network Management Solution for IP/MPLS over Transport Networks”, 3rd International Congress of Telematic Engineering, La Habana, Cuba Nov 30- Dec 3, 2004.
11. Vardalachos, N., Rubio, J., Galis, A., Serrat J., “A Policy Management System for Hybrid Networks”, London Communications Symposium (LCS 2003), London, UK September 2003
12. Grampín, E., Rubio, J., Vardalachos, N., Galis, A., Serrat, A., “Implementation Issues in PBNM Systems”, published in Hiradastechnika Magazine (in Hungarian) Volume LVII 2002/3 Március

This thesis was presented on June 29th, 2007. The full report is available for EMANICS participants here