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