ГОСТРИСО 15926-2 -2010
Определения атрибутов:
codomain: сущность number space, члены которой могут квантифицировать члены ссылочной
сущности property space:
domain: класс class of property, члены которого могут быть квантифицированы членами ссы
лочной сущности number space.
5.2.29 Shapes (формы)
Этот подраздел содержит объявления типов данных логических объектов, которые представ
ляют формы.
Примечание — На рисунке 205 представлена диаграмма тина(ов) данных лошческих оГуьектов,
определенного(ых) в этом подразделе(см. также 4.S.4.5).
5.2.29.1 Class ofdimension for shape (класс размера для формы)
Класс class of dimension for shape есть класс class of class of relationship, указывающий,
что члены класса class of shape имеют размер, который является членом класса class of
dimension.
П
р
и
м
е
р
—
П
р
е
д
пи
са
ни
е,
ч
то
члены
к
л
асса
«
к
р
у
г
»
сод
е
ржат
чл
е
ны
к
л
асса
«
д
и
а
н
е
тр
»,
я
/
ия
е
тс
я
э
к
з
е
м
пля
рам
к
л
ассаcla
ss
_o
f
_di
m
e
n
s
io
n
_
f
or_
s
hu
p
e.
Спецификация на языке EXPRESS:
*)
ENTITY class_of_dimension_for_shape
SUBTYPE 0F(cla3s_of_class_of_relationship);
ciass_of_dimension:class_of_shape_dimension;
ciass_of
_shape:class_of_3hape;
END_ENTITY;
(*
Определения атрибутов:
class of dimension: класс class of shape dimension в классе class of domension for shape;
class of shape: класс class of shape в классе class of domension for shape.
5.2.29.2 Class ofshape (класс формы)
Класс class of shape есть сущность property space, которая в качестве членов содержит экзем
пляры формы.
П
р
и
м
е
р
—
*
П
рав
ил
ь
ны
е
г
е
ом
е
тр
ич
е
с
к
и
е
форм
ы
*
,
н
а
п
р
и
м
е
р
«
линия
»,
«
к
р
у
г*
,
«
к
вадрат
»,
«
цилин
др*
,
«
сф
е
ра*
и
«
к
о
ну
с
»,
мог
у
т б
ы
ть
п
р
е
дстав
л
е
ны
э
к
з
е
м
пля
рам
и
к
л
ассаda
ss
jp
f
jdr
m
.
Спецификация на языке EXPRESS:
М
ENTITY class_of_3hape
SUBTYPE OF(property_space);
END_ENT1TY;
(*
213