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