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