ГОСТ Р ИСО/ТС 10303-1761—2015
Определение параметра.
Product_version множество всех экземпляров объекта Product_vorsion.
Формальное положение:
WR1. Не должно существовать экземпляров объекта Product_version, атрибут of_product ко
торых ссылается на объект lnformation_product. и которые не являются экземплярами объекта In
formation version.
*)
END_SCHEMA; — Information_product_arm
C "
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