Specification and Description Language
（重定向自Specification and Design Language）
Specification and Description Language (SDL) is a specification language targeted at the unambiguous specification and description of the behaviour of reactive and distributed systems.