ГОСТ Р ИСО 15531-42—2010
5.5.15 compos_cont_low_both_up
compos_cont_low_both_up — это ограничение подтипа, используемогодля определения подти
пов composite_continuous_domain. относящихся к свойству, которое может быть ограничено либо
снизу, либо сверху, либо с двух сторон.
Спецификация на языке EXPRESS:
*>
SUBTYPE_CONSTRAINT compos_cont_low_both_up FOR
composite_continuous_domain;
ONEOF (lower_bounded_composite_continuous_domain.
both_sides_bounded_composite_continuous_domain,
upper_bounded_composite_continuous_domain);
END_SUBTYPE CONSTRAINT;
(‘
5.5.16 compos_disc_low_both_up
compos_disc_low_both_up — этоограничение подтипа, используемогодля определения подти
пов composite_discrete_domain, относящихся к свойству, которое может бытьограничено либо снизу,
либо сверху, либо с двух сторон.
Спецификация на языке EXPRESS:
*)
SUBTYPE_CONSTRAINT compos_disc_k>w_both_up FOR
composite_discrete_domain;
ONEOF (lower_boundod_composite_discrete_domain.
both_sides_bounded_composite_discrete_domain.
upper_bounded_composite_discrete_domain);
END_SUBTYPE_CONSTRAINT;
*>
5.6 Определения сущности свойств домена
5.6.1 domain
Домен — это совокупность элементов, которые могутбыть упорядочены и установлены примени
тельно к заданному методу измерения. В настоящем стандарте рассмотрены только одномерные
области и одномерные элементы.
Спецификация на языке EXPRESS:
*)
ENTITY domain;
id: type_of_domain;
UNIQUE
UR1: id;
END_ENTITY;
r
Определение атрибутов:
id: позволяет идентифицировать domain (домен).
Формальное предложение:
UR1: идентификация domain должна быть уникальной.
5.6.2 time_domain
Временной домен time_domain — это область, которая может содержать последовательность
временных точек.
Пример 1 — tlme_domain может быть определен как перечень всех лет Грееорианскоео календаря
1955, 1956. 1957,...).
Пример 2 — tlme_domaln может быть определен как срок выплаты зарплаты рабочим.
10