ГОСТ Р ИСО 10303-41—2022
EXPRESS-спеииФикация:
*)
ENTITY externally_defined_item_with_multiple_references
SUBTYPE OF (externally_defined_item);
references :LIST[1:?] OF UNIQUE source_item;
UNIQUE
UR1:references;
WHERE
WR1:NOT(SELF\externally_defined_item.item_id IN references);
END_ENTITY;
(*
Определение атрибута:
references — список текстовых строк типа source_item, представляющих путь к источнику, за
данному атрибутом item_id.
Формальные положения:
UR1. Список ссылок должен быть уникальным;
WR1. Объект externally_defined_item_with_multiple_references является таким подтипом объ
екта externally_defined_item, в котором для предоставления однозначного пути во внешних данных
добавлена цепочка ссылок. Настоящий объект наследует от своего супертипа атрибут item_id,
роль которого играет текстовая строка типа source_item, указывающая обозначение конечного
источника. Значение атрибута должно быть исключено из списка ссылок. Список завершается типом
данных, кото рый ссылается на конечный источник или на который ссылается конечный источник.
14.4.6 Объект pre_defined_item
Объект pre_defined_item представляет обозначение информации, которая не представлена в яв
ном виде в данной передаваемой структуре, но определение которой содержится в EXPRESS-схеме с
пояснениями, которой соответствует передаваемая структура.
Пример — Ссылка на цвет ’red’ (красный) без какого-либо определения цвета в системе RGB мо
жет быть представлена настоящим объектом в том случае, если в соответствующей EXPRESS-
схеме с пояснениями приведено определение значения красного цвета в системе RGB.
EXPRESS-спеииФикаиия:
*)
ENTITY pre__defined_item;
name :label;
END_ENTITY;
(*
Определение атрибута:
name — представленное строковым типом данных label, наименование представленного объек
том pre_defined_item предопределенного элемента.
14.5Определения функций схемы external_reference_schema
14.5.1 Функция acyclic_external_source_relationship
Функция acyclic_external_source_relationship определяет, содержит ли образованный экзем
плярами представляющих внешний источник объектов external_source граф, содержащий в качестве
одного из ребер объект external_source_relationship, играющий роль параметра relation, цепочку ссы
лок, образующую цикл. Настоящая функция может использоваться для обработки графа, ребра кото
рого образованы объектами external_source_relationship или любыми подтипами этого объекта.
Функция возвращает значение TRUE (истина), если не было обнаружено циклов, в противном
случае функция возвращает значение FALSE (ложь).
Примечания
1 Алгоритм функции приведен в Е.2 (приложение Е).
2 Данная функция не используется в настоящей схеме. Определение функции приведено потому, что в дру
гих объединенных ресурсах стандартов серии ИСО 10303 и в прикладных протоколах, в которых используется
представляющий отношение между внешними источниками объект external_source_relationship, используется
правило, обращающееся к настоящей функции.
89