DocumentCode
3422353
Title
Design of the ISO class 0 transport protocol: a stepwise refinement based approach
Author
Girardot, Jean-Jacques
fYear
1997
fDate
5-7 Feb 1997
Firstpage
363
Lastpage
370
Abstract
We present the design steps of the ISO Class 0 transport protocol. We apply, for this purpose our protocol synthesis algorithm. This algorithm is based on stepwise refinement of specifications written in an interpreted Petri net model. The starting point for the design is the specification of the ISO transport service. The main advantage of this design strategy is that the correctness of the designed protocol is guaranteed
Keywords
ISO standards; Petri nets; formal specification; telecommunication standards; transport protocols; ISO class 0 transport protocol; ISO transport service; interpreted Petri net model; protocol correctness; protocol specifications; protocol synthesis algorithm; stepwise refinement; transport protocol design; Design methodology; Error correction; Error correction codes; Formal specifications; ISO; Petri nets; Process design; System recovery; Transport protocols;
fLanguage
English
Publisher
ieee
Conference_Titel
Performance, Computing, and Communications Conference, 1997. IPCCC 1997., IEEE International
Conference_Location
Phoenix, Tempe, AZ
Print_ISBN
0-7803-3873-1
Type
conf
DOI
10.1109/PCCC.1997.581539
Filename
581539
Link To Document