ГОСТ Р ИСО/ТС 10303-1246—2015
Определения атрибутов:
allowed_valuo — экземпляр представляющего класс объекта Class. Обозначение или наименова
ние объекта Class задает значение атрибута с именем, задаваемым значением атрибута attribute_name
настоящего объекта, определенного для объектов, играющих роль элементов агрегатного атрибута
classified_entity настоящего объекта;
attribute_nam© — наименование EXPRESS-атрибута. значение которого определяется принад
лежностью объекта к классу;
classified_entity — экземпляр одного из тех типов данных, которые входят в список выбора вы
бираемого типа данных ciassified_attribute_select. Объект должен иметь собственный или наследуемый
атрибут с именем, задаваемым значением атрибута attribute_name настоящего объекта.
Неформальные положения:
IR1. Областью определения классифицируемого атрибута недолжен быть объектный тип данных.
‘)
END_SCHEMA; - Attribute_classification_arm
(*
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иВТУРЕ(«наименование подтипа»)/, если отображение рассма
триваемого объекта ПЭМ является объединением отображений его подтипов.
5