SDL
Specification and Design Language.
Defined by the
ITU-T (recommendation Z100) to provide a tool for unambiguous specification and description of the behaviour of telecommunications systems.
The area of application also includes process control and real-time applications.
SDL provides a Graphic Representation (SDL/GR) and a textual Phrase Representation (SDL/PR), which are equivalent representations of the same semantics.
A system is specified as a set of interconnected
abstract machines which are extensions of the
Finite State Machine (FSM).
1. System Software Development Language.
System software for the B1700.
"System Software Development Language Reference Manual", 1081346, Burroughs Corp (Dec 1974).
2. Specification and Description Language.
ITU-T. Specification language with both graphical and character-based syntaxes for defining interacting extended finite state machines.
Used to specify discrete interactive systems such as industrial process control, traffic control, and telecommunication systems.
Proc Plenary Assembly, Melbourne 14-1988-11-25, Fasc X.1, CCITT.
"Telecommunications Systems Engineering Using SDL", R. Saracco et al, N-H 1989.
Available from Verilog, MD.
(See XDL).
3. Shared Dataspace Language.
"A Shared Dataspace Language Supporting Large-Scale Concurrency", G. Roman et al, Proc 8th Intl Conf Distrib Comp Sys, IEEE 1988, pp.265-272.
4. Structure Definition Language.
Used internally by DEC to define and generate the symbols used for VAX/VMS internal data structures in various languages.
5. System Description Language.
language used by the Eiffel/S implementation of Eiffel to assemble clusters into a system