7.1.2 Создание и уничтожение процесса

Процессы могут быть созданы либо в результате явного запроса на создание в ходе выполнения другого процесса, либо в момент создания системы с помощью операции, которая называется «запрос на создание» и выдается процессом в период перехода из одного состояния в другое.

Символ запроса на создание процесса

Семантика

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

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

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

Семантика

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

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

Семантика

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

7.1.5 Ввод Символ ввода

Семантика

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

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

Семантика

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

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

Семантика

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

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

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

7.1.8 Задача Символ задачи

Семантика

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

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

7.1.9 Принятие решения Символ принятия решения

Семантика

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

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

7.1.10 Коннекторы (метки) Символ входного коннектора

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

Семантика

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

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

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

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

7.1.11 Стоп

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

Семантика

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

7.2 Таймер Семантика

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

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

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

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

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

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