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