SDL[1]
Specification and Description Language
CCITT. (CCITT=Comite Consultatif International Telegraphique et Telephonique, the former name of ITU-T) First recommendation in 1976. Revisions in 1980, 1984, 1988, 1992 and 1996.
A specification language for discrete interactive real-time systems. A system is described as a set of blocks connected by channels. Blocks contain processes and channels carry signals. Each process is modeled as an EFSM (Extended Finite State Machine). SDL has both graphical (SDL/GR) and textual (SGL/PR) syntaxes. It has been used to describe systems in industrial process control, traffic control, and telecommunication. Automatic code generation into CHILL can be done from an SDL specification. See XDL, CHILL.
Proceedings of the Plenary Assembly, Melbourne 14-25 Nov 1988, Fasc X.1, CCITT.
Telecommunications Systems Engineering Using SDL, Roberto Saracco et al, North-Holland, 1989.