ГОСТ Р ИСО/ТС 10303-1131—2009
EXPRESS-спсиификация:
*)
TYPE constructive_goometry_select = SELECT
(Constructive_geometry,
Geometric_model);
END_TYPE;
Г
4.2.3 Тип point_solect
Тип point_select является наращиваемым списком альтернативных типов данных, позволяющим
назначать типыданных Cartesian_point, Point_on_curve и Point_on_surface.
П р и м е ч а н и е — Список объектных типов данных может быть расширен в прикладных модулях, исполь
зующих конструкции данного модуля.
EXPRESS-спеииФикаиия:
•>
TYPE point_select = EXTENSIBLE GENERIC_ENTITY SELECT
(Cartesian_point,
Point_on_curve,
Point_on_surface);
END_TYPE;
Г
4.3Определения объектов ПЭМ
В данном подразделе определены объекты ПЭМ для прикладного модуля «Конструктивная гео
метрия». Прикладной объект ПЭМ является атомарнымэлементом, реализующим уникальноеприклад
ное понятие и имеющим атрибуты, определяющие элементы данных объекта. Объекты ПЭМ и их
определения приведены ниже.
4.3.1 ОбъектConstructive_geometry
Объект Constructive_geometry является подтипом объекта Representation, который содержит
набор геометрическихэлементов, используемых при определении объекта Geometric_model.
Каждый объект Constructive_geometry должен быть связан по крайней мере с одним объектом
Geometric_model или с другим объектом Constructive_geometry посредством экземпляра объекта
Constructive_geometry_association.
EXPRESS-спеиификация:
*)
ENTITY Constructive_geometry
SUBTYPE OF (Representation);
SELF\Representation.context_of_items: Geometric_coordinate space;
WHERE
WR1: SIZEOF(SELF\Representation.items) = SIZEOF(QUERY (it <* SELF\Representation.items |
•CONSTRUCTION GEOMETRY_ARM.CONSTRUCTIVE_ELEMENT_SELECT’ IN TYPEOF(it)));
END_ENTITY;
r
Определение атрибута
context_ofJtems - объект Geometric_coordinato_space, в котором определены геометрические
элементы.
Формальное утверждение
WR1 — объект Constructive_geometry должен содержать только экземпляры типов данных,
перечисленныхв типе constructive_element_select или в его расширениях.
4