ГОСТ Р ИСОЯС 10303-1039—2011
validatod_modol — объект Geometric_model. на основании которого производился расчет гео
метрической контрольной характеристики.
Формальные утверждения
WR1 — контекст объекта property_representation должен быть числовым. Если характеристикой
является центроид, то контекст должен быть представлен объектом Geometrlc_coordinate_space.
WR2 — наименованием объекта property_representation должно быть centroid’, ’surface area’
или ’volume’.
WR3 — элемент объекта proporty_value должен входить в состав элементов объекта
property_represontation.
•)
END_SCHEMA; — Geometric_validation_property_representation_arm
Г
5 Интерпретированная модель модуля
5.1 Спецификация отображения
В настоящем стандарте под термином «прикладной элемент» понимается любой объектный тип
данных, определенный в раздело 4. любой из его явных атрибутов и любое ограничение на подтипы.
Термин «элемент ИММ» обозначает любой объектный типданных, определенный в 5.2 или импортиро
ванный с помощью оператора USE FROM из другой EXPRESS-схемы, любой из его атрибутов и любое
ограничение наподтипы, определенное в 5.2 или импортированноес помощью оператора USE FROM.
В данном подразделе представлена спецификация отображения, которая определяет, как каж
дый прикладной элемент, определенный в разделе 4 настоящего стандарта, отображается на один или
несколько элементов ИММ (см. 5.2).
Спецификация отображения для каждого прикладного элемента определена ниже в отдельном
пункте. Спецификация отображения атрибута объекта ПЭМ определена в подпункте пункта, содержа
щего спецификацию отображения данного объекта. Каждая спецификация отображения содержит до
пяти секций.
Секция «Заголовок» содержит:
- наименование рассматриваемого объекта ПЭМ или ограничение на подтипы либо
- наименование атрибута рассматриваемого объекта ПЭМ. если данный атрибут ссылается на
тип. который не является объектным типом данных или типом SELECT, который содержит или может
содержать объектные типы данных, либо
- составное выражение вида: «связьобъекта «наименованиеобъекта ПЭМ> собъектом «типдан
ных. на который дана ссылка», представляющим атрибут «наименование атрибута»», если данный
атрибут ссылается на тип данных, который является объектным типом данных или типом
SELECT, который содержит или может содержать объектные типы данных.
Секция «Элемент ИММ» содержит в зависимости от рассматриваемого прикладного элемента
следующие составляющие:
- наименование одного или более объектных типов данных ИММ;
- наименование атрибута объекта ИММ. представленное в виде синтаксической конструкции
«наименование объекта».«наименование атрибута», если рассматриваемый атрибут ссылается на
тип. который не является объектным типом данных или типом SELECT, который содержит или может
содержать объектные типы данных;
- ключевое слово PATH, если рассматриваемый атрибут объекта ПЭМ ссылается на объектный
тип данных или на тип SELECT, который содержит или может содержать объектные типы данных;
- ключевое слово IDENTICAL MAPPING, если оба прикладных объекта, присутствующих в при
кладном утверждении, отображаются на тот же самый экземпляр объектного типа данных ИММ;
- синтаксическую конструкцию /8иРЕРТУРЕ(<наимеиование супертипа»)/, если рассматрива
емый объект ПЭМ отображается как его супертип;
- одну или более конструкций /5иВТУРЕ(«наименование подтипа»)/, если отображение рассмат
риваемого объекта ПЭМ является объединением отображений его подтипов.
Если отображение прикладного элемента содержит более одного элемента ИММ. то каждый из
этих элементов ИММ представляется в отдельной строке спецификации отображения, заключенной в
круглые или квадратные скобки.
5