Синтаксис

Ключевое слово системы SYSTEM

<заголовок системы>::= SYSTEM <имя системы>

Обозначается система символом кадра:

Семантика

Система отделена от окружающей ее среды границей системы и содержит совокупность блоков. Связь между системой и окружающей средой или между блоками в системе может осуществляться только с помощью сигналов. Внутри системы эти сигналы передаются по каналам. Каналы соединяют блоки друг с другом или с границей системы.

Задание системы содержит следующие компоненты:

-имя системы;

-определение блоков (спецификация блоков, на которые разбита система);

-определения сигналов (спецификация типов сигналов, передаваемых между блоками системы или между блоками и окружающей средой);

-определение списков сигналов (спецификация идентификаторов, объединяющих несколько сигналов и/или другие списки сигналов). Списки сигналов не являются обязательной частью задания системы (списки используются для экономии места и обеспечения более ясной (понятной) спецификации);

-определение каналов (спецификация каналов, связывающих блоки друг с другом и с окружением; определение канала содержит спецификацию идентификаторов сигналов, передаваемых по этому каналу);

-определения данных. Не являются обязательными для SDL/GR. Определения данных включает в себя спецификацию определенных новых типов данных; синонимических типов и генераторов, доступных во всех блоках;

-определения макрокоманд (использование макрокоманд не обязательно, но желательно для экономии места и обеспечения более ясной спецификации).

7.1.2 Блок

Каждая система содержит несколько блоков, соединенных между собой каналами.

Каждый блок системы независим от любого другого блока. Каждый блок может содержать один или несколько процессов, описывающих поведение блока.

В блоке при необходимости можно (но не обязательно) определить пути связи между процессами или между процессами и границей блока. Такие пути связи называют маршрутами сигналов.

Для больших SDL-систем существует возможность описать подструктуру блока в терминах других блоков и каналов так, как будто сам блок является системой.

Определение структуры блока может включать следующие элементы:

• имя блока;

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

• определение списков сигналов (спецификация идентификаторов, соответствующих спискам сигналов и/или другим идентификаторам списков сигналов);

• определение маршрутов сигналов (спецификация путей связи, соединяющих процессы блока друг с другом и с границей блока. Спецификация маршрута сигнала содержит спецификацию идентификаторов сигналов, передаваемых по этому маршруту);

• соединения каналов с маршрутами (спецификация соединений каналов, внешних по отношению к блоку, с маршрутами сигналов, расположенных внутри блока);

• определение процессов (спецификация типов процессов, описывающих поведение

блока);

• определение данных (спецификация определенных пользователем новых типов, синонимичных типов и генераторов, доступных по всех описанных процессах и/или подструктуре блока);

• определение макрокоманд.

<идентификатор канала> идентифицирует канал, присоединенный к маршруту канала в <диаграмме блока>. Этот канал помещается вне <символа кадра> впритык к той точке, в которой заканчивается маршрут сигнала на <на символе кадра). Если <диаграмма блока> не содержит <области взаимодействия процессов), то она должна содержать <область подструктуры блока).

Синтаксис

Ключевое слово блока ВLOСК

<заголовок блока>:: = ВLOСК {<имя блока>|<идентификатор блока>} Обозначается блок также символом кадра:

Процесс обозначается символом:

<символ процесса>::=

7.2 Связь

7.2.1 Сигнал

Семантика

Сигнал передает информацию некоторому процессу.

Сигналы на SDL-диаграммах могут изображаться несколькими способами: а) с использованием символа текста:

б) с использованием символа списка сигналов;

в) простое перечисление сигналов над символами канала и/или маршрута.

Синтаксис

<символ текста>::= b

<символ списка сигналов>::=

Ключевое слово сигнала SIGNAL

7.2.2 Канал Семантика

Канал является средством передачи сигналов между различными блоками системы или между блоками и окружением (окружающей средой). Канал может соединять один блок с другим или один блок с окружением (окружающей средой) в одном направлении (односторонний канал); либо в обоих направлениях (двусторонний канал). Канал можно рассматривать как сложную структуру, разбиение которой вновь приводят к каналам, блокам и сигналам. Сигналы, передаваемые по каналу, доставляются в приемник. Сигналы доставляются в конечной точке получателю в том порядке, в котором они были поданы в начальной точке канала. Если два или более сигналов подаются в канал одновременно, то доставляются они в случайном порядке. Канал может задерживать передаваемые по нему сигналы.

Это означает, что с каждым направлением канала связана очередь, организованная по дисциплине FIFO (First-In-First-Out - Первым - Пришел - Первым ушел).

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

Между одной и той же парой точек может существовать несколько каналов.

Сигнал одного и того же типа может передаваться по разным каналам.

Определение канала включает следующее элементы:

• имя канала;

• один или два пути связи (путь связи специфицирует источник и приемник списка сигналов);

• один или два списка сигналов (для каждого направления связи должен быть идентифицирован список сигналов, передаваемых в данном направлении. Список может включать идентификаторы сигналов, а также идентификаторы других списков); -необязательное определение подструктуры канала.

На рисунке 1 показаны примеры изображения каналов.

Рисунок 1 – Примеры задания (изображения) каналов