|
| volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 1 van 8 gevonden artikelen
| Titel: |
Coloured Petri Net Modelling of an Evolving Internet Standard: the Datagram Congestion Control Protocol |
| Auteur: |
Billington, Jonathan Vanit-Anunchai, Somsak |
| Verschenen in: |
Fundamenta informaticae |
| Paginering: | Jaargang 88 (2008) nr. 3 pagina's 357-385 |
| Jaar: |
2008-12-18 |
| Inhoud: |
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. |
| Uitgever: |
IOS Press |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 1 van 8 gevonden artikelen
| volgende >> |