The SDL Specification of the Sliding Window Protocol Revisited [chapter]

Christian Facchi, Markus Haubner, Ursula Hinkel
1997 SDL '97: Time for Testing  
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 c hose the SDL speci cation of the protocol which was rst published by the ISO. While editing and simulating the SDL speci cation we found out that the speci cation contains signi cant errors and does not meet the informal description of the protocol. We describe these errors and give a correct version of the SDL speci cation.
doi:10.1016/b978-044482816-3/50034-4 fatcat:lied4rnfpbhqzl2v5573ymt45e