SDL (short for Specification and Description Language) is a specification language targeted at the unambiguous specification and description of the behaviour of reactive and distributed systems. It is defined by the ITU-T (Recommendation Z.100.) Originally focused on telecommunication systems, its current areas of application include process control and real-time applications in general. A specification language is a formal language used in computer science. ... The ITU Telecommunication Standardization Sector (ITU-T) coordinates standards for telecommunications on behalf of the International Telecommunication Union (ITU). ...

SDL provides both a graphical Graphic Representation (SDL/GR) as well as a textual Phrase Representation (SDL/PR), which are both equivalent representations of the same underlying semantics. A system is specified as a set of interconnected abstract machines which are extensions of finite state machines (FSM). Fig. ...

SDL is formally complete, so it can be used for code generation for either simulation or final targets.

The first version of the specification language was released in 1976 using only textual syntax. In 1988 SDL-88 was released containing object oriented concepts as inheritance, abstract generic types etc. The version released in 1992 had among other features an improved implementation support. SDL-2000 is the latest released version completely based on object-orientation. This version is accompanied by a SDL-UML-Profile. In software engineering, Unified Modeling Language (UML) is a non-proprietary, third generation modeling and specification language. ...

External links

• SDL forum
• Telelogic, maker of Tau, an SDL Design Tool (COMMERCIAL)