Paper Info
Title
An EC-based formalism for policy refinement in software-defined networking.
Abstract
Software-Defined Networking (SDN) provides a sophisticated and accurate solution for managing network traffic. SDN logically centralizes, in devices called controllers, part of the decision-making logic of flow processing and packet routing. The whole network is controlled according to rules written and deployed in the controller device. However, the large amount of network devices, links, and services also gives rise to a large number of rules to be managed in the controller. Policy-Based Network Management (PBNM) can be used to manage complex network infrastructures through policies rather than specifying device-by-device configurations. Particularly, policy refinement techniques can be used to automatically translate high-level policies into a set of low-level ones. In this paper, we define a formal representation of high-level SLA policies using Event Calculus (EC) and apply logical reasoning to model both the system behavior and the policy refinement process for SDN management. We also describe the implementation of this formal model in Prolog, which enables the automatic inference of low-level policies from high-level ones, and present evaluation results.
Year
DOI
Venue
2015
10.1109/ISCC.2015.7405563
ISCC
Keywords
Field
DocType
Prolog,SDN management,logical reasoning,event calculus,high-level SLA policies,policy-based network management,packet routing,flow processing decision-making logic,network traffic management,software-defined networking,policy refinement,EC-based formalism
Event calculus,Computer science,Networking hardware,Quality of service,Computer network,Prolog,Network management,Software-defined networking,Network traffic control,Network management station,Distributed computing
Conference
Citations 
PageRank 
References 
4
0.43
10
Authors
4
Name
Order
Citations
PageRank
Cristian Cleder Machado1473.86
Juliano Araujo Wickboldt219821.08
Lisandro Zambenedetti Granville3924107.68
Alberto E. Schaeffer Filho412220.30