ГОСТ Р ИСО 15531-42—2010
5.6.7 complete_domain
complctc_domain является доменом domain без пропусков, где domain_points определяется
доменом domain, охватывающим весь спектр возможностей. Не существует domain_points. которые
не могут быть заданы в complete_domain.
Спецификация на языке EXPRESS:
*)
ENTITY complete_domain
SUBTYPE OF (complete_or_composite_domain);
reference_to_unit: unit;
reference_to_origin: domain_point;
END_ENTITY:
Г
Определение атрибутов:
reference_to_unit: unit (единица измерения), с помощью которой измеряют продолжительность
периодов в complete_continuous_domain:
reference_to_origin: domain_point, определяющий источник complete_continuous_domain.
5.6.8 composite_domain
composite_domain является доменом domain, составленным из одного или более числа экзем
пляровдоменов domains. Объединенныедомены domains не должны перекрываться (накладываться
друг на друга).
Спецификация на языке EXPRESS:
*)
ENTITY composite_domain
SUBTYPE OF (complete_or_composite_domain):
components: SET[0:?] OF domain;
WHERE - components do not overlap
WR1 : components (domain.id (1) <>
components (domain.id [2]));
END_ENTITY;
r
Определение атрибутов:
Components: множество доменов domains, из которых состоит composite_domain.
Формальное предложение:
WR1: компоненты двухдоменов domains недолжны перекрываться (накладыватьсядругна друга).
5.6.9 continuous_domain
continuous_domain определяетдомен как упорядоченное, бесконечное и непрерывное множес
тво точек. Упорядочение выражаетпоследовательность точекобласти; continuous_domain позволяет
точно определить необходимую domain_point.
П р и м е ч а н и е 1 — В continuous_domain между каждой упорядоченной парой точек существует третья
точка, которая больше первой и меньше второй точки.
П р и м е ч а н и е 2 — Невозможно идентифицировать все точки в contlnous_dom aln при любом перечис
лении. Поэтому continuous_domain можно представить только как диапазон действительных чисел.
Спецификация на языке EXPRESS:
*)
ENTITY continuous_domain
SUBTYPE OF (discrete_or_continuous_domain);
END_ENTITY:
Г
5.6.10 discrete_domain
discrete_domain определяет область как множество domain_points, которые могут быть прону
мерованы. Это упорядочение обозначает последовательность точек в области.
12