ГОСТ Р ИСО/ТС 10303-1049—2012
5 Интерпретированная модель модуля
5.1 Спецификация отображения
В настоящем стандарте под «прикладным элементом» понимается любой объектный типданных,
определенный в разделе 4. любой из его явных атрибутов и любое ограничение на подтипы. Термин
«элемент ИММ» обозначает любой объектный тип данных, определенный в 5.2 или импортируемый с
помощью оператора USE FROM из другой EXPRESS-схемы, а также любой из их атрибутов и любое
ограничение на подтипы, определенноев 5.2 либо импортированное с помощьюоператора USE FROM.
В данном подразделе представлена спецификация отображения, которая определяет, как каждый
прикладной элемент, описанный в разделе 4 настоящего стандарта, отображается на один или более
элементов ИММ {см. 5.2).
Спецификация отображения для каждого объекта ПЭМ определена ниже в отдельном пункте.
Спецификация отображения атрибута объекта ПЭМ определена в подпункте пункта, содержащего спе
цификацию отображения этого объекта. Каждый такой подпункт содержит не более пяти секций.
Секция «Заголовок» содержит:
- наименование рассматриваемого объекта ПЭМ или ограничение на подтипы либо
- наименование атрибута рассматриваемого объекта ПЭМ, если данный атрибут ссылается на
тип. не являющийся объектным типом данных или типом SELECT, который содержит или может содер
жать объектные типы данных, либо
- составное выражение вида: «отображение связи объекта «наименование объекта ПЭМ> с объ
ектом «тип данных, на который дана ссылка» (в роли атрибута «наименование атрибута»)», если дан
ный атрибут ссылается на тип данных, являющийся объектным типом данных или типом SELECT,
который содержит или может содержать объектные типы данных.
Секция «Элемент ИММ» содержит в зависимости от рассматриваемого прикладного элемента
следующие составляющие:
- наименование одного или более объектных типов данных ИММ:
- наименование атрибута объекта ИММ. представленное в виде синтаксической конструкции
«наименование объекта».«наименование атрибута», если рассматриваемый атрибут ссылается на
тип. не являющийся объектным типом данных или типом SELECT, который содержит или может со
держать объектные типы данных;
- ключевое слово PATH, если рассматриваемый атрибут объекта ПЭМ ссылается на объектный
тип данных или на тип SELECT, который содержит или может содержать объектные типы данных;
- ключевое слово IDENTICAL MAPPING, если оба прикладных объекта, присутствующих в при
кладном утверждении, отображаются на тот жо самый экземпляр объектного типа данных ИММ,
- синтаксическую конструкцию/5иРЕРТУРЕ(«наименование супертипа»)/, если рассматривае
мый объект ПЭМ отображается как его супертип,
- одну или более конструкций/5иВТУРЕ(«наименование подтипа»)/, если отображение рассмат
риваемого объекта ПЭМ является объединением отображений его подтипов.
Если отображение прикладного элемента содержит более одного элемента ИММ, то каждый из
этих элементов ИММ представлен в отдельной строке спецификации отображения, заключенной в круг
лые или квадратные скобки.
Секция «Источник» содержит:
- обозначение стандарта ИСО. в котором определен данный элемент ИММ. для тех элементов
ИММ. которые определены в общих ресурсах;
- обозначение настоящегостандартадля тех элементов ИММ. которые определены в схеме ИММ
настоящего стандарта.
Данная секция опускается, если в секции «Элемент ИММ» используются ключевые слова PATH
или IDENTICAL MAPPING.
Секция «Правила» содержит наименованияодного или более глобальных правил, которые приме
няются к совокупности объектных типов данных ИММ, перечисленных в секции «Элемент ИММ» или
«Ссылочный путь». Если правила не применяются, то данную секцию опускают.
За ссылкой на глобальное правило может следовать ссылка на подпункт, в котором определено
данное правило.
Секция «Ограничение» содержит наименование одного или более ограничений на подтипы, ко торые
применяются к совокупности объектных типов данных ИММ. перечисленных в секции «Эле-
4