ГОСТ Р ИСО 13584-25—2010
Спецификация EXPRESS:
‘>
ENTITY
set_with_subset_constraint_typG
SUBTYPE OF
(aggregate_type);
cardinal_min: OPTIONAL INTEGER:
cardinal_max: OPTIONAL INTEGER;
WHERE
WR1: cardinal_min <= cardinal_max ;
WR2: NOT EXISTS(bound_2) ORNOT EXISTS (cardinal_max)
OR (cardinal_max <= bound_2);
WR3: NOT EXISTS (boundjl)OR NOT EXISTS (cardmal_min)
OR (cardinal_min <= bound_1);
END_ENTITY;
C
Определение атрибутов:
cardinal_min: минимальный размер подмножеств, которые могут быть выделены.
cardinal_max. максимальный размер подмножеств, которые могут быть выделены.
Формальные положения:
WR1:минимальный размер выделяемых подмножеств cardinal_min не может быть больше макси
мального размера выделяемых подмножествcardinal_max.
WR2: максимальный размер выделяемых подмножеств cardinal_min не может быть больше макси
мального размера самого множества.
WR3: минимальный размер выделяемых подмножеств не может быть меньше минимального разме
ра самого множества.
*)
END_SCHEMA;
- - IS013584JEC61360_dictk>nary_aggregate_extension_schema
(*
7 Схема IS013584_aggregate_value_schema
В данном разделе установлены требования к IS013584_aggrogate_value_schema. Для определе
ния IS013584_aggrogate_value_schema и указания необходимых внешних ссылок используют следую
щее объявление на языке EXPRESS:
Спецификация EXPRESS:
*>
SCHEMA ISOI 3584_aggregate_value_scbema;
REFERENCE FROM ISO13584_IEC61360_dictionary_schema (class_instance_type. datajype.
data_type_element. leveljype, named_typo. property_BSU, property_DET);
REFERENCE FROM ISOI 3584JEC61360_dictionary_aggregate_extensioo_scbema (
entity_instance_type_for_aggregate, list_type, set_type, bag_type, array_type,
set_with_subset_constraint_type);
REFERENCE FROM IS013584_extonded_dictionary_sciiema (data_type_type_name.
data_type_typeof);
REFERENCE FROM IS013584_instance_resource_schema (compatible_class_and_class.
compalibleJevel_type_and_instanco.compatible_type_and_value, dic_class_instance.
null_or_primitive_value. primitive_value. property_or_data_type_BSU. property_value,
uncon trolled_entity_instance_value);
Г
П р и м е ч а н и е — Требования квышеуказанным схемам установлены в следующих документах:
- МЭК 61360-2 — ISO13584_IEC61360_dictionary_schema (данная схема также приведена в приложении D
ИСО 13584-42);
- настоящий стандарт — ISO13584_IEC61360_dictionary_aggregate_extension_schema,
- ИСО 13584-24 — IS013584_extended_dictionary_schema;
- ИСО 13584-24 — IS013584 instance resource schema.
11