Specification and Description Language (SDL) is a specification language targeted at the unambiguous specification and description of the behaviour of reactive and distributed systems.
Specification and Description Language (SDL) — это язык спецификаций с формальной семантикой.