ГОСТ Р ИСО 10303-43—2022
Пример — В прикладном протоколе, относящемся к предметной области рабочего проектирова
ния судов, с помощью табличной структуры, состоящей из экземпляров объектов list_representation_
item, могут быть представлены гидростатические свойства корпуса судна.
EXPRESS-спеииФикаиия:
*)
ENTITY compound_representation_item
SUBTYPE OF (representation_item);
item_element :compound_item_definition;
END_ENTITY;
(*
"
Определение атрибута:
item_element — упорядоченнее множество экземпляров объектов representation_item, пред
ставленное экземпляром типа данных list_representation_ item или неупорядоченное множество эк
земпляров объектов representationjtem, представленное экземпляром типа данных set_representa-
tion_item, которое образует значение настоящего объекта.
4.4.4 Объект definitional_representation
Объект definitional_representation является таким подтипом объекта representation, контекст ко
торого представлен объектом parametric_representation_ context.
EXPRESS-спеииФикаиия:
*)
ENTITY definitional_representation
SUBTYPE OF (representation);
WHERE
WR1: ’REPRESENTATION_SCHEMA.PARAMETRIC_REPRESENTATION_CONTEXT’ IN TYPEOF
(SELF\representation.context_of_items );
END_ENTITY;
(*
"
Формальнее положение:
WR1. Роль атрибута context_of_items настоящего объекта должен играть объект parametric_
representation_context, представляющий контекст представления параметрического пространства.
4.4.5 Объект definitional_representation_relationship
Объект definitional_representation_relationship является подтипом объекта representation_rela-
tionship. Описание, представленное объектом, играющим роль атрибута гер_1, является частью опре
деления описания, представленного объектом, играющим роль атрибута гер_2.
Примечание — Само по себе представленное объектом representation_ relationship отношение пред
ставлений не устанавливает того, что одно представление является частью определения другого представления,
как это имеет место вслучае с объектом mapped_item. Действие настоящего объекта сходно сдействием объекта
mapped_item.
EXPRESS-спеииФикаиия:
*)
ENTITY definitional_representation_relationship
SUBTYPE OF (representation_relationship);
WHERE
WR1:acyclic_representation_relationship(SELF, [SELF\representation_
relationship.rep_2], ’REPRESENTATION_SCHEMA.’+’REPRESENTATION’);
END_ENTITY;
(*
"
Формальное положение:
WR1. Настоящий объект не должен входить в циклы.
4.4.6 Объект definitional_representation_relationship_with_same_context
Объект definitional_representation_relationship_with_same_context является таким подтипом
объекта definitional_representation_relationship, у которого участвующие в отношении представления
имеют общий контекст.
10