CFP last date
22 April 2024
Reseach Article

Modelling and Initial Analysis of the RMD-QOSM (Resource Management in DiffServ) Protocol using Coloured Petri Nets

by Sapna Verma, Amardeep Kaur
International Journal of Computer Applications
Foundation of Computer Science (FCS), NY, USA
Volume 50 - Number 18
Year of Publication: 2012
Authors: Sapna Verma, Amardeep Kaur
10.5120/7873-1180

Sapna Verma, Amardeep Kaur . Modelling and Initial Analysis of the RMD-QOSM (Resource Management in DiffServ) Protocol using Coloured Petri Nets. International Journal of Computer Applications. 50, 18 ( July 2012), 29-35. DOI=10.5120/7873-1180

@article{ 10.5120/7873-1180,
author = { Sapna Verma, Amardeep Kaur },
title = { Modelling and Initial Analysis of the RMD-QOSM (Resource Management in DiffServ) Protocol using Coloured Petri Nets },
journal = { International Journal of Computer Applications },
issue_date = { July 2012 },
volume = { 50 },
number = { 18 },
month = { July },
year = { 2012 },
issn = { 0975-8887 },
pages = { 29-35 },
numpages = {9},
url = { https://ijcaonline.org/archives/volume50/number18/7873-1180/ },
doi = { 10.5120/7873-1180 },
publisher = {Foundation of Computer Science (FCS), NY, USA},
address = {New York, USA}
}
%0 Journal Article
%1 2024-02-06T20:48:40.132544+05:30
%A Sapna Verma
%A Amardeep Kaur
%T Modelling and Initial Analysis of the RMD-QOSM (Resource Management in DiffServ) Protocol using Coloured Petri Nets
%J International Journal of Computer Applications
%@ 0975-8887
%V 50
%N 18
%P 29-35
%D 2012
%I Foundation of Computer Science (FCS), NY, USA
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
  1. 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.
  2. A. Bader, C. Kappler, T. Phelan, "RMD-QOSM: The NSIS Quality of Service Model for Resource Management in DiffServ", RFC 5977, IETF, October, 2010.
  3. A. Bader, L. Westberg, G. Karagiannis, C. Kappler, T. Phelan, "RMD-QOSM: The Resource Management in DiffServ QOS Model", IETF, December, 2005.
  4. 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.
  5. "Coloured Petri Nets Documentation", available at: www. cpntools. org.
  6. D. Durham and R. Yavatkar, "Inside the Internet's Resource Reservation Protocol" Wiley, USA, 1999.
  7. 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.
  8. H. Tschofenig and D. Kroeselberg, "Security Threats for Next Steps in Signaling (NSIS)", Network Working Group, RFC 4081, June 2005.
  9. 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.
  10. H. Schulzrinne, R. Hancock, "GIST: General Internet Transport Signaling", IETF Draft, June, 2009.
  11. 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.
  12. K. Jensen and Lars M. Kristensen, "Coloured Petrinets: Modeling and validation of concurrent system", Springer, July 2009.
  13. 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.
  14. K. Jensen, "Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use", Springer-Verlag, 2nd edition, Vol. 1, April 1997.
  15. K. Jensen, "Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use", Springer-Verlag, 2nd edition, Vol. 2, April 1997.
  16. K. Jensen, "Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use", Springer-Verlag, Vol. 3, April 1997.
  17. K. Jensen, "Special Section on Coloured Petri Nets", International Journal on Software Tools for Technology Transfer, Springer, 1998.
  18. 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.
  19. 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.
  20. 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.
  21. 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.
  22. 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.
  23. M. E. Villapol and J. Billington, " A Coloured Petri Net Approach to Formalising and Analysing the Resource Reservation Protocol", CLEI Electronic Journal, 2003.
  24. R. Braden, D. Clark, and S. Shenker "Integrated Services in the Internet Architecture: an Overview", RFC 1633, IETF, June, 1994.
  25. R. Braden, S. Berson, S. Herzog and S. Jamin, "Resource Reservation Protocol (RSVP) – Version 1: Functional Specification", RFC 2205, IETF, September, 1997.
  26. R. Hancock, G. Karagiannis, J. Loughney, "Next Steps in Signaling: Framework", RFC 4080, IETF, June, 2005.
  27. S. Blake, D. Black, M. Carlson, E. Davies, Z. Wang, W. Weiss, "An Architecture for Differentiated Services", RFC 2475, IETF, Dec. 1998.
  28. S. Christensen and J. B. Jorgensen, "Teaching Coloured Petri Nets: Examples of Courses and Lessons Learned", Springer-Verlag Berlin Heidelberg, pp. 402–412, 2004.
  29. T. Murata, "Petri Nets: Properties, Analysis and Applications", Proceedings of the IEEE, Vol. 77, No. 4, April, 1989, pp 541-580.
  30. W. Zhao, D. Olshefski and H. Schulzrinne, "Internet Quality of Service: An Overview", Columbia University Research Report, 2000.
  31. 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.
Index Terms

Computer Science
Information Sciences

Keywords

Quality of Service NSIS RMD-QOSM Formal Verification Coloured Petri Nets (CPN)