ГОСТ Р ИСО 15531-42—2010
Спецификация на языке EXPRESS.
*)
ENTITY time_domain
SUBTYPE OF (domain);
name: label;
docomposesjnto: SET [0:?J OF time_domain:
END_ENTITY;
Г
Определение атрибутов:
name: метка, с помощью которой распознают time_domain;
docomposesjnto: множество time_domains. из которых состоит time_domain.
5.6.3 domain_generic_structure
domain_generic_structure определяет общую структуру, применимую к многим видам одномер
ных областей.
Спецификация на языке EXPRESS:
*>
ENTITY domain_generic_structure;
id: type_of_identifier_ol_dom_gen_struct;
UNIQUE
UR1: id;
END_ENTITY;
r
Определение атрибутов:
id: позволяет идентифицировать domain_generic_structure.
Формальное предложение:
UR1: идентификация domain_generic_structure должна быть уникальной.
5.6.4 complete_or_composite_domain
абстрактное
представление
complete_domain или
complete_or_composite_domain — это
composite_domain.
Спецификация на языке EXPRESS:
*)
ENTITY complete_or_composite_domain
SUBTYPE of (domain_generic_structure);
END_ENTITY;
r
абстрактное
представление
discrete_domain или
5.6.5 discrete_or_continuous_domain
discrete_or_continuous_domain — это
continuous_domain.
Спецификация на языке EXPRESS:
*>
ENTITY discrete_or_continuous_domain
SUBTYPE of (domain_generic_structure);
END_ENTITY;
Г
5.6.6 bounded_domain
bounded_domain — это абстрактное представление domain ограниченного домена.
Спецификация на языке EXPRESS:
*)
ENTITY bounded_domain
SUBTYPE of (domain_generic_structure);
END_ENTITY;
r
11