Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Скачиваний:
68
Добавлен:
04.01.2020
Размер:
4.22 Mб
Скачать
  1. Процессы

Старт

Символ старта

Семантика

Старт идентифицирует процесс, заменяя в нем формальные параметры на фактические параметры в соответствии со спецификацией запроса на создание.

Состояние

Символ состояния

Семантика

Состояние изображает специальное условие, при котором процесс может воспринимать сигнал, в результате чего возникает переход. Если нет задержанных сигналов, то процесс остается в этом состоянии в ожидании поступления сигнала.

Ввод

Символ ввода

Семантика

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

Сохранение

Символ сохранения

Семантика

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

Вывод

Символ вывода

Семантика

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

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

Рисунок 15 – Вывод, содержащий связанные с ним значения

Работа

Символ работы

Семантика

Работа используется при переходе либо для представления операций над переменными, либо для представления специальных операций с помощью неформального текста (см. рисунок 16).

Рисунок 16 – Примеры использования работы

Решение

Символ решения

Семантика

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

Вопрос, стоящий в принятии решения, может иметь форму выражения или неформального текста. Ответы представляются либо в форме одного или нескольких возможных значений, полученных вычислением выражения, стоящего в вопросе, либо в форме одного или более неформальных текстов (см. рисунок 17).

Рисунок 17 – Примеры использования символа решения

Стоп

<символ стоп >::=

Семантика

Стоп вызывает немедленный останов процесса, выдавшего стоп. Это означает, что все задержанные во входном порту сигналы аннулируются и прекращают свое существование переменные и таймеры, созданные для этого процесса, а также его порт и он сам.

Коннекторы

Символ входного коннектора

Символ выходного коннектора :: = символ входного коннектора

Семантика

Присоединение позволяют передавать управление из одного места процесса (процедуры, сервиса) в другое.

На SDL/GR присоединениям соответствуют коннекторы (входные и выходные коннекторы). Они могут использоваться для расчленения диаграммы, вызванного недостатком места, а также для избегания пересечений линий потока, которые могли бы привести к неясности.

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

Желательно снабжать входной коннектор ссылкой на страницу соответствующего(-их) выходного(-ых) коннектора(-ов) и, кроме того, снабжать выходные коннекторы ссылками на соответствующий входной коннектор (см. рисунок 18).

Рисунок 18 – Ссылки на страницы при коннекторах

Таймеры

Семантика

Необходимость для систем иметь возможность измерять время и запрашивать перерывы обеспечивается с помощью таймеров и набором операций, выполняемых над ними.

Использование таймера должно быть объявлено в определении таймера в пределах определения процесса. Для активизации таймера используются операции "SET" и "RESET".

Операция SET (установка) вызывает появление перерыва в определенный момент времени, а операция RESET (сброс) аннулирует специфицированный перерыв.

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

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

В конструкции установки должно быть специфицировано абсолютное время. Относительное время преобразуется в абсолютное время прибавлением примитивной функции "NOW", представляющей текущее время (рисунок 19).

Рисунок 19 – Пример использования таймера

Соседние файлы в папке ЯМСЭ