ГОСТ Р МЭК 61360-2—2013
7.3.11 Ограничение подтипа сущности (Entity_subtype_constraint)
Сущность entity_subtype_constraint ограничивает область значений типа реализации сущности
ontity_lnstance_type до подтипа СУЩНОСТИ, определяющей ее исходную область.
Пример представления на языке EXPRESS:
*)
ENTITY entity_subtype_cor.straint
SUBTYPE OF(domair._constraint>;
subtypenames: SET(1:?] OF STRING;
END_LNTITY; -- entity subtype_cor.straint
C "
Определения атрибутов.
subtype_names: набор строк, описывающих (в формате функции типа TYPEOF языка EXPRESS)
имена типов данных сущности языка EXPRESS, принадлежащих результату действия функции типа
TYPEOF языка EXPRESS, примененной к значению, ссылающемуся на повторно определенное огра
ниченное свойство constrained_properties.
7.3.12 Ограничение нумерации (Enumeration_constraint)
Сущность enumeration_constraint ограничивает область значений типа данных до списка зна
чений. определенных в расширении. Порядок, определенный списком. — это рекомендуемый порядок
представления информации. Конкретное описание по желанию может быть ассоциировано с каждым
значением подмножества с помощью неколичественного целого типа non_quantitative_lnt_type. /-е
значение которого описывает смысл /-го значения подмножества.
Для подтипов number_type. ассоциированных со словарными единицами измерения dic_unit
и альтернативными единицами измерения и, возможно, с идентификаторами словарных единиц из
мерения dic_unit_identifier, а также с идентификаторами альтернативных единиц измерения, данное
ограничение применяется к значению, соответствующему словарной единице dic_unit или одному
идентификатору словарной единицы dic_unit_identifier. Если существуют и сама единица, и ее иден
тификатор. то они соответствуют одной и той же единице измерения.
Для подтипов number_type. ассоциированных с валютой, ограничения накладываются на валюту,
указанную в определении их типов данных. Если никакая валюта в определении типов данных не ука
зана. то рассматриваемое ограничение не используется.
Для значений, принадлежащих переводимому строчному типу translatable_string_type, ограни
чения накладываются на строку, представленную на исходном языке, на котором определена область
значений свойства. Данный исходный язык может быть определен атрибутом sourcejanguage адми
нистративных данных administrative_data свойства. Если данный атрибут не существует, то указанный
исходный язык считается известным пользователю словаря.
Если какое-либо другое ограничение нумерации enumeration_constraint накладывается на свой
ство, ранее уже ассоциированное с некоторым ограничением нумерации enumeration_constraint в
некотором суперклассе, то применяются оба ограничения. Таким образом, допустимый набор значе
ний — это пересечение двух подмножеств. Порядок представления информации и возможный смысл
ограничения, ассоциированного с каждым значением для рассматриваемого ограничения нумерации
enumeration_constraint. иллюстрируется примерами ниже.
Пример 1
—
Если (в классе С1) данное свойст во ассоциировано с ограничением нумерации
enum erationconstraint, атрибут subset которого равен {1. 3. 5, 7). то в классе С1 и в лю бом его подклас
се свойст во Р1 может принимать только одно из четырех следующ их значений: 1, 3, 5, 7.
Пример 2
—
Если тип данных свойства Р1
—
это целочисленный массив LIST [1:4]. и если в классе
С1 данное свойст во ассоциировано с ограничением нумерации enum erationjconstraint, атрибут subset
которого {{1}, [3,
5}. {7},
{1. 3,
7}
}, то в классе С1 и в лю бом его подклассе свойст во Р1 может
принимать т олько одно из четырех следующ их значений: {1).
{3, 5}. {7},
(1,
3. 7).
Пример представления на языке EXPRESS:
*)
ENTITY enumeration_con3traint
SUBTYPE OF (domain_constraint);
101