Abstract
This chapter is a corrigendum to the Specification and Description Language (SDL) specification of the sliding window protocol that was first published by the International Organization for Standardization (IOS) as a technical report. The chapter presents some results of a tool-supported simulation of the SDL specification of the sliding window protocol. The specification contains significant errors and does not meet the informal description of the protocol. The chapter describes these errors and gives a correct version of the SDL specification. The specification and description language SDL is one of them. SDL is a widespread specification language which, because of its graphical notation and structuring concepts, is well-suited for the formulation of large and complicated specifications of distributed systems. Analysis of the sliding window protocol with tool assistance results in a significant improvement of the corresponding SDL specification.
Published Version
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call