ГОСТ Р ИСО 15531-42—2010
Спецификация на языке EXPRESS.
•)
ENTITY discrete_domain
SUBTYPE OF (discrete_or_continuous_domain);
END_ENTITY;
(*
5.6.11 lower_bounded_domain
lower_boundod_domain — это bounded_domain, ограниченный снизу lower_bound.
Спецификация на языке EXPRESS:
•)
ENTITY lower_bounded_domain
SUBTYPE OF (bounded_domain);
lower_bound: domain point:
END_ENTITY;
r
Определение атрибутов:
lower_bound: наименьшая domain_point в lower_bounded_domain.
5.6.12 upper_bounded_domain
uppor_bounded_domain — это bounded_domain. ограниченный сверху upper_bound.
Спецификация на языке EXPRESS:
•)
ENTITY upper_bounded_domain
SUBTYPE OF (bounded_domain);
upper_bound: domain_point;
END_ENTITY;
r
Определение атрибутов:
uppor_bound: наибольший domain_point в upper_bounded_domain.
5.6.13 both_sides_bounded_domain
both_sides_boundod_domain — это bounded_domain. ограниченный снизу lower_bound и
сверху upper_bound.
Спецификация на языке EXPRESS.
’)
ENTITY both_stdes_bounded_domain;
low_bound_assigned_to: lower_bounded_domain;
up_bound_assigned_to: upper_bounded_domain;
END_ENTITY;
r
Определение атрибутов:
low_bound_assignod_to: наименьший domain_point в lower_bounded_domain;
up_bound_assigned_to: наибольший domain_point в upper_bounded_domain.
5.6.14 complete_continuous_domain
complete_continuous_domain — это complete_domain, являющийся непрерывным.
Спецификация на языке EXPRESS:
’)
ENTITY complete_continuous_domain
SUBTYPE OF (complete_domain. continuous_domain);
END_ENTITY;
r
13