ГОСТ Р ИСО 10303-41—2022
EXPRESS-спеииФикаиия:
*)
ENTITY time_assignment
ABSTRACT SUPERTYPE ;
assigned_time :local_time;
role :time_role;
END_ENTITY;
(*
"
Определения атрибутов:
assigned_time — экземпляр объектного типа данных local_time, представляющий местное вре
мя, которое должно быть связано с данными об изделии;
role — объект time_role, представляющий роль, определяющую цель связывания представленно
го объектом time_assignment присвоения местного времени с данными об изделии.
Пример — Примером роли, которая может быть задана для указания факта, что объект, игра
ющий роль атрибута assigned_time (заданное время), представляет время, когда ожидается начало
некоторого действия, является ’время начала’.
18.4.63 Объект time_interval_assignment
Объект time_interval_assignment представляет связь представленного объектом time_interval
интервала времени сданными об изделии.
EXPRESS-специФикаиия:
*)
ENTITY time_interval_assignment
ABSTRACT SUPERTYPE ;
assigned_time_interval :time_interval;
role :time_interval_role;
END_ENTITY;
(*
Определения атрибутов:
assigned_time_interval — экземпляр объектного типа данных time_interval, представляющий
применяемость, который должен быть связан с данными об изделии;
role — объект time_interval_role, представляющий роль, определяющую цель связывания пред
ставленного объектом time_interval_assignment присвоения интервала времени с данными об изде
лии.
18.5 Определения функций схемы management_resources_schema
18.5.1 Функция acyclic_assignment_object_relationship
Функция acyclic_assignment_object_relationship определяет, содержит ли образованный экзем
плярами объектов типов, входящих в список выбора типа данных assignment_object_select граф, со
держащий в качестве одного из ребер объект assignment_object_relationship, играющий роль пара
метра relation, цепочку ссылок, образующую цикл.Настоящая функция может использоваться для
обработки графа, ребра которого образованы объектами assignment_object_ relationship или любыми
подтипами этого объекта.
Функция возвращает значение TRUE (истина), если не было обнаружено циклов, в противном
случае функция возвращает значение FALSE (ложь).
Примечание — Алгоритм функции приведен в Е.2 (приложение Е).
EXPRESS-спеииФикаиия:
*)
FUNCTION acyclic_assignment_object_relationship (relation :assignment_object_
relationship; relatives :SET[1:?] OF assignment_object_select; specific_
relation :STRING) :BOOLEAN;
LOCAL
x :SET OF assignment_object_relationship;
END LOCAL;
130