Jump to content

Specification and Design Language

From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by 195.99.244.xxx (talk) at 13:21, 11 December 2001 (Foldoc import). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.
(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)

``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).


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



FOLDOC Import


Vendors

  • Telelogic [1] make Tau, and SDL Design Tool