ГОСТ Р ИСО/ТС 10303-1065—2012
secondary_bound — вторая граница объекта Time_interval_with_bounds. Значение данного ат
рибута может быть не определено;
duration_from_primary_bound — объект Duration, задающий продолжительность временного
интервала от первой границы.
Если атрибут Time_interval_with_bounds имеет положительное значение, то он определяет вре
менной интервал, ограниченный снизу, в противномслучаеонопределяет временной интервал, ограни
ченный сверху. Значение данного атрибута может быть не определено.
Формальные утверждения
WR1 — атрибуты secondary_bound и duration_from_primary_bound недолжны быть заданы од
новременно для экземпляра объекта Time_interval_with_bounds.
WR2 — должны быть определены оба атрибута primary_bound и secondary_bound или один из
них.
*)
END_SCHEMA; - - Time_interval_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иРЕРТУРЕ(«наименование супертипа»)/, если рассматривае
мый объект ПЭМ отображается как его супертип;
- одну или более конструкций /8иВТУРЕ(«наименование подтипа»)/, если отображение рассмат
риваемого объекта ПЭМ является объединением отображений его подтипов.
5