Policy refinement for DiffServ quality of service management

2005 9th IFIP/IEEE International Symposium on Integrated Network Management, IM 2005

Volumn 2005, Issue , 2005, Pages 469-482

  Bandara, A ^a   Lupu, E ^a   Russo, A ^a   Dulay, N ^a   Sloman, M ^a   Flegkas, P ^b   Charalambides, M ^b   Pavlou, G ^b  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

^b UNIVERSITY OF SURREY   (United Kingdom)

Author keywords

Goal elaboration; Policy derivation; Refinement patterns

Indexed keywords

BANDWIDTH; COMPUTER NETWORKS; MANAGEMENT; SECURITY OF DATA;

GOAL ELABORATION; NETWORK DEVICES; POLICY DERIVATION; REFINEMENT PATTERNS; STORAGE AREA NETWORKS;

QUALITY OF SERVICE;

EID: 33744455717     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/INM.2005.1440817     Document Type: Conference Paper

References (18)

1. M. Carlson, et al., "An Architecture for Differentiated Services," in Network Working Group - RFC2475, http://www.ietf.org/rfc/ rfc2475.txt, 1998.
2. J. Moffett and M. S. Sloman, "Policy Hierarchies for Distributed Systems Management," IEEE JSAC, 11(9):1404-14, Special Issue on Network Management, 1993.
3. A. K. Bandara, E. C. Lupu, and A. Russo, "A Goal-based Approach to Policy Refinement," IEEE Workshop on Policies for Distributed Systems and Networks (Policy 2004), IBM TJ Watson Research Centre, New York, USA, June, 2004.
4. R. Darimont and A. van Lamsweerde, "Formal Refinement Patterns for Goal-Driven Requirements Elaboration," 4th ACM Symposium on the Foundations of Software Engineering (FSE4) pp 179-190, 1996.
5. P. Flegkas, P. Trimintzios, and G. Pavlou, "A Policy-based Quality of Service Management Architecture for IP DiffServ Networks," IEEE Network, 16(2):50-56, 2002.
6. E. Rosen, A. Viswanathan, and R. Callon, "Multiprotocol Label Switching Architecture," in Network Working Group - RFC3031, http://www.ietf.org/rfc/rfc3031.txt, 2001.
7. R. A. Kowalski and M. J. Sergot, "A logic-based calculus of events," New Generation Computing, vol. 4 pp. 67-95, 1986.
8. N. Damianou, T. Tonouchi, N. Dulay, E. Lupu, and M. Sloman, "Tools for Domain-based Policy Management of Distributed Systems," IEEE/IFIP Network Operations and Management Symposium (NOMS 2002), Florence, Italy, 2002.
9. B. van Nuffelen and A. Kakas, "A-System : Programming with abduction," presented at Logic Programming and Nonmonotonic Reasoning (LPNMR 2001), 2001.
10. A. K. Bandara, E. C. Lupu, and A. Russo, "Using Event Calculus to Formalise Policy Specification and Analysis," 4th IEEE Workshop on Policies for Networks and Distributed Systems (Policy 2003), Lake Como, Italy, 2003.
11. P. Trimintzios, et al., "Service-driven Traffic Engineering for Intra-domain Quality of Service Management," IEEE Network Magazine, 17(3):29-36, 2003.
12. E. Mykoniati, et al., "Admission Control for Providing QoS in IP DiffServ Networks: the TEQUILA Approach," IEEE Communications Magazine, 41(1), 2003.
13. M. Casassa Mont, A. Baldwin, and C. Goh, "POWER Prototype: Towards Integrated Policy-Based Management," HP Laboratories Bristol, Bristol, UK October 1999.
14. D. C. Verma, Policy-Based Networking: Architecture and Algorithms. New Riders, 2001.
15. E. C. Lupu and M. S. Sloman, "Conflicts in Policy-Based Distributed Systems Management," In IEEE Transactions on Software Engineering - 25(6)852-869, 1999.
16. K. Apt, H. Blair, and A. Walker, "Towards a Theory of Declarative Knowledge," in Foundations of Deductive Databases, J. Minker, Ed. MorganKaufmann, 1988, pp.89-148.
17. G. Jager and R. F. Stark, "The Defining Power of Stratified and Hierarchical Logic Programs," Journal of Logic Programming, 15(1 & 2):55-77, 1993.
18. E. Dantsin, T. Eiter, G. Gottlob, and A. Voronkov, "Complexity and Expressive Power of Logic Programming," 12th IEEE Conf. on Computational Complexity, Ulm, 1997.