7 Теоретическая часть
7.1 Описание структуры блока sdl
7.1.1 Блок
Каждая система содержит несколько блоков, соединенных между собой каналами.
Каждый блок системы независим от любого другого блока.
Каждый блок может содержать один или несколько процессов, описывающих поведение блока.
В блоке при необходимости можно (но не обязательно) определить пути связи между процессами или между процессами и границей блока. Такие пути связи называют маршрутами сигналов.
Для больших SDL-систем существует возможность описать подструктуру блока в терминах других блоков и каналов так, как будто сам блок является системой.
Определение структуры блока может включать следующие элементы:
-
имя блока; - определение сигналов (спецификация типов сигналов, передаваемых внутри блока. Включает спецификацию типов значений, передаваемых сигналами);
-
определение списков сигналов (спецификация идентификаторов, соответствующих спискам сигналов и/или другим идентификаторам списков сигналов);
-
определение маршрутов сигналов (спецификация путей связи, соединяющих процессы блока друг с другом и с границей блока. Спецификация маршрута сигнала содержит спецификацию идентификаторов сигналов, передаваемых по этому маршруту);
-
соединения каналов с маршрутами (спецификация соединений каналов, внешних по отношению к блоку, с маршрутами сигналов, расположенных внутри блока);
-
определение процессов (спецификация типов процессов, описывающих поведение блока);
-
определение данных (спецификация определенных пользователем новых типов, синонимичных типов и генераторов, доступных по всех описанных процессах и/или подструктуре блока);
-
определение макрокоманд.
<идентификатор канала> идентифицирует канал, присоединенный к маршруту канала в <диаграмме блока>. Этот канал помещается вне <символа кадра> впритык к той точке, в которой заканчивается маршрут сигнала на <на символе кадра). Если <диаграмма блока> не содержит <области взаимодействия процессов), то она должна содержать <область подструктуры блока).
Синтаксис
Ключевое слово блока ВLOСК
<заголовок блока>:: = ВLOСК {<имя блока>|<идентификатор блока>}
Обозначается блок также символом кадра:
Процесс обозначается символом:
<символ процесса)::=
7.2 Связь
7.2.1 Сигнал
Семантика
Сигнал передает информацию некоторому процессу.
Сигналы на SDL-диаграммах могут изображаться несколькими способами: а) с использованием символа текста:
б) с использованием символа списка сигналов;
в) простое перечисление сигналов над символами канала и/или маршрута.
Синтаксис
<символ текста>::= b
a
<символ списка сигналов>::=
Ключевое слово сигнала SIGNAL
7.2.2 Маршрут сигнала
Семантика
Маршрут сигнала изображает (представляет) путь передачи сигнала.
Маршрут сигнала может рассматриваться как один или два независимых односторонних пути прохождения сигналов между двумя процессами или между процессом и окружающей средой.
Маршрут сигнала не задерживает передаваемые no нему сигналы.
Сигналы, передаваемые по маршруту сигнала, доставляются в приемник сигнала.
Символ маршрута сигнала содержит стрелку
-
у одного конца (односторонний маршрут)
-
у обоих концов (двухсторонний маршрут); Стрелки указывают направление движения сигналов.
С каждой стрелкой <символа маршрута сигнала> должна быть связана <область списка сигналов>.
<область списка сигналов> должна быть помещена достаточно близко к стрелке, чтобы не вызывать никаких разночтений.
Если <символ маршрута сигнала> подсоединен к <символу кадра>, то <идентификатор канала> идентифицирует тот канал, к которому подсоединен маршрут сигнала. Примеры изображения маршрутов сигнала показаны на рисунке 1.
Рисунок 1 – Примеры задания маршрутов сигналов