ГОСТ Р ИСО 13584-42—2012
Пример представления на языке EXPRESS:
*)
ENTITY non_si_unit
SUBTYPE OF(named_unit);
name: label:
END_ENTITY: — non_si_unit
(’
Определения атрибутов:
names: метки label, используемые для именования описанных единиц измерения.
F.3.8.4.2 Правило подтверждения выбора (Assert_ONEOF rule)
Правило assert_ONEOF подтверждает, что выбор производится из нижеследующих подтипов поименован
ных единиц измерения named_unit: единицы системы СИ si_unit, контекстно-зависимые единицы context_depen-
dent_unit, производные единицы conversion_based_unit и единицы, не относящиеся к системе СИ non_si_unit.
Пример представления на языке EXPRESS:
’)
RULE assert_ONEOF FOR(named_unit);
WHERE
QUERY(u <* named_unit |
(•ISO13584JEC61360_DICTIONARY_SCHEMA.NON_SI_Unit’
INTYPEOF(u)) AND
( MEASURE_SCHEMA.SI_Unrf IN TYPEOF(u))
OR (ISO13584_IEC61360_DICTIONARY_SCHEMA.NON_SI_Unit
INTYPEOF(u)) AND
(MEASURE_SCHEMA.CONTEXT_DEPENDENT_Unif IN TYPEOF(u))
OR (’ISO13584_IEC61360_DICTIONARY_SCHEMA.NON_SI_Unif
INTYPEOF(u)) AND
(MEASURE_SCHEMA.CONVERSION_BASED_Unif IN TYPEOF(u))
)= []:
END_RULE: — assert_ONEOF
Г
F.3.8.4.3 Словарная единица измерения (Dic_un’rt)
Базовое представление единиц измерения производится в структурированной форме в соответствии с ИСО
10303-41. Но так как одной из целей хранения единиц измерения в словаре является удобство пользователя,
только одного структурированного представления недостаточно. Оно должно быть дополнено строчным представ
лением.
Используемые определения имеют варианты:
- можно использовать функцию строки для единицы измерения string_for_unit (см. раздел F.3.10). Для рас
сматриваемого структурированного представления единицы измерения она возвращает строчное представление,
соответствующее представлению, используемому в Приложении ВМЭК 61360-1:2009;
- строчное представление может быть дано в обычной текстовой форме (например, сущность математиче
ская строка mathematical_string, атрибут текстового представления text_representation);
- представление MathMLдает расширенное представление единицы измерения, включая верхние индексы,
нижние индексы и т.д. (например, сущность математическая строка mathematical_string, атрибут представления
MathML_representation).
Сущность dic_unit описывает единицу измерения, включаемую в словарь.
Пример представления на языке EXPRESS:
*)
ENTITY dic_unit;
structured_representation: unit;
string_representation: OPTIONAL mathematical_string;
END_ENTITY: — dic_unit
(‘
Определения атрибутов:
structured_representation: структурированное представление no ИСО 10303-41. включая расширение,
определенное в разделе F.3.8.4.
string_representation: функцию stnng_for_unit можно использовать для расчета строчного представления
из structured_representation, когда строчное представление string_representation отсутствует.
Примечание — Атрибут структурированного представления structured_representation сущности dic_
unit используетсядля кодирования атрибута свойства «Единица измерения».
F.3.9Определения базового типа исущности
Данный подраздел содержит определения базового типа и сущности, используемые восновной части модели.
F.3.9.1 Определение базового типа
105