ГОСТ Р ИСО 15531-42—2010
Спецификация на языке EXPRESS:
*)
SUBTYPE_CONSTRAINT compos_continuous_discrete FOR composite_domain;
ABSTRACT SUPERTYPE;
ONEOF (composite_continuous_domain. composite_discrete_domain);
END_SUBTYPE_CONSTRAINT;
(*
5.5.8 cont_completo_composito
cont_complete_composite — это ограничение подтипа, используемого для определения подти
пов continuous_domain. относящихся ксвойству, которое может быть либо полным, либо составным.
Спецификация на языке EXPRESS:
*)
SUBTYPE_CONSTRAINT cont_complete composite FOR continuous_domain;
ABSTRACT SUPERTYPE;
ONEOF (complete_continuous_domain. composite_continuous_domain);
END_SUBTYPE_CONSTRAINT;
(*
5.5.9 disc_complete_composite
disc_complote_composite — это ограничение подтипа, используемого для определения подти
пов discrete_domain. относящихся к свойству, которое может быть либо полным, либо составным.
Спецификация на языке EXPRESS:
*)
SUBTYPE_CONSTRAINT disc_completo_composite FOR discrete_domain;
ABSTRACT SUPERTYPE;
ONEOF (complete_discrete_domain. composite_discrete_domain):
END_SUBTYPE_CONSTRAlNT;
r
5.5.10 both_bd_compl_compos_disc_cont
both_bd_compl_compos_disc_cont — это ограничение подтипа, используемого для определе
ния подтипов both_sides_bounded_domain, относящихся к свойству, которое может быть либо
полным и непрерывным, либо полным идискретным, либо составным и непрерывным, либо составным
и дискретным.
Спецификация на языке EXPRESS:
*)
SUBTYPE_CONSTRAINT both_bd_compl_compos_disc_cont FOR
both_sides_bounded_domain;
ABSTRACT SUPERTYPE;
ONEOF (both_sides_bounded_complete_continuous_domain,
both_stdes_bounded_complete_discrete_domain.
both_sides_bounded_composite_continuous_domain,
both_sides_bounded_composite_discrete_domain):
END_SUBTYPE_CONSTRAINT;
r
5.5.11 low_bd_compl_compos_disc_cont
low_bd_compl_compos_disc_cont — это ограничение подтипа, используемого для определе
ния подтипов lowor_bounded_domain. относящихся к свойству, которое может быть либо полным и
непрерывным, либо полным и дискретным, либо составным и непрерывным, либо составным и дис
кретным.
8