Variable

Входные данные

Входные данные

(переменные)

FSM

Input port

Входной порт

Input signal

Входной сигнал

Output signal

Выходной сигнал

Имя сообщения

Timer

Timer

Таймер

Рис. 2.1. Расширенная FSM

Во входном порту образуется очередь входных сигналов (Input signal), которые там хранятся до момента их взятия в обработку FSM. Входные сигналы (воздействия) от разных источников обрабатываются FSM в порядке их поступления. Каждый входной сигнал имеет вид дискретного сообщения, содержащее имя и входные данные. Для каждого состояния FSM хранит список ожидаемых сообщений. Если входное сообщение соответствует списку ожидаемых сообщений, то FSM в соответствии с входными данными производит транзакцию, т.е. необходимые действия (например, генерирует выходной сигнал источнику/ам воздействий) для перехода в следующее состояние. Если входное сообщение отсутствует в списке, то оно игнорируется. Если во входном порту сообщения отсутствуют, то FSM остается в прежнем состоянии. Для исключения “зависания” процесса FSM таймирует время ожидания поступления очередного сообщения. Поведение FSM в зависимости от входных сообщений отображается в виде диаграммы состояний.

Диаграмма состояний использует следующие основные символы.

Символ Start (Старт) используется для обозначения начала функционирования системы (при включении питания).

Символ State (Состояние) обозначает состояние процесса, которое сохраняется до момента поступления внешнего воздействия (стимула). В теле символа имеется имя состояния и его порядковый номер.

Символ Input (ввод) обозначает внешнее воздействие. Имеет лист стимулов, каждый стимул имеет список сигналов. В теле символа содержится имя воздействия.

Символ Label (Соединитель) используется для соединения различных символов при ограниченном формате листа. Имеет свое имя.

Символ Procedure Call (Обработка вызова) обозначает действия, выполняемые ПО для обслуживания вызова. В теле символа содержится краткое описание действия.

Символ Comment (комментарий) используется для дополнительных пояснений, не поместившихся в теле символа.

Символ Decision (Решение) используется при ветвлении процесса в зависимости от данных. В теле символа содержится вопрос. Положительный ответ обозначается Yes (Да), отрицательный ответ обозначается No (Нет).

Символ Output (Вывод) используется для вывода данных, полученных в результате обработки вызова. В теле символа содержится имя действия.

Символ сохранения данных для обработки в другом состоянии. В теле символа содержатся сохраняемые параметры.

Символ Stop (Стоп) используется для обозначения завершения функционирования системы (при выключении питания).

Порядок выполнения операций во времени – сверху-вниз. Одна из сторон взаимодействия располагается слева, другая – справа. Описание действия и значения таймеров прилагается в текстовом формате.

SDL-диаграммы широко применяются при описании алгоритма функционирования узлов коммутации в сетях связи интегрального обслуживания (Integrated Services Digital Network, ISDN) в виде Рекомендаций сектора стандартизации электросвязи Международного союза электросвязи (International Telecommunication Union - Telecommunication sector, ITU-T).

В узле ISDN используются четыре уровня. Первые четыре верхних уровня образуют подсистему пользователя (ISDN User Part, ISUP) и изображены в виде одной подсистемы управления вызовом (Call Control). Блок-схема обслуживания соединений представлена на рис. 2.2.

Управление вызовом,

L4-L7

Primitives

Управление протоколом

Q.931, L3

Блок, описываемый SDL-диаграммами в Рекомендации ITU-T Q.931

Сообщения к/от сети связи

Сообщения к/от абоненту связи

L2

Интерфейс

пользователь-сеть

L2

L1

ISDN

Абонентский участок

L1

Рис. 2.2. Стек протоколов соединения на абонентском участке

Например, алгоритм функционирования третьего уровня в виде SDL-диаграмм и текстового описания представлен в Рекомендации ITU-T Q.931 (рис. 2.3).

Рис. 2.3. Установление соединения в ISDN (стр.192)