ГОСТ Р ИСО 10303-41—2022
объекта shape_aspect_relationship. Каждый из экземпляров связывает аспект формы, образованный пя
тью гранями, с аспектом формы, образованным каждой из пяти граней;
related_shape_aspect — другой участвующий в отношении экземпляр представляющего аспект
формы объекта shape_aspect. Если один из аспектов формы зависит от другого, роль настоящего
атрибута должен играть объект, представляющий зависимый аспект формы.
Примечание — Определение смысла настоящего атрибута может содержаться или в EXPRESS-схемах
с примечаниями, в которых используется настоящий объект или его подтипы, или на основе соглашения об общем
понимании между партнерами, совместно использующими эту информацию;
id — представленное строковым типом данных identifier обозначение, позволяющее отличить
представленное объектом shape_aspect_relationship отношение между аспектами формы.
Примечания
1 Настоящий атрибут является дополнением к содержащемуся в ИСО 10303-41:1994 определению пред
ставляющего отношение между аспектами формы объекта shape_aspect_relationship. Это дополнение совмести
мо с предшествующими изданиями ИСО 10303-41.
2 Определение смысла настоящего атрибута может содержаться или в EXPRESS-схемах с примечаниями, в
которых используется настоящий объект или его подтипы, или на основе соглашения об общем понимании между
партнерами, совместно использующими эту информацию.
3 Контекст, в котором значение, играющее роль атрибута id настоящего объекта, используется как отличи
тельная характеристика, может быть обозначен в EXPRESS-схеме с примечаниями, в которой используется насто
ящий объект или его подтипы, или, по умолчанию, на основе соглашения об общем понимании между партнерами,
совместно использующими эту информацию.
Формальное положение:
WR1. Каждый представляющий отношение между аспектами формы объект shape_aspect_
relationship должен играть роль атрибута identified_item не более чем в одном объекте типа id_
attribute.
Примечания
1 Определение представляющего обозначение, связанное с данными об изделии объекта id_attribute, со
держится в схеме basic_attribute_schema в настоящем стандарте.
2 Шаблон, ограничивающий создание экземпляров объектных типов данных, определения которых содер
жатся в схеме basic_attribute_schema, описан в приложении Е.
22.5 Определения функций схемы product_property_definition_schema
22.5.1 Функция acyclic_characterized_object_relationship
Функция acyclic_characterized_object_relationship определяет, содержит ли образованный эк
земплярами представляющих объект с характеристиками объектов characterized_object граф, содер
жащий в качестве одного из ребер объект characterized_object_relationship, играющий роль пара
метра relation, цепочку ссылок, образующую цикл. Настоящая функция может использоваться для
обработки графа, ребра которого образованы объектами characterized_object_ relationship или лю
быми подтипами этого объекта.
Функция возвращает значение TRUE (истина), если не было обнаружено циклов, в противном
случае функция возвращает значение FALSE (ложь).
Примечания
1 Алгоритм функции приведен в Е.2 (приложение Е).
2 Данная функция не используется в настоящей схеме. Определение функции приведено потому, что в дру
гих объединенных ресурсах стандартов серии ИСО 10303 и в прикладных протоколах, в которых используется
представляющий отношение между характеризованными определениями объектов объект characterized_object_
relationship, используется правило, обращающееся к настоящей функции.
EXPRESS-специФикаиия:
*)
FUNCTION acyclic_characterized_object_relationship (relation :
characterized_object_relationship; relatives :SET[1:?] OF
characterized_object; specific_relation :STRING) :BOOLEAN;
LOCAL
x : SET OF characterized_object_relationship;
242