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

     10.3 Фундаментальные структурные взаимосвязи

10.3.1 Виды фундаментальных структурных взаимосвязей

Фундаментальные структурные взаимосвязи (fundamental structural relations) - это наиболее распространенные структурные взаимосвязи между OPM-сущностями, которые имеют особое значение для определения и понимания системы. Каждое из этих функциональных взаимоотношений должно уточнять и преобразовывать одну из исходных сущностей (source thing) типа refineable в совокупность из одной или нескольких конечных (целевых) сущностей (destination things) типа refinees.

Основными фундаментальными структурными взаимосвязями являются следующие:

- взаимосвязи типа "агрегация - является частью" (aggregation-participation), которые будут определять связи между целым и его частями;

- взаимосвязи типа "представление-характеризация" (exhibition-characterization), которые будут определять связи между представителем (exhibitor) - сущностью, которая представляет один или несколько признаков (атрибутов и/или операций), и сущностями, которые характеризуют этого представителя;

- взаимосвязи типа "обобщение-специализация" (generalization-specialization), которые будут определять связи между общей сущностью и ее конкретными реализациями;

- взаимосвязи типа "классификация-инстанцирование" (classification-instantiation), которые будут определять связи между классом сущностей и экземплярами сущностей типа refinee этого класса.

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

За исключением взаимосвязи типа "представление-характеризация", целевые сущности объекта типа refinee должны иметь одно и то же значение устойчивости (Perseverance) как исходной сущности типа refineable, т.е. все объекты либо имеют статическое состояние Perseverance, либо динамическое состояние Perseverance.

Свертыванием (folding) объектов типа refinees должно быть сокрытие детализирующих сущностей типа refineable, а развертыванием (unfolding) этих сущностей для элементов типа refinees должно быть выражение сущностей типа refineable (см. 14.2.1.2).

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

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

10.3.2 Реляционная связь типа "агрегация - является частью"

Фундаментальное структурное взаимоотношение типа "агрегация - является частью" (aggregation-participation) должно означать, что сущность типа refineable (whole) группирует одно или несколько объектов типа refinees (parts).

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

Синтаксис реляционной связи типа "агрегация - является частью" должен выражаться следующим OPL-предложением: Сущность типа Whole-thing состоит из частичных сущностей Part-thing, Part-thing, ..., и Part-thing.

Пример 1 -

Объект Resource Description Framework Statement (Утверждение стандарта RDF [схема описания ресурсов]) состоит из объектов Subject (Субъект), Predicate (Предикат) и Object (Объект).

Рисунок 16 - Диаграмма для условной связи типа "агрегация - является частью"

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

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