ГОСТ Р ИСО/ТС 10303-439— 2016
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.
Секция «Правила» содержит наименования одного или более глобальных правил, которые при
меняются к совокупности объектных типов данных ИММ. перечисленных в секции «Элемент ИММ» или
«Ссылочный путь». Если правила не применяются, то данную секцию опускают.
За ссылкой на глобальное правило может следовать ссылка на подпункт, в котором определено
данное правило.
Секция «Ограничение» содержит наименование одного или более ограничений на подтипы, ко
торые применяются к совокупности объектных типов данных ИММ. перечисленных в секции «Элемент
ИММ» или «Ссылочный путь». Если ограничения на подтипы отсутствуют, то данную секцию опускают.
44