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. © Springer-Verlag Berlin Heidelberg 2007.
CITATION STYLE
Vanit-Anunchai, S., & Billington, J. (2007). Modelling the datagram congestion control protocol’s connection management and synchronization procedures. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4546 LNCS, pp. 423–444). Springer Verlag. https://doi.org/10.1007/978-3-540-73094-1_25
Mendeley helps you to discover research relevant for your work.