The CCITT-Specification and Description Language SDL
暂无分享,去创建一个
Abstract SDL has been designed to specify and describe the functional behaviour of telecommunication systems. It has been used in a variety of fields, including data communication protocol specification. This paper briefly explains the basic concepts of the latest version of the language, known as SDL88, as it has been recommended by CCITT in 1987.
[1] Hartmut Ehrig,et al. Fundamentals of Algebraic Specification 1 , 1985, EATCS Monographs on Theoretical Computer Science.