Specification and Description Language. Ce langage de développement formel, normalisé sous une forme textuelle et graphique, est issu du monde des télécommunications. Il est conçu pour décrire des systèmes de contrôle basés sur des algorithmes de complexité moyenne. Il représente les systèmes comme un ensemble de machines à états finis qui communiquent par messages, via des mémoires partagées ou par appels RPC (Remote Procedure Calls). L’Union internationale des télécommunications planche sous l’appellation SDL 2000 sur une évolution du langage pour le combiner à la notation UML (voir définition correspondante).