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

     6.2 Основные понятия OPM-методологии

6.2.1 Бимодальное представление

OPM-модель должна быть бимодальной (двухуровневой), выражая семантически эквивалентные графические и текстовые представления. Каждая графическая диаграмма OPM-модели (т.е. OPD-диаграмма) должна иметь эквивалентный ОРМ-текстовый раздел, состоящий из одного или нескольких OPM-предложений на OPL-языке.

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

Примечание 2 - В приложении A определен OPL-синтаксис, использующий допущения ИСО/МЭК 14977.

Примечание 3 - Для большинства OPD-рисунков настоящего стандарта соответствующий раздел OPL-предложений сопровождается графической OPD-диаграммой.

6.2.2 Элементы моделирования в OPM-методологии

Элементы как основные композиционные блоки любой системы, смоделированные в OPM-методологии, должны быть двух видов: сущностей и связей. Элементы моделирования объекта и процесса определяют эти сущности в контексте модели. Моделируемые элементы связи должны определять ассоциации между сущностями в контексте модели. Объекты должны быть как без внутреннего состояния, так и с внутренним состоянием, а связи должны быть либо процедурными, либо структурными. На рисунке 1 представлен общий обзор OPM-метамодели.

     
OPM Element - OPM-элемент; OPM Link - OPM-связь; OPM Thing - OPM-сущность; connects - соединяет; Structural Link - структурная связь; Process - процесс; Object - объект; Procedural Link - процедурная связь

Рисунок 1 - Общая структура OPM-метамодели

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

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

6.2.3 OPM-сущности: объекты и процессы

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

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

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

6.2.4 OPM-связи: процедурные и структурные

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

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

6.2.5 OPM-управление контекстом

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

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

Фундаментальной единицей при управлении контекстом является OPD-диаграмма, которая характеризует моделирование элементов конкретного контекста. Разворачивание и увеличение масштаба новой диаграммы обеспечивают получение структурных и процедурных связей между контекстами. Хотя любая OPD-диаграмма может содержать любое количество элементов, в ней должны появляться только те элементы, которые имеют отношение к конкретному контексту.

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