ГОСТ Р ИСО/ТС 10303-1002—2010
EXPRESS-спеиификация;
*)
ENTITY User_definGd_colour
SUBTYPE OF (Colour):
red : REAL;
green : REAL:
blue : REAL;
WHERE
WR1: {0.0 <= red <= 1.0};
WR2: {0.0 <= green <= 1.0}:
WR3: {0.0 <= blue <= 1.0};
END_ENTITY:
Г
Определения атрибутов
red — интенсивность красного компонента в объекте Colour;
green — интенсивность зеленого компонента в объекте Colour;
blue — интенсивность синего компонента в объекте Colour.
Формальные утверждения
WR1 — интенсивность красного компонентадолжна быть заданадействительным числом вдиапа
зоне от 0.0 до 1.0, включительно;
WR2 — интенсивностьсинего компонентадолжнабыть задана действительным числом в диапазо
не от 0,0 до 1,0, включительно:
WR3 — интенсивность зеленого компонента должна быть задана действительным числом в диа
пазоне от 0.0 до 1.0. включительно.
*>
END_SCHEMA: - - Colour_arm
Г
5 Интерпретированная модель модуля
5.1 Спецификация отображения
В настоящем стандарте под термином «прикладной элемент» понимается любой объектный тип
данных, определенный в разделе 4. любой из его явных атрибутов и любое ограничение на подтипы.
Термин «элемент ИММ» обозначает любой объектный тип данных, определенный в 5.2 или импортиро
ванный с помощью оператора USE FROM из другой EXPRESS-схемы. любой из его атрибутов и любое
ограничение на подтипы, определенное в 5.2 или импортированноес помощью оператора USE FROM.
Данный подраздел устанавливает спецификацию отображения, которая определяет, как каждый
прикладной элемент, определенный в разделе 4 настоящего стандарта, отображается на один или не
сколько элементов ИММ (см. 5.2).
Спецификация отображения для каждого прикладного элемента определена ниже в отдельном
пункте. Спецификация отображения атрибута объекта ПЭМ определена в подпункте пункта, содержа
щего спецификацию отображения данного объекта. Каждая спецификация отображения содержит до
пяти секций.
Секция «Заголовок» содержит:
- наименование рассматриваемого объекта ПЭМ или ограничение на подтипы либо
- наименование атрибута рассматриваемого объекта ПЭМ. если данный атрибут ссылается на
тип. который не является объектным типомданных или типом SELECT, который содержит или может со
держать объектные типы данных, либо
- составное выражение вида; «связь объекта <наименование объекта ПЭМ> с объектом <типдан
ных. на который дана ссылка>, представляющим атрибут -«наименование атрибута»», если данный ат-
4