Язык SDL

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

Рис. 9-1. Основные элементы графической нотации SDL

Состояние здесь всегда ожидание без действий, переходы происходят при приеме ожидаемых сигналов, действия (выдача сигналов, процедуры или арифметические вычисления) выполняются во время перехода. Эквивалентное преобразование традиционной КА-диаграммы в схему SDL-процесса показано на рис. 9-2.

а) б)

Рис. 9-2. а) Фрагмент КА-диаграммы, б) эквивалентный фрагмент SDL-схемы

Для большей выразительности и лаконичности языка набор основных элементов расширен; некоторые расширения показаны на рис. 9-3. Таким образом, процессы – это КА, обменивающиеся сигналами (см. рис. 9-5, а). Сигналы могут передавать параметры – константы и переменные. Переменные могут хранить предысторию и влиять на переходы (моделирование предикатов): на рис. 9-4 показано разветвление перехода в зависимости от условия Counter < 3.

Есть два средства структуризации. Несколько процессов могут объединяться в блок. Блоки связываются друг с другом каналами передачи сигналов. Несколько блоков образуют систему – так достигается структуризация описания. На рис. 9-5, в) изображен блок управления лифтом: открыванием/закрыванием дверей и переме-щением кабины между этажами. Он состоит из трех процессов. Два других блока системы – датчики/привод дверей и датчики/привод подъемного механизма. Задание 1.

Рис. 9-3. Расширения основных элементов SDL