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

     9.3 Определяющие состояние преобразующие связи

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

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

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

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

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

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

Примечание 2 - Обозначения свойств связей см. в 11.1.

Пример 1 - Объект Steel Rod (Стальной пруток), находящийся в состоянии pre-heat-treated (предварительная термическая обработка), является объектом типа consumee для процесса Machining (Обработка), который формирует объект типа resultee Shaft (Вал) в том же состоянии. При этом определяющая состояние потребительская связь от процесса Machining к состоянию pre-heat-treated объекта Shaft будет обозначать соответствующую спецификацию модели.

Пример 2 - Развивая пример 1, предположим, что объект Steel Rod находится в состоянии pre-heat-treated и имеет атрибут Quantity [units] (Количество [единиц]) со значением 600. При этом определяющая состояние потребительская связь будет обладать свойством Rate [units/hour] (Скорость потребления [ед/ч]) со значением 60. При выполнении процесса Machining он за 10 ч работы потребит 600 объектов Steel Rods.

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

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

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

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

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

Примечание 1 - Обозначения свойств связей см. в 11.1.

Примечание 2 - В процессе выполнения операционная модель может состоять из нескольких операционных экземпляров, каждый из которых может находиться в различных состояниях.

Пример 1 - Объект Steel Rod (Стальной пруток) в состоянии pre-heat-treated (предварительная термическая обработка) является объектом типа consumee для процесса Machining (Обработка), который создает объект типа resultee Shaft (Вал) в том же состоянии. При этом определяющая состояние результирующая связь от процесса Machining до состояния pre-heat-treated объекта Shaft будет обозначать соответствующую спецификацию модели.

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

Примечание 3 - Разработчику модели, изображенной в правой части рисунка 10, может понадобиться OPL-обозначение, однако размещение OPL-обозначения в левой части этого рисунка может уменьшать неоднозначность.

Рисунок 10 - Правильно (слева) и неправильно (справа) обозначенная результирующая связь с объектом, имеющим начальное состояние