ГОСТ Р ИСО 15531-42—2010
Спецификация на языке EXPRESS.
•)
SUBTYPE_CONSTRAINT low_bd_compl_compos_disc_cont FOR
lower_bounded_domain;
ABSTRACT SUPERTYPE:
ONEOF (lower_bounded_complete_continuous_domain,
lower_bounded_complete_discrete_domain,
lower_bounded_composite_continuous_domain,
lower_bounded_composiie_discrete domain):
END_SUBTYPE_CONSTRAINT;
(*
5.5.12 up_bd_compl_compos_disc_cont
up_bd_compl_compos_disc_cont — это ограничение подтипа, используемого для определения
подтипов upper_bounded_domain, относящихся к свойству, которое можетбытьлибо полным и непре
рывным. либо полным идискретным, либо составным и непрерывным, либо составным идискретным.
Спецификация на языке EXPRESS
*)
SUBTYPE_CONSTRAINT up_bd_compl_compos_disc_cont FOR
upper_bounded_domain;
ABSTRACT SUPERTYPE;
ONEOF (upper_bounded_complete_continuous_domain,
upper_bounded_complete_discrete_domain,
upper_bounded_composite_continuous_domain.
upper_bounded_composite_discrete_domain);
END_SUBTYPE_CONSTRAINT;
(*
5.5.13 compl_disc_low_both_up
compl_disc_low_both_up — это ограничение подтипа, используемого для определения подти
пов complete_discrete_domain. относящихся к свойству, которое может быть ограничено либо снизу,
либо сверху, либо с двух сторон.
Спецификация EXPRESS:
•)
SUBTYPE_CONSTRAINT compl_disc_low_both_up FOR
complete_discrete_domain;
ONEOF (lower_bounded_complete_discrete_domain,
both_sides_bounded_comp!ete_discrete_domain,
upper_bounded_complete_discrete_domain);
END_SUBTYPE_CONSTRAINT;
(*
5.5.14 compl_cont_low_both_up
compl_cont_low_both_up — это ограничение подтипа, используемого для определения подти
пов complete_continuous_domain. относящихся к свойству, которое может быть ограничено либо сни
зу. либо сверху, либо с двух сторон.
Спецификация на языке EXPRESS:
•)
SUBTYPE_CONSTRAINT compl_cont_low_both_up FOR
complete_continuous_domain;
ONEOF (lower_bounded_complete_continuous_domain.
both_sides_bounded_complete_continuous_domain,
upper_bounded_complete_continuous_domain);
END_SUBTYPE_CONSTRAINT;
r
9