ГОСТ Р ИСО 10303-51—2011
EXPRESS-спеиификация:
*)
ТУРЕ space_context_select = EXTENSIBLE SELECT
(action,
action_method,
general_property.
product_definition.
representationJtem.
shape_aspect);
END_TYPE;
Г
4.3.2 Тип данных value_context_select
Тип данных value_context_select является наращиваемым списком альтернативных типов дан
ных. Он обеспечивает возможность ссылаться на экземпляры типов данных, входящих в тип данных
value_context_select или его расширения.
П р и м е ч а н и е — Список объектных типов данных может быть расширен в прикладных ресурсах, исполь
зующих конструкции данного ресурса.
EXPRESS-спеиификация:
*Л
TYPE value_context_select = EXTENSIBLE SELECT
(action.
action_method.
general_property.
product_definition,
representation_item,
shape_aspect):
END_TYPE;
Г
4.4 Определение объектов схемы mathematical_context_schema
4.4.1 Объект compound_maths_space_context
Объект compound_maths_space_context является подтипом объекта maths_ space_context.
определяемым списком особыхэкземпляров объекта maths_space_ context. Объект maths_space, на
который ссылается объект maths_space_context. является пространством кортежей. В объекте
maths_space_context для каждого элемента в кортеже имеется соответствующая позиция в списке.
Пример — Рассмотрим два разных экземпляра объекта maths_space_context: Р1. предст авляю
щ ий связь между двухмерным множеством точек на поверхност и изделия ‘ту product’ и R2, и Р2. пред
ст авляющ ий связь между одномерным множеством сост ояний дейст вия m y_actlvlty и R. Тогда связь
между трехмерным множеством точек на поверхност и изделия ту_product для сост ояний действия
m y_actlvlty и R3 являет ся объектом compound_maths_apace_context. определяемым произведением
Р1 к Р2.
EXPRESS-спеиификация:
*)
ENTITY compound_mattis_space_context
SUBTYPE OF (maths_space_context);
components : LIST[2:?] OF maths_space_context;
END_ENTITY:
(*
Определение атрибута
components — экземпляры объекта maths_space_context. являющиеся компонентами объекта
compound_maths_space_context. Объект maths_space_context для отдельного состояния изделия
может быть получен из объекта maths_space_ context, представляющего контекст математического
пространства данного изделия. При этом у данного отдельного состояния должен быть объект
6