ПНСТ 173-2016/PAS 19450:2015 Системы промышленной автоматизации и интеграция. Объектно-процессуальная методология

     9.5 Управляющие связи

9.5.1 Виды управляющих связей

В рамках парадигмы Event-Condition-Action (событие-условие-действие) (см. 8.2.1), лежащей в основе операционной OPM-семантики, ситуационная (event link), условная (condition link) и исключающая связи (exception link) должны характеризовать соответственно событие, условие и временное исключение. Эти три вида связей должны представлять управляющие связи (control links), которые должны существовать либо между объектом и процессом, либо между двумя процессами.

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

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

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

Примечание 1 - Для инициализации оценки предварительных условий все последующие события могут поступать из других источников.

Условная связь должна быть процедурной связью (procedural link) между исходным объектом-источником (или объектом-состоянием) и целевым процессом. Эта условная связь должна устанавливать способ обхода, который будет позволять системе управлять выполнением путем пропуска или обхода целевого процесса, если оценка выполнения его предварительных условий оказалась неудовлетворительной.

Примечание 2 - Без способа обхода в условной связи невозможность удовлетворения предварительных условий ограничивает процесс ожидания выполнения этих условий.

Для ситуационных/условных связей каждый вид входящих преобразующей и разрешающей связей, т.е. связи между объектом (или состоянием объекта) и процессом, должен иметь соответствующий вид ситуационной/условной связи.

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

Примечание 3 - Из-за невозможности успешного завершения процесса часто происходит увеличение или снижение сроков исполнения, исключительными могут стать другие ситуации. Кроме того, все несвязанные со временем исключения могут быть смоделированы с использованием диапазонов значений (подобный способ использования рассмотрен в разделе C.6).

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

9.5.2 Ситуационные связи

9.5.2.1 Преобразующие ситуационные связи

9.5.2.1.1 Потребительская ситуационная связь

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

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

Синтаксис определяющей состояние эффективной ситуационной связи должен выражаться следующим OPL-предложением: Объект Object (Объект) инициирует процесс Process (Процесс), который потребляет объект Object.

9.5.2.1.2 Воздействующая ситуационная связь

Воздействующей ситуационной связью (effect event link) должна быть аннотированная часть действующей связи между объектом и процессом, который инициирует создание оперативного экземпляра объекта. Удовлетворение предварительных условий для процесса и последующего его выполнения должно каким-либо образом оказывать влияние на инициирующий объект.

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

Синтаксис определяющей состояние действующей ситуационной связи должен выражаться следующим OPL-предложением: Объект Object (Объект) инициирует процесс Process (Процесс), который взаимодействует с объектом Object.

9.5.2.1.3 Обзор преобразующих ситуационных связей

В таблице 5 приведены все преобразующие ситуационные связи.