ГОСТ Р ИСОЯС 10303-1241—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иРЕРТУРЕ(«наименование супертипа»)/, если рассматривае
мый объект ПЭМ отображается как его супертип;
- одну или более конструкций /5иВТУРЕ(«наименование подтипа»)/, если отображение рассмат
риваемого объекта ПЭМ является объединением отображений его подтипов.
Если отображение прикладного элемента содержит более одного элемента ИММ. то каждый из
этих элементов ИММ представлен в отдельной строке спецификации отображения, заключенной в
круглые или квадратные скобки.
Секция «Источник» содержит:
- обозначение стандарта ИСО, в котором определен данный элемент ИММ. для тех элементов
ИММ. которые определены в общих ресурсах;
- обозначение настоящего стандарта для тех элементов ИММ, которые определены в схеме ИММ
настоящего стандарта.
Если в секции «Элемент ИММ» содержатся ключевые слова PATH или IDENTICAL MAPPING, то
данную секцию опускают.
Секция «Правила» содержит наименование одного или более глобальных правил, которые при
меняются к совокупности объектных типовданных ИММ. перечисленных всекции «Элемент ИММ» или
«Ссылочный путь». Если никакие правила не применяют, то данную секцию опускают.
За ссылкой на глобальное правило может следовать ссылка на подпункт, в котором определено
данное правило.
Секция «Ограничение» содержит наименование одного или более ограничений на подтипы, кото
рые применяются к совокупности объектных типов данных ИММ. перечисленных в секции «Элемент
ИММ» или «Ссылочный путь». Если ограничения на подтипы отсутствуют, тоданную секцию опускают.
7