ГОСТРИСО 15926-2 2010
Спецификация на языке EXPRESS:
■)
ENTITY muitidimensional_number_space
SUBTYPE OK(number_space, multidimensional_objecO;
END_ENTITY;
<*
5.2.5.9 Number range (диапазон чисел)
Сущность number range есть одномерная сущность number space.
Спецификация на языке EXPRESS:
*1
ENTITY number_range
SUBTYPE OK(number space);
£ND_£NTITY;
(*
5.2.5.10 Number space (числовое пространство)
Сущность number space есть класс class of number, то есть континуум.
П
р
и
м
е
р
—
Ц
е
лы
е
чи
с
л
а от I до 5
и
в
е
щ
е
ств
е
нны
е
чи
с
л
а от 0
.
000 до 1
,
000
я
в
ляю
тс
я
п
р
и
м
е
рам
и
с
ущн
ост
и
num
b
e
rj
.
pac
e.
Спецификация на языке EXPRESS:
•)
ENTITY number_space
SUPERTYPE OK <ONEOF(number_range, multidimensional_number_space))
SUBTYPE OF(class_of_number);
END_£NTITY;
(*
5.2.5.11 Real number (вещественное число)
Сущность real „number есть сущность arithmetic number, являющаяся действительным чис
лом.
П
р
и
м
е
р
—
3
,
2146
е
сть
п
р
е
дстав
л
е
ни
е
с
ущн
ост
и
r
e
al_
num
b
e
r
.
Спецификация на языке EXPRESS:
■)
ENTITY reai_number
SUBTYPE OK(arithmetic_number);
END_ENTITY;
f
5.2.5.12 Upper bound of_number range (верхняя граница диапазона чисел)
Сущность upper bound of.number, rangeестьсущность relationship, указывающая, чтосущность
arithmetic^number является самым большим значением сущности number range.
122