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

     8.1 Обзор процедурных связей

8.1.1 Виды процедурных связей

Процедурная связь должна быть одной из трех видов:

- преобразующая связь (transforming link): связь, которая соединяет объект типа transformee (объект, который преобразуется процессом) или одно из его состояний с процессом преобразования объекта модели, а именно с процессом формирования, использования или изменения состояния этого объекта в результате выполнения процесса;

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

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

Примечание - Объекты типа transformee и enabler являются ролями (функциями) объекта, которые могут иметь отношение к процессу, с которым они связаны, поэтому последний может выполнять роль объекта типа enabler для одного процесса и роль объекта типа transformee - для другого процесса.

8.1.2 Принцип уникальности процедурной связи OPM-методологии

Каждый процесс должен соединяться с преобразующей связью по меньшей мере одного объекта или его состояния. При любой конкретной степени абстракции объект или любое из его состояний должны выполнять только роль в качестве элемента модели по отношению к процессу, с которым он связан: объектом может быть объект типа transformee, enabler, инициатор или условный объект. При заданной степени абстракции объект или его состояние должны устанавливать связь с процессом только с помощью одной процедурной связи.

8.1.3 Процедурные связи, зависящие от состояния объекта

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