ГОСТ Р ИСО 10303-51—2011
compound_maths_space_ context со списком компонентов, состоящим из единственной ссылки на
объект maths_space_context. который представляет контекст математического пространства данного
изделия.
4.4.2 Объект defined_maths_space_context
Объект definod_maths_space_context является подтипом объекта maths_space_ context, опре
деленным с помощью ссылки на объект ropresontation_context. объект unit или на оба эти объекта.
П р и м е ч а н и е — Объектdeflned_maths_epace_contextможетбытьреализованкак объект
representatlon_context_deflned_maths_space_eontext. объект unlt_detlned_maths_space_context или как оба
эти объекта.
EXPRESS-спецификаиия:
*>
ENTITY defmed_maths_space_context
SUBTYPE OF (maths_space_context);
END_ENTITY;
r
4.4.3 Объект explicitly_enumerated_maths_space_context
Объект explicitly_enumerated_maths_space_context является подтипом объекта maths_
space_context. определенным с помощью задания экземпляров объекта maths_value_context. кото
рые являются элементами объекта maths_space_context.
П р и м е ч а н и е — Объект expllcltly_enumerated_maths_space_context может быть определен только
для дискретного объекта maths_space с конечным числом элементов.
EXPRESS-спецификаиия:
#)
ENTITY explicitly_enumerated_maths_space_context
SUBTYPE OF (maths_space_context);
members : SET[1:?] OF maths_value_context;
END_ENTITY;
Г
Определение атрибута
members — экземпляры объекта maths_value_context. которые являются элементами объекта
maths_space_context.
4.4.4 Объект maths_space_context
Объект maths_space_context является взаимно-однозначным отображением между физичес
ким пространством и объектом maths_space, которое показывает физическую сущность объекта
maths_space
EXPRESS-спецификаиия:
*>
ENTITY maths_space_context
SUPERTYPE OF (ONEOF
(compound_maths_space_context.
defined_maths_space_context,
explicitly_enumerated_matbs_space_context));
Id : identifier;
name : label;
description : OPTIONAL text;
abstract_space : maths_space:
physical_space : space_context_select;
END_ENTITY;
r
7