ГОСТ Р ИСО/ТС 10303-1091—2009
Realjnterval:устанавливает интервал действительных чисели является объектом
maths_space, представляющим множество действительных чисел, ограниченное либо сверху, либо
снизу, либо сверху и снизу. Каждая из границ может быть либо открытой, либо закрытой.
Tuple_space: устанавливает пространство кортежей и является объектом maths_spaco. пред
ставляющим множество кортежей. Пространство кортежей может быть определено какдекартово про
изведение других математических пространств. Используют два подхода для описания сомножителей
декартова произведения:
- сомножители представлены в виде списков.
Пример
—
Пространство (целых, действительных) пар чисел есть декартово произве
дение пространств ’целых чисел’ и ’действительных чисел’;
-
пространство описывается с использованием показателя степени.
Пример
—
Пространство троек действительных чисел (например R3) определяется
пространством действительных чисел и показателем декартовой степени 3.
EXPRESS-спеииФикаиия:
*)
ENTITY Maths_space:
END_ENTITY:
Г
*)
END_SCHEMA: - Maths_space_arm
Г
5 Интерпретированная модель модуля
5.1 Спецификация отображения
В настоящем стандарте под термином «прикладной элемент» понимается любой объектный тип
данных, определенный в разделе 4, любой из его явных атрибутов и любое ограничение подтипа. Тер
мин «элемент ИММ» обозначает любой объектный тип данных, определенный в 5.2 или импортиро
ванный с помощью оператора USE FROM издругой EXPRESS-схемы. любой из его атрибутов и любые
ограничения подтипов, определенные в 5.2либо импортированныес помощью оператора USE FROM.
В данном подразделе представлена спецификация отображения, определяющая, как каждый
прикладной элемент, описанный в разделе 4, связан с одним или более элементом ИММ (см. 5.2).
Далее для каждого прикладного элемента в отдельном пункте определено отображение. Специ
фикация отображения атрибута объекта ПЭМ описывается в подпункте пункта, содержащего специфи
кацию отображения этого объекта. Каждая такая спецификация содержит до пяти секций.
Секция «Заголовок» содержит:
- наименование рассматриваемого объекта ПЭМ или ограничение подтипа либо
- наименование атрибута рассматриваемого объекта ПЭМ. когда этот атрибут ссылается на тип.
который не является объектным типомданных или типом SELECT, который содержит или может содер
жать объектные типы данных, либо
- составное выражение ’«наименование атрибута> на «тип, на который дана ссылка»’, когда этот
атрибут ссылается на тип. который является объектным типом данных или типом SELECT, который
содержит или может содержать объектные типы данных.
Секция «Элемент ИММ» содержит, в зависимости от рассматриваемого прикладного элемента,
следующие составляющие:
- наименование одного или более объектных типов данных ИММ;
- наименование атрибута объекта ИММ. представленное в виде синтаксической конструкции
«наименование объекта>.«наименование атрибута», если рассматриваемый атрибут ссылается на
тип, который не является объектным типом данных или типом SELECT, который содержит или может
содержать объектные типы данных:
- термин PATH (ПУТЬ ДОСТУПА), если рассматриваемый атрибут объекта ПЭМ ссылается на
объектный тип данных или на тип SELECT, который содержит или может содержать объектные типы
данных;
4