ГОСТ Р ИСО 13584-42—2012
Дополнительные пояснения:
IP1: идентификатор dic_unit_identifier должен быть ассоциирован с услугой разрешения по ИСО/ТС 29002.
Данная услуга предоставляет формальное определение единицы измерения, идентифицированной сущностью
dic_unit_identifier, соответствующей требованиям модели dic_unit языка EXPRESS в синтаксисе, определенном
ИСО 13584-32 (OntoML) и, возможно, ИСО 10303-21.
IP2: часть идентификатора, идущая после второго символа ’#’ (идентификатор данных), должна начинаться
с ’05-’. чтобы указать на единицу измерения по ИСО/ТС 29002-5.
Примечание — Идентификатор словарной единицы измерения dic_unit_identifier составляет Междуна
родный идентификатор регистрации данных (МИРД) в соответствии с ИСО/МЭК 11179-5.
F.3.9.1.21 Идентификатор словарного значения (Dic_value_identifier)
Идентификатор dic_value_identifier — это стандартный идентификатор типа ISO_29002_IRDI_type, дающий
глобальный идентификатор значения свойства, представленный как сущность dic_value. Структура данного иден
тификатора удовлетворяет синтаксическим требованиям ИСО/ТС 29002-5.
П р и м е ч а н и е 1— Назначение идентификатора словарного значения dic_value_identifierдопускает по
вторное использование рассматриваемого определения dic_value в нескольких областях значений value_domain.
П р и м е ч а н и е 2 — Идентификатор dic_value_identifier может быть ассоциирован с услугой разреше
ния по ИСО/ТС 29002. Данная услуга дает возможность получить формальное определение значения, идентифи
цированного сущностью dic_value_identifier в соответствии с моделью dic_value языка EXPRESS в синтаксисе,
определенном ИСО 13584-32 (OntoML) и. возможно. ИСО 10303-21.
Пример представления на языке EXPRESS:
*)
TYPE dic_value_identifier = ISO_29002_IRDI_type;
END_TYPE; — dic_value_»dentifier
(*
Дополнительное пояснение к тексту программы:
IP1: часть идентификатора, идущая после второго символа ’#’ (идентификатор данных), должна начинаться
с ’07-’ для указания значения свойства в соответствии с ИСО/ТС 29002-5.
П р и м е ч а н и е 3 — Идентификатор словарного значения dic_value_identifier составляет Международ
ный идентификатор регистрации данных (МИРД) в соответствии с ИСО/МЭК 11179-5.
F.3.9.1.22 Тип кода значения (Value_code_type)
Сущность value_code_type задает значения, допустимые для кода значения.
Пример представления на языке EXPRESS:
*)
TYPE va!ue_code_type = identifier;
WHERE
WR1: LENGTH(SELF) <= value_code_len;
END_TYPE; — value_code_type
r
Пояснения к тексту программы:
WR1: длина значения value_code_type не должна превышать длину value_code_len (т.е. 35).
F.3.9.1.23 Тип формата значения (Value_format_type)
Сущность value_format_type задает значения, допустимые для формата значения. Указанные значения
определяются в соответствии с приложением D.
Пример представления на языке EXPRESS:
*)
TYPE value_format_type = identifier,
WHERE
WR1: LENGTH(SELF) <= valuejormatjen:
END_TYPE; — value_format_type
C
Пояснения к тексту программы:
WR1: длина значения value_format_type не должна превышать длину value_format_len (т.е. 80).
F.3.9.1.24 Тип версии (Versionjype)
Сущность version_type задает значения, допустимые для № версии.
Пример представления на языке EXPRESS:
*)
TYPE versk>n_type = code_type;
WHERE
WR1: LENGTH(SELF) <= versionJen;
WR2: EXISTS(VALUE(SELF)) AND (’INTEGER’ IN TYPEOF(VALUE(SELF)))
110