ГОСТ Р 56271-2014
Рисунок 35 — Пример шаблона SpecializationAsEnd2UniversalRestric!ion
7.5.14 Шаблоны CardinalityMin, CardinalityMax. CardinalityMinMax (минимум кардинального
числа, максимум кардинального числа, минимакс кардинального числа)
Шаблоны CardinalityMin. CardinalityMax и CardinalityMinMax указывают значение кардинального числа.
CardinalityMinMax(a. b. с) означает, что а - кардинальное число. Ь и с — целые. Ь — нижняя, а с —
верхняя граница значений a. CardinalityMin и CardinalityMax аналогичные утверждения. Они относятся
только к минимальному и. соответственно, к максимальному ограничению.
CardinalityMin
Тип роли
№
Название роли
1 Кардинальное число
2
Минимальное кардинальное число
Cardinality
INTEGER
CardinalityMax
Тип роли
№
Название роли
1 Кардинальное число
2
Максимальное кардинальное число
Cardinality
INTEGER
CardinalityMinMax
№Название роли
1 Кардинальное число
2Минимальное кардинальное число
3Максимальное кардинальное число
Типроли
Cardinality
INTEGER
INTEGER
CardinalityMin(x,. x2)~*
Cardinality(x,)A
INTEGER(
x
2)
a
hasMinimumCardinalityfx,, x2)
CardinalityMax(xu x2)~
Cardinality(x,)A
INTEGER(
x
2)
a
hasMaximumCardinality(x1, x2)
CardinatityMinMax(xv x3, x2)*-*
Cardinality{x,)A
INTEGER{
x
2)
a
INTEGER(
x
3)
a
CardinalityMin{xv
x
2)
a
CardinalityMax(xv x3)
При м е ча н и е - В соответствии с ИСО 15926 кардинальные числа — это объекты первого класса. В
ИСО 15926-2 указано, что отсутствие описанных минимального или максимального значений кардинального чис
ла должно интерпретироваться как отсутствие ограничений (см. 5.2.13.1). В основе представления ИСО 15926-
2 лежит логика первого порядка, с общеизвестным допущением, что и нижняя, и верхняя границы задаются
явно. Если нижняя граница не задана, то она принимается равной 0. Если верхняя граница не задана, то
назначается справочный элемент * Cardinality (кардинальное число) (см. 7.2.1).
36