ГОСТ Р ИСО 10303-41—2022
представляющими контекст представления объектами representation_context, представляющими
связь между представлениями объектами representation_relationship, представляющими отображае
мый элемент объектами mapped_item. Направленные связи показывают узлы графа, из которого они
исходят, и ненаправленных связей, и состоят исключительно из экземпляров объектного типа данных
representation_relationship. Роль атрибута гер_2 играет объект, представляющий представление, рас
положенное в направлении корня графа, а роль атрибута гер_1 играет объект, представляющий пред
ставление, расположенное в направлении листьев графа.
EXPRESS-специсЬикаиия:
*)
ENTITY chain_based_item_identified_representation_usage
SUBTYPE OF (item_identified__representation__usage);
nodes :LIST[2:?] OF UNIQUE representation;
undirected_link :LISTfl:?] OF chained_representation_link;
DERIVE
root :representation := nodes[1];
SELF\item_identified_representation_usage.used_representation
RENAMED leaf :representation := nodes[HIINDEX(nodes)];
directed_link :LIST[1:?] OF representation_relationship :=
get_directed_link(nodes, undirected_link);
WHERE
WR1: EXISTS(directed_link);
END_ENTITY;
(*
"
Определения атрибутов:
nodes — список объектов representation, представляющих представления в последовательности
ссылок;
undirectedjink — список элементов, связывающих узлы в последовательности ссылок.
Примечание — Элементы в списке, играющие роль агрегатного атрибута undirectedjink, правильно
расположены относительно узлов списка, но нет гарантии, что вдоль последовательности ссылок формируется
однородная направленность;
root — представленный объектом representation узел, который является начальным узлом
списка;
leaf— представленный объектом representation узел, который является конечным узлом списка;
directedjink — список представляющих отношения между представлениями объектов, являю щийся
производным от списка, играющего роль атрибута undirectedjink (ненаправленная связь). Объ екты,
входящие в этот список, образуют непрерывную последовательность от корневого узла графа до
листьевого узла.
Формальное положение:
WR1. Атрибут directedjink (направленная связь) должен быть согласован с играющим роль
атрибута nodes (узлы) набором объектов, представляющих представления, и с играющим роль атри
бута undirectedjink (ненаправленная связь) набором объектов, представляющих отношения между
представлениями.
Примечание — Функция get_directedjink возвращает значение «не определено», если не удается по
строить правильный список. Функция EXISTS языка EXPRESS возвращает значение FALSE (ложь), если входные
значения не определены.
23.4.2 Объект characterized_chain_basedJtem_within_representation
Объект characterized_chain_basedJtem_within_representation является таким подтипом объек
та characterizedJtem_within_representation, который представляет цепочку в графе, образованном
представляющими представления объектами representation. В графе ненаправленные связи задают
ся представляющими контекст представления объектами representation_context, представляющими
связь между представлениями объектами representation_ relationship, представляющими отображае
мый элемент объектами mappedjtem. Направленные связи показывают узлы графа, из которого они
исходят, и ненаправленных связей и состоят исключительно из экземпляров объектного типа данных
250