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

     9.4 Определяющие состояние разрешающие связи

9.4.1 Определяющая состояние агентская связь

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

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

Синтаксис определяющей состояние агентской связи должен выражаться следующим OPL-предложением: Объект Specified-state Agent (Определяющий состояние агент) управляет процессом Processing (Обработка).

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

Пример - Необходимо, чтобы объект Pilot (Пилот) был в состоянии sober (адекватный), чтобы его можно было бы считать агентом процесса Flying (Полет) на объекте Airplane (Самолет). Соответствующее OPL-предложение таково: Объект Sober Pilot (Адекватный пилот) управляет процессом Flying (Полет).

9.4.2 Определяющая состояние инструментальная связь

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

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

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

Пример - OPD-диаграмма (см. рисунок 12) иллюстрирует различия между основной связью и определяющими состояние инструментальными связями. В левой части рисунка объект Moving Truck (Подвижная тележка) является инструментальным средством для процесса Moving (Перемещение) и означает, что состояние этого объекта не имеет значения, тогда как в правой части данного рисунка квалифицированное состояние serviced (обслуживаемое) Moving Truck является инструментальным средством для процесса Moving, которое означает, что процесс Moving будет иметь место только тогда, когда объект Moving Truck будет находиться в состоянии serviced.

Физический объект Moving Truck (Подвижная тележка) является объектом в состоянии physical (физическое).

Физический объект Moving Truck (Подвижная тележка) может находиться в состоянии worn out (изношенный) или serviced (обслуживаемый).

Связанный с внешней средой процесс Servicing (Обслуживание) является процессом environmental (связанный с внешней средой) и состоянием physical (физическое).

Процесс Servicing (Обслуживание) изменяет состояние физического объекта Moving Truck (Подвижная тележка) из состояния worn out (изношенное) на состояние serviced (обслуживаемое).

Физический объект Apartment Content Location (Положение содержимого помещения) является объектом с состоянием physical (физическое).