dc.creator | Charalambides, M. | en |
dc.creator | Flegkas, P. | en |
dc.creator | Pavlou, G. | en |
dc.creator | Rubio-Loyola, J. | en |
dc.creator | Bandara, A. | en |
dc.creator | Lupu, E. | en |
dc.creator | Russo, A. | en |
dc.creator | Dulay, N. | en |
dc.creator | Sloman, M. | en |
dc.date.accessioned | 2015-11-23T10:24:28Z | |
dc.date.available | 2015-11-23T10:24:28Z | |
dc.date.issued | 2009 | |
dc.identifier | 10.1109/TNSM.2009.090302 | |
dc.identifier.issn | 19324537 | |
dc.identifier.uri | http://hdl.handle.net/11615/26570 | |
dc.description.abstract | Policy-based management provides the ability to (re-)configure differentiated services networks so that desired Quality of Service (QoS) goals are achieved. This requires implementing network provisioning decisions, performing admission control, and adapting bandwidth allocation to emerging traffic demands. A policy-based approach facilitates flexibility and adaptability as policies can be dynamically changed without modifying the underlying implementation. However, inconsistencies may arise in the policy specification. In this paper we provide a comprehensive set of QoS policies for managing Differentiated Services (DiffServ) networks, and classify the possible conflicts that can arise between them. We demonstrate the use of Event Calculus and formal reasoning for the analysis of both static and dynamic conflicts in a semi-automated fashion. In addition, we present a conflict analysis tool that provides network administrators with a user-friendly environment for determining and resolving potential inconsistencies. The tool has been extensively tested with large numbers of policies over a range of conflict types. © 2009 IEEE. | en |
dc.source | IEEE Transactions on Network and Service Management | en |
dc.source.uri | http://www.scopus.com/inward/record.url?eid=2-s2.0-70450216984&partnerID=40&md5=a0abcaaec0a5948c8c45290d01531e0d | |
dc.subject | Conflict detection | en |
dc.subject | Dynamic conflict resolution | en |
dc.subject | QoS management policies | en |
dc.subject | Admission Control | en |
dc.subject | Bandwidth allocations | en |
dc.subject | Conflict analysis | en |
dc.subject | Conflict Resolution | en |
dc.subject | Differentiated services network | en |
dc.subject | DiffServ | en |
dc.subject | Event calculus | en |
dc.subject | Formal reasoning | en |
dc.subject | Network administrator | en |
dc.subject | Network provisioning | en |
dc.subject | Policy based management | en |
dc.subject | Policy conflict | en |
dc.subject | Policy specification | en |
dc.subject | Policy-based approaches | en |
dc.subject | QOS management | en |
dc.subject | QoS policy | en |
dc.subject | Semi-automated | en |
dc.subject | Static and dynamic | en |
dc.subject | Traffic demands | en |
dc.subject | Automata theory | en |
dc.subject | Quality of service | en |
dc.subject | Routers | en |
dc.subject | Ubiquitous computing | en |
dc.subject | Quality control | en |
dc.title | Policy conflict analysis for DiffServ quality of service management | en |
dc.type | journalArticle | en |