ГОСТ Р ИСО 13584-25—2010
6.2.2 Объект aggregate_type
Объект aggregato_type обеспечивает определение типовданных, которые могут быть выражены в
виде списков, множеств, мультимножеств или массивов простых или сложных значений.
Спецификация EXPRESS:
*>
ENTITY aggregateJype
ABSTRACT SUPERTYPE OF(ONEOF(
listjype.
set Jype.
bag_type.
array typo. set_with_subset_constraint_type));
bound_1: OPTIONAL INTEGER;
bound_2: OPTIONAL INTEGER;
value_type; datajype;
WHERE
WR1: boundj <= bound_2;
END_ENT!TY;
C
Определение атрибутов:
valueJype; тип значения (простого или сложного), используемого для каждого элемента агрегиро
ванного типа.
bound_1; необязательноецелое число, устанавливающее нижнююграницу определяемого агрегиро
ванноготипа.
bound_2; необязательное целое число, устанавливающее верхнюю границу определяемого агреги
рованноготипа.
Формальные положения:
WR1:bound_1 не может быть больше bound_2.
6.2.3 Объект list_typo
Объект list_type обеспечивает определение типов данных, выраженных в виде упорядоченного спис
ка значений, в котором допустимо или недопустимодублированиеэлементов.
Спецификация EXPRESS:
*>
ENTITY listjype
SUBTYPEOF(aggregate_type);
uniqueness; BOOLEAN.
WHERE
WR1; EXISTS(bound_1)ORNOT(EXISTS<bound_2));
WR2; NOT(EXISTS(bound_1)) OR (boundJ >=0);
END_ENTfTY;
c
Определение атрибутов:
uniqueness флаг, предназначенный для указания того, что все элементы списка должны быть уни
кальными (значениеtrue), либоони могут дублироваться (значениеfalse).
Формальные положения:
WR1:если в определяемом списке присутствует необязательный атрибут верхней границы bound_2,
в нем также есть необязательный атрибут нижней границы bound_1.
WR2: если в определяемом списке присутствует необязательныйатрибут нижней границы bound_1,
то значение этого атрибута недолжнобыть неотрицательным.
6.2.4 Объект setJype
Объект setJype обеспечивает определение типов данных, выраженных в виде неупорядоченного
набора значений, в котором недопускается наличие повторяющихся элементов.
Спецификация EXPRESS:
*)
ENTITYset Jype
SUBTYPEOF(aggregateJype);
9