SDL

Язык спецификаций и описаний (Specification and Description Language). Язык спецификаций, используемый для моделирования поведения реагирующих и распределенных систем, чье поведение определяется событиями реального времени.

Его основные особенности: возможность использования как обширного языка от требований до реализации; пригодность для систем реального времени; воспроизведение в графической форме; модели на основе процессов связи; объектно-ориентированное описание компонентов. Был создан как язык спецификаций для телекоммуникационных систем, а в настоящее время широко применяется в различных сферах от авиации и управления поездами до медицинских и упаковочных систем.