Abstract

The NSIS (Next Steps In Signaling) working group within IETF has developed a new signaling framework. One of the purposes of this framework is to support quality of service provisioning. RMD-QOSM is the protocol that delivers quality of service to end users. RMD-QOSM protocol is a simple, effective and scalable resource reservation method that provides edge-to-edge communication in a Differentiated Services (DiffServ) domain. Main functions of RMD-QOSM are congestion control and admission control. The aim of this paper is to use Coloured Petri Nets to model some features of the protocol. Initial analysis refers to that a basic model is constructed using Coloured Petri Nets and its proper working is verified.

References

• A. Bader, G. Karagiannis, L. Westberg, C. Kappler, T. Phelan, H. Tschofenig, G. Heijenk, "QoS Signaling across Heterogeneous Wired/Wireless Networks: Resource Management in DiffServ Using the NSIS Protocol Suite", Proceedings of the Second International Conference on Quality of Service in Heterogeneous Wired/Wireless Networks, 2005.
• A. Bader, C. Kappler, T. Phelan, "RMD-QOSM: The NSIS Quality of Service Model for Resource Management in DiffServ", RFC 5977, IETF, October, 2010.
• A. Bader, L. Westberg, G. Karagiannis, C. Kappler, T. Phelan, "RMD-QOSM: The Resource Management in DiffServ QOS Model", IETF, December, 2005.
• A. Verma, "Formal Verification of Ad Hoc N/W Routing Protocols", International Journal of Advanced Research in Computer Science,Volume 2, No. 4, July-Aug 2011.
• "Coloured Petri Nets Documentation", available at: www. cpntools. org.
• D. Durham and R. Yavatkar, "Inside the Internet's Resource Reservation Protocol" Wiley, USA, 1999.
• G. Karagiannis, A. Báder, G. Pongrácz, A. Császár, A. Takács, R. Szabó, L. Westberg, "RMD– a lightweight application of NSIS", 11th International Conference on Telecommunications Network Strategy and Planning Symposium, 2004.
• H. Tschofenig and D. Kroeselberg, "Security Threats for Next Steps in Signaling (NSIS)", Network Working Group, RFC 4081, June 2005.
• H. Bai, M. Atiquzzaman, and W. Ivancic, "Running Integrated Services over Differentiated Service Networks: Quantitative Performance Measurements", Aerospace and Electronic Systems Honeywell Aerospace 3660 Technology Drive, Minneapolis, MN 55418, USA.
• H. Schulzrinne, R. Hancock, "GIST: General Internet Transport Signaling", IETF Draft, June, 2009.
• I. Mahadevan and K. M. Sivalingam, "Quality of Service Architectures for Wireless Networks: IntServ and DiffServ Models", Mobile Computing Workshop atIntl. Symposium on Parallel Architectures, Mobile Algorithms and Networks, Perth, Australia, June 1999.
• K. Jensen and Lars M. Kristensen, "Coloured Petrinets: Modeling and validation of concurrent system", Springer, July 2009.
• K. Jensen, "An Introduction to the Practical Use of Coloured Petri Nets", In: W. Reisig and G. Rozenberg (eds. ): Lectures on Petri Nets II: Applications, Lecture Notes in Computer Science vol. 1492, Springer-Verlag 1998, 237-292.
• K. Jensen, "Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use", Springer-Verlag, 2nd edition, Vol. 1, April 1997.
• K. Jensen, "Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use", Springer-Verlag, 2nd edition, Vol. 2, April 1997.
• K. Jensen, "Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use", Springer-Verlag, Vol. 3, April 1997.
• K. Jensen, "Special Section on Coloured Petri Nets", International Journal on Software Tools for Technology Transfer, Springer, 1998.
• L. M. Kristensen, S. Christensen, and K. Jensen, "The Practitioner's Guide to Coloured Petri Nets", International Journal on Software Tools for Technology Transfer, Springer, 1998, Vol. 2, No. 2, pp 98-132.
• L. M. Kristensen and K. Jensen, "Specification and Validation of an Edge Router Discovery Protocol for Mobile Ad-hoc Networks", In Integration of Software Specification Techniques for Applications in Engineering. Springer Lecture Notes in Computer Science vol. 3147, Springer-Verlag 2004, 248-269.
• L. Westberg, A. Csaszar, G. Karagiannis et al. , "Resource Management in Diffserv (RMD): A Functionality and Performance Behavior Overview", Proceedings of 7th International Workshop on Protocols for High Speed Netwroks, 2002.
• M. E. Villapol and J. Billington, "Generation of a Service Language for the Resource Reservation Protocol Using Formal Methods", Proceedings of the 11th Annual International Symposium of the International Council on Systems Engineering, Melbourne, Australia, July 1-5, 2001.
• M. E. Villapol and J. Billington, "Modeling and Initial Analysis of the Resource Reservation Protocol using coloured Petri Nets", Proceedings of the Workshop on Practical Use of High-Level Petri Nets, Aarhus, Denmark, June 27, 2000, pp 91-110.
• M. E. Villapol and J. Billington, " A Coloured Petri Net Approach to Formalising and Analysing the Resource Reservation Protocol", CLEI Electronic Journal, 2003.
• R. Braden, D. Clark, and S. Shenker "Integrated Services in the Internet Architecture: an Overview", RFC 1633, IETF, June, 1994.
• R. Braden, S. Berson, S. Herzog and S. Jamin, "Resource Reservation Protocol (RSVP) – Version 1: Functional Specification", RFC 2205, IETF, September, 1997.
• R. Hancock, G. Karagiannis, J. Loughney, "Next Steps in Signaling: Framework", RFC 4080, IETF, June, 2005.
• S. Blake, D. Black, M. Carlson, E. Davies, Z. Wang, W. Weiss, "An Architecture for Differentiated Services", RFC 2475, IETF, Dec. 1998.
• S. Christensen and J. B. Jorgensen, "Teaching Coloured Petri Nets: Examples of Courses and Lessons Learned", Springer-Verlag Berlin Heidelberg, pp. 402–412, 2004.
• T. Murata, "Petri Nets: Properties, Analysis and Applications", Proceedings of the IEEE, Vol. 77, No. 4, April, 1989, pp 541-580.
• W. Zhao, D. Olshefski and H. Schulzrinne, "Internet Quality of Service: An Overview", Columbia University Research Report, 2000.
• X. Fu, H. Schulzrinne, A. Bader, D. Hogrefe, C Kappler, G. Karagiannis, H. Tschofenig, S. Vanden Bosch, "NSIS: A New Extensible IP Signaling Protocol Suite", IEEE Communications Magazine, 2005, pp 134-141.