ГОСТ Р МЭК 61360-2—2013
Определения атрибутов:
domain: BSU класса class_BSU. ссылающаяся на класс, представляющий описанный тип.
5.10.3.26 Тип реализации сущности (Entity_instance_type)
Сущность entity_instance_type задает значения элементов DET. представляемых реализация
ми некоторых типов данных сущностей языка EXPRESS. Атрибут имени типа type_names позволяет
выбрать допустимый тип данных. Указанные типы данных — это строки, образующие набор. Данный
атрибут, вместе с функцией типа TYPEOF языка EXPRESS, примененный к некоторому значению, по
зволяет выполнить строгую проверку типа и выявить полиморфизм. Данная сущность описывается как
подтип для некоторых типов данных, допустимых для использования в словарных схемах.
Примечание — Если некоторая сущность языка EXPRESS — это значение некоторого элемента DET,
тип данных которого — это тип реализации сущности entity_instance_type, то возможно скорректировать тип. при
менив функцию типа TYPEOF языка EXPRESS для данного значения DET и сравнив результатыданного действия
со строками, содержащимися в атрибуте набора имен типов type_names.
Пример представления на языке EXPRESS:
*)
ENTITY entity_instance_type
SUBTYPE OF<complex_type);
type_name: SET OF STRING;
END_ENTITY; — entity_instar.ce_type
(*
Определения атрибутов.
type_names: набор строк, дающих описание (в формате функции типа TYPEOF языка EXPRESS)
имен типов данных сущностей языка EXPRESS, принадлежащих результату применения функции типа
TYPEOF языка EXPRESS, примененной к значению, ссылающемуся на рассматриваемую сущность,
как на ее тип данных.
5.10.3.27 Тип размещения (Placement_type)
Сущность placement_type используется для значений элементов DET. являющихся реализация
ми типа данных сущности placement.
Примечание 1— Сущности размещения placement импортируются из ИСО 10303-42. В соответствии с
ИСО 10303-42 реализация placement гложетсуществовать, только если она относится к реализации контекста гео
метрического представления geometric_representation_context (в некоторой реализации представления). Сле
довательно. если некоторые свойства класса имеют реализации сущности placement как их значения, то
данный класс содержит контекст геометрического представления geometric_representation_context (который
определяет контекст указанных размещений) и само представление (которое соединяет указанные размещения
placements с их контекстом). Ни geometric_representation_context. ни representation не импортируются в
настоящий стандарт. Сущности placement не могут использоваться, если используются только схемы ИСО
13584-42. Указанные сущ ности вводятся как ресурсы для других частей ИСО 13584.
Примечание 2 — Сущности Placement, в частности, используются в ИСО 13584-32 (OntoML) и в
ИСО 13584-25.
Пример представления на языке EXPRESS:
М
ENTITY placement_type
SUPERTYPE OF(ONEOb <
axisl_placement_type,
axis2_placement_2d_t:ype,
axis2_placement_3d_type))
SUBTYPE OF(er.tity_instance_type);
WHERE
WR1:•GEOMETRY_SCH£MA.PLACEMENT’
INSELF\entity_instance_type.type_name;
END_ENTITY; — placement_type
(* "
56