ГОСТ Р ИСО 10303-41—2022
representation_relationship. Роль атрибута гер_2 играет объект, представляющий представление, рас
положенное в направлении корня графа, а роль атрибута гер_1 играет объект, представляющий пред
ставление, расположенное в направлении листьев графа.
EXPRESS-специФикация:
*)
ENTITY characterized_chain_based_item_within_representation
SUBTYPE OF (characterized_item_within_representation);
representation;
OF chained_representation_link;
nodes :LIST[2:?] OF UNIQUE
undirected_link :LIST[1:?]
DERIVE
root :representation := nodes[1];
SELF\characterized_item_within_representation.rep 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, представляющих представления в последовательности
ссылок;
undirected_link — список элементов, связывающих узлы в последовательности ссылок.
Примечание — Элементы в списке, играющие роль агрегатного атрибута undirectedjink, правильно
расположены относительно узлов списка, но нет гарантии, что вдоль последовательности ссылок формируется
однородная направленность;
root — представленный объектом representation узел, который является начальным узлом
списка;
leaf— представленный объектом representation узел, который является конечным узлом списка;
directedjink — список представляющих отношения между представлениями объектов, являю щийся
производным от списка, играющего роль атрибута undirectedjink (ненаправленная связь). Объ екты,
входящие в этот список, образуют непрерывную последовательность от корневого узла графа до
листьевого узла.
Формальное положение:
WR1. Атрибут directedjink (направленная связь) должен быть согласован с играющим роль
атрибута nodes (узлы) набором объектов, представляющих представления, и с играющим роль атри
бута undirectedjink (ненаправленная связь) набором объектов, представляющих отношения между
представлениями.
Примечание — Функция get_directed_link возвращает значение «не определено», если не удается по
строить правильный список. Функция EXISTS языка EXPRESS возвращает значение FALSE (ложь), если входные
значения не определены.
23.4.3 Объект characterizedJtem_within_representation
Объект characterized_item_within_representation является таким подтипом объекта character-
ized_object, посредством которого предоставляется характеристика представленного объектом герге-
sentationjtem элемента представления, входящего в представленное объектом representation пред
ставление.
EXPRESS-специФикация:
*)
ENTITY characterized_item_within_representation
SUBTYPE OF (characterized_object);
item :representation_item;
rep :representation;
251