ГОСТ Р ИСО 10303-43—2022
EXPRESS-спеииФикация:
*)
ENTITY definitional_representation_relationship_with__same_context
SUBTYPE OF (definitional_representation_relationship);
WHERE
WR1:SELF\representation_relationship.rep_l.context_of_items :=: SELF\
representation_relationship.rep_2.context_of_iterns;
END_ENTITY;
(*
Формальное положение:
WR1. Участвующие в отношении представления должны ссылаться на один и тот же экземпляр
объекта, представляющего контекст.
4.4.7 Объект foundedjtem
Объект foundedjtem — это такой объект, который представляет часть элемента представления.
Объект foundedjtem может использоваться только как часть определения объекта representation_
item и основывается посредством того, что данный объект representationjtem включен в представле
ние. Связанный с настоящим объектом объект representationjtem может быть включен в представле
ние. Объект foundedjtem не может быть включен в представление.
Примечания
1 Посредством настоящего объекта позволяется исправление ошибок в других частях серии ИСО 10303
с обеспечением совместимости с предшествующими версиями. В особенности он является супертипом объек
тов composite_curve_segment и surface_patch, определение которых содержится в ИСО 10303-42 [4] и
объекта view_volume, определение которого содержится в ИСО 10303-46 [6].
2 Для настоящего объектного типа данных не предусматривается создание составных экземпляров двух или
более его подтипов composite_curve_segment, surface_patch и view volume.
3 Настоящий объектный тип данных не предназначен для какого-либо использования, помимо исправления
ошибок вдругих частях серии ИСО 10303, перечисленных выше в примечании 1.
Пример — Объект boundedjcurve, представляющий ограниченную кривую, используемую в каче
стве основы сегмента составной кривой, представленной объектом composite_curve_segment, создан
как результат объекта composite_curve_segment, являющегося объектом foundedjtem, который ис
пользуется как сегмент составной кривой, представленной объектом compositejcurve (подтип объ
екта representationjtem).
Примечание— Определения объектов bounded_curve, composite_curve и geometric_representa-
tion_context содержатся в ИСО 10303-42 [4].
EXPRESS-спеииФикация:
*)
ENTITY founded_item;
DERIVE
users :SET[0:?] OF founded_item_select := using_items(SELF,[]);
WHERE
WR1:SIZEOF(users) > 0;
WR2: NOT(SELF IN users);
END_ENTITY;
(*
Определение атрибута:
users — набор экземпляров объектов representationjtem или экземпляров других объектов
foundedjtem , которые прямо или косвенно ссылаются на настоящий экземпляр.
Формальные положения:
WR1. Должен существовать по крайней мере один объект, использующий настоящий объект. В
сочетании с правилом WR2 это обеспечивает то, что объект foundedjtem используется по меньшей
мере одним объектом representationjtem.
WR2. Граф, образованный всеми объектами, использующими настоящий объект, должен быть
ациклическим.
11