ГОСТ Р ИСО 10303-43—2022
ляется посредством представляющего единицы измерения объекта global_unit_assigned_context, на
который ссылается объект representation, к которому относится объект value_representation_item.
Примечания
1 Определение объекта global_unit_assigned_context, подтипа объекта representation_context содержит
ся в ИСО 10303-41.
2 Объектный тип данных measure_representation_item, определение которого содержится в ИСО 10303-45
[5], задает элемент представления, состоящий из величины и единицы измерения.
EXPRESS-специФикация:
*)
ENTITY value_representation__item
SUBTYPE OF (representation_item);
value_component :measure_value;
WHERE
WR1: SIZEOF (QUERY (rep <* using_representations (SELF) |NOT (’MEASURE_
SCHEMA.GLOBAL_UNIT_ASSIGNED_CONTEXT’ IN TYPEOF (rep.context_of_iterns) ))) = 0;
END_ENTITY;
(*
Определение атрибута:
value_component — значение элемента представления, выраженное в единице измерения, за
даваемой объектом global_unit_assigned_context.
Формальное положение:
WR1. Каждый экземпляр объекта value_representation_item должен быть членом множества,
играющего роль атрибута items объекта representation, у которого роль атрибута context_of_items
играет экземпляр объекта representation_ context, являющийся экземпляром объекта global_unit_as-
signed_context, или экземпляр объекта value_representation_item должен быть использован в опре
делении такого объекта representation_item.
Неформальное положение:
IP1. Если экземпляр объекта value_representation_item входит в структуры более чем од
ного представления, определяемых объектами representation, то для каждого из этих объектов
representation должны быть заданы одни и те же единицы измерения или за счет того, что они ссыла
ются на один и тот же экземпляр объекта global_unit_assigned_context, или за счет того, что все объ
екты global_unit_ assigned_context задают одну и ту же единицу измерения.
4.5 Определения функций схемы representation_schema
4.5.1 Функция acyclic_mapped_representation
Функция acyclic_mapped_representation определяет, является ли данный объект mapped_item
самоопределяющимся за счет отображения представляющих определения объектов representation,
которые ссылаются на объекты mapped_item. Функция выполняет рекурсивную проверку объектов,
играющих роль атрибутов mapped_representation и атрибутов items этих объектов с целью найти та
кие экземпляры объектов mapped_item или representation_item, которые ссылаются на проверяемый
объект mapped_item, что приводит к самоопределяющимся ссылкам.
Настоящая функция возвращает значение TRUE (истина), если проверяемый объект
representation_item не приводит к самоопределению. Функция возвращает значение FALSE (ложь) в
противном случае. Функция имеет булев тип (BOOLEAN).
Примечание — Настоящая функция используется для наложения ограничения на объект mapped_item.
EXPRESS-специФикация:
*)
FUNCTION acyclic_mapped_representation (mi :mapped_item) :BOOLEAN;
LOCAL
rms :SET OF representation_map;
mis :SET OF mapped_item;
rsl, rs2 ; SET OF representation;
END LOCAL;
25