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