Analysing properties of the resource reservation protocol

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2679, Issue , 2003, Pages 377-396

  Villapol, María E ^a   Billington, Jonathan ^b  

^a UNIVERSIDAD CENTRAL DE VENEZUELA   (Venezuela)

^b UNIVERSITY OF SOUTH AUSTRALIA   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

PETRI NETS; QUALITY OF SERVICE;

ANALYSIS APPROACH; COLOURED PETRI NETS; HOST COMPUTERS; PRECISE DEFINITION; PROTOCOL SPECIFICATIONS; RESOURCE RESERVATION PROTOCOL; SPECIFIC PROPERTIES; STRONGLY CONNECTED COMPONENT;

INTERNET PROTOCOLS;

EID: 35048868317     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44919-1_24     Document Type: Article

References (20)

1. Billington J., Diaz M. and Rozenberg G. (eds), Application of Petri nets to Communication Networks, Advances in Petri Nets, LNCS, Vol. 1605, 1999.
2. Braden R., et al. Resource Reservation Protocol (RSVP) - Version 1: Functional Specification. RFC 2205, IETF, September, 1997.
3. Cheng A. and Christensen S. and Mortensen K. Model Checking Coloured Petri Nets Exploiting Strongly Connected Components, in Proc. Of the International Workshop on Discrete Event Systems, Institute of Electrical Engineers, University of Edinburgh, UK, August 1996, pp 169-177.
4. Creese S and Reed J N, Verifying End-to-End Protocols Using Induction with CSP/FDR, Parallel and Distributed Processing, 13th International Parallel Processing Symposium and 10th International Symposium on Parallel and Distributed Processing, Puerto Rico, April 1999, LNCS 1586, Springer.
5. Durham D. and Yavatkar R. Inside the Internet's Resource Reservation Protocol. Wiley, USA, 1999.
6. Han B. and Billington J. Validating TCP Connection Management. Proceedings of the Workshops on Software Engineering and Formal Methods and Formal Methods Applied to Defense Systems, Adelaide, Australia, June 2002, pp 47-55.
7. Holzmann G. Design and Validation of Computer Protocols. Prentice Hall. 1991.
8. ITU-T Convention for the Definition of OSI Services. Recommendation X.210.1994.
9. nd edition, April, 1997.
10. Kristensen L.M., Christensen S., and Jensen K. The practitioner's guide to coloured Petri nets. International Journal on Software Tools for Technology Transfer, Springer, 1998, Vol. 2, Number 2, pp 98-132.
11. Meta Software Corporation. Design/CPN Reference Manual for X-Windows, Version 2, Meta Software Corporation, Cambridge, 1993.
12. Ouyang C., Kristensen LM and Billington J. A Formal and Executable Specification of Internet Open Trading Protocol. Third International Conference, EC-Web 2002 Aix-en-Provence, France, September 2002, LNCS 2455, pp 377-387.
13. Paulson L. ML for the Working Programmer. Cambridge University Press. 1991.
14. Proceedings of the (Joint) International Conferences on Formal Description Techniques for Distributed Systems and Communications Protocols (FORTE) and Protocol Specification, Testing & Verification (PSTV), 1997-2000.
15. Reed JN, Jackson DM, Deianov B. and Reed GM. Automated Formal Analysis of Networks: FDR Models of Arbitrary Topologies and Flow-Control Mechanisms. Proceedings of Joint European Conferences on Theory and Practice of Software, ETAPS98, as part of Fundamental Approaches to Software Engineering, FASE98, Lisbon, LNCS 1382, Springer.
16. Smith M.A. Formal Verification of Communication Protocols. In Reinhard Gotzhein and Jan Bredereke, editors Formal Description Techniques IX: Theory, Applications, and Tools FORTE/PSTV'96: Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, and Protocol Specification, Testing, and Verification, Kaiserslautern, Germany, October 1996, pp 129-144. Chapman & Hall, 1996.
17. Valmari A. The State Explosion Problem. Lectures on Petri Nets I: Basic Models, Vol. 1491, 1998, pp 429-528.
18. Villapol M.E. and Billington J. Modelling 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.
19. Villapol M.E. and Billington J. Generation of a Service Language for the Resource Reservation Protocol Using Formal Methods, Proceedings of Eleventh Annual International Symposium of the International Council On Systems Engineering (INCOSE), 1-5 July 2001, on CD-ROM.
20. Villapol M.E. Modelling and Analysis of the Resource Reservation Protocol Using Coloured Petri Nets. Doctoral Thesis, University of South Australia, March 2003.