Modelling the datagram congestion control protocol's connection management and synchronization procedures

Authors:
Somsak Vanit-Anunchai;Jonathan Billington
Affiliations:
Computer Systems Engineering Centre, University of South Australia, SA, Australia;Computer Systems Engineering Centre, University of South Australia, SA, Australia
Venue:
ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
Year:
2007

Citing 5
Cited 5

Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1

Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
Effect of Sequence Number Wrap on DCCP Connection Establishment

MASCOTS '06 Proceedings of the 14th IEEE International Symposium on Modeling, Analysis, and Simulation
Designing DCCP: congestion control without reliability

Proceedings of the 2006 conference on Applications, technologies, architectures, and protocols for computer communications
Checking safety properties on-the-fly with the sweep-line method

International Journal on Software Tools for Technology Transfer (STTT)
Discovering chatter and incompleteness in the datagram congestion control protocol

FORTE'05 Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems

Formal Specification and Validation of Secure Connection Establishment in a Generic Access Network Scenario

PETRI NETS '08 Proceedings of the 29th international conference on Applications and Theory of Petri Nets
Coloured Petri Net Modelling of an Evolving Internet Standard: the Datagram Congestion Control Protocol

Fundamenta Informaticae - PETRI NETS 2007
Modelling and Validation of Secure Connection Establishment in a Generic Access Network Scenario

Fundamenta Informaticae - Petri Nets 2008
Modelling and Validation of Secure Connection Establishment in a Generic Access Network Scenario

Fundamenta Informaticae - Petri Nets 2008
Coloured Petri Net Modelling of an Evolving Internet Standard: the Datagram Congestion Control Protocol

Fundamenta Informaticae - PETRI NETS 2007

Quantified Score

Hi-index	0.00

Visualization

Abstract

The Datagram Congestion Control Protocol (DCCP) is a new transport protocol standardised by the Internet Engineering Task Force in March 2006. This paper specifies the connection management and synchronisation procedures of DCCP using Coloured Petri nets (CPNs). After introducing the protocol, we describe how the CPN model has evolved as DCCP was being developed. We focus on our experience of incremental enhancement and iterative modelling in the hope that this will provide guidance to those attempting to build complex protocol models. In particular we discuss how the architecture, data structures and specification style of the model have evolved as DCCP was developed. The impact of this work on the DCCP standard is also briefly discussed.