ГОСТ Р ИСО 15531-42—2010
SUBTYPE_CONSTRAINTcompos_dlacJow_both_upFOR
compoaite_d>screte_domaln;
ONEOF (lower_bounded_compoBite_dlacrete_domain.
both_s>de8_bounded_compo3ite_di3crete_domain.
upper_bounded_composite_diacrete_domain);
END_SUBTYPE_CONSTRAINT;
ENTITY domain.
Id: type_of_domain;
domain_atructure domam_generic_3tfucture:
UNIQUE
UR1: Id;
END_ENTITY.
ENTITY tlme_domaln
SUBTYPE OF (domain);
name: label;
decompoaeajnto: SET (0.?) OF time_domaln.
END.ENTITY.
ENTITY domain_generlc_alructure;
Id: lype_of_»dentifier_of_dom_gen_8truct.
UNIQUE
UR1: Id;
END_ENTITY.
ENTITY complete_or_composlte_domam
SUBTYPE OF (domain_genenc_8tructufe);
END_ENTITY;
ENTITY diacrete_or_continuoua_domain
SUBTYPE OF (domain_generic_8tructure);
END_ENTITY;
ENTITY bounded_domaln
SUBTYPE OF (domam_generlc_atructufe):
END_ENTITY;
ENTITY complele_domaln
SUBTYPE OF (complete_or_compoaite_domaln);
reference_to_unlt: unit;
reference_to_ongm. domaln_pomt;
END_ENTITY;
ENTITY compoaite_domaln
SUBTYPE OF (complete_or_compoaite_domain).
componenta: SET(0:?) OF domain;
WHERE- componenta do not overlap
WR1 : (componenta (domam.id (1J) <>
componenta (domam.id (2)));
END_ENTITY.
ENTITY contmuoua_domaln
SUBTYPE OF (dl8crete_or_contmuou8_domaln);
END_ENTITY;
ENTITY dlacrete_domam
SUBTYPE OF (dlacrete_or_continuoua_domain);
END_ENTITY;
26