Technical Report
The SDL Specification of the Sliding Window Protocol Revisited.
Author(s): Christian Facchi, Markus Haubner, Ursula Hinkel
Year: 1996
Number: TUM-I9614
Editor:
CR Classification:
CR General Terms:
Keywords: Protokollspezifikation, SDL, Sliding Window Protokoll, Validierung
Abstract:We present the results of a case study in which the use of SDL tools was analysed on the basis of the sliding window protocol. We chose the SDL specification of the protocol which was first published by the ISO. While editing and simulating the SDL specification we found out that the specification contains significant errors and does not meet the informal description of the protocol. We describe these errors and give a correct version of the SDL specification.
Available as compressed Postscript
BibTeX-Entry:
<![CDATA[
@techreport{ TUM-I9614,
author = {Christian Facchi and Markus Haubner and Ursula Hinkel},
title = {The SDL Specification of the Sliding Window Protocol Revisited.},
number = {TUM-I9614},
institution = {Technische Univerit\"at M\"unchen},
year = {1996},
url = {http://www4.informatik.tu-muenchen.de/reports/TUM-I9614.html},
abstract = {We present the results of a case study in which the use of SDL tools was analysed on the basis of the sliding window protocol. We chose the SDL specification of the protocol which was first published by the ISO. While editing and simulating the SDL specification we found out that the specification contains significant errors and does not meet the informal description of the protocol. We describe these errors and give a correct version of the SDL specification. },
CRClassification = {},
CRGenTerms = {}
}
]]>