Language standardized by International Telecommunications Union (ITU 2002)
•To specify behavior of real-time, concurrent, distributed process that communicate with each other via unbounded message queues
–SDL system diagram (DFD)
–SDL block diagram (DFD)
–SDL process diagram (state machine model)
–SDL data type (algebraic specification)