Digital Library
Close Browse articles from a journal
 
   next >>
     Journal description
       All volumes of the corresponding journal
         All issues of the corresponding volume
           All articles of the corresponding issues
                                       Details for article 1 of 8 found articles
 
 
  Coloured Petri Net Modelling of an Evolving Internet Standard: the Datagram Congestion Control Protocol
 
 
Title: Coloured Petri Net Modelling of an Evolving Internet Standard: the Datagram Congestion Control Protocol
Author: Billington, Jonathan
Vanit-Anunchai, Somsak
Appeared in: Fundamenta informaticae
Paging: Volume 88 (2008) nr. 3 pages 357-385
Year: 2008-12-18
Contents: The DatagramCongestion Control Protocol (DCCP) is a new transport protocol standardized by the Internet Engineering Task Force (IETF) in March 2006. This paper discusses the specification of the connectionmanagement and synchronization procedures of DCCP using Coloured Petri Nets (CPNs). After introducing the protocol, we describe how the CPN model evolved as DCCP was being developed. We focus on our experience of incremental enhancement 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 evolved as DCCP was developed. We finally recommend a procedure-based style once the standard is stable. The impact of this work on the DCCP standard and our interaction with IETF is also briefly discussed.
Publisher: IOS Press
Source file: Elektronische Wetenschappelijke Tijdschriften
 
 

                             Details for article 1 of 8 found articles
 
   next >>
 
 Koninklijke Bibliotheek - National Library of the Netherlands
Toegankelijkheidsverklaring