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