Specification and Design Language
Specification and Description Language is usually known by its abbreviation SDL.
It is defined by the ITU-T (Recommendation Z100) to provide a language for unambiguous specification and description of the behaviour of reactive and distributed systems. Originally focused on telecommunication systems, the area of application today includes process control and real-time applications in general. 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).
SDL is formally complete, so it can be used for code generation for either simulation or final targets.
Based on a FOLDOC article.
Sites
Vendors
- Telelogic [1] make Tau, and SDL Design Tool