ГОСТ Р ИСО 13584-42—2012
7.2.15 Условие
Obj:Формально идентифицировать контекстный параметр, от которого зависят контекстно-за
висимые характеристики.
Descr: Описание кодов адекватных контекстных параметров.
Oblig: Обязательно для контекстно-зависимых характеристик.
Trans: Перевода не требуется.
For:Ссылка на набор базовых семантических блоков.
Марр: Отображение property_DET\dopendent_P_DET.depends_on
7.2.16 Формула
Obj:Правило или утверждение в математической форме, выражающее семантику количе
ственного свойства. Формула не должна изменять какую-либо существенную информацию о смысле
рассматриваемого определения.
Descr: Математическое выражение определения свойства.
Oblig: По выбору.
Trans: Перевода не требуется.
For:Математическая строка (математические строки всегда присутствуют в текстовом пред
ставлении; они также бывают в текстовом представлении MathML).
Марр: Отображение property_DET.formula
7.2.17 Формат значения
Obj:Спецификация длины и шаблон рекомендуемого представления значения свойства с ти
пами данных: строка string_type (либо ее подтип), число numbor_type (либо его подтип), набор зна
чений (определенных либо типом level_type. либо укрупненными типами данных: list_type. set_typo,
bag_type. array_type или set_with_subset_constralnt_type). При необходимости, данный атрибут дает
рекомендацию системе о порядке представления строчных и числовых значений. Данная рекоменда
ция не должна противоречить типу данных и возможным ограничениям на значения свойств. Значение
данного атрибута должно быть совместимым с типом данных свойств: оно не должно изменять
указан ный тип данных, в противном случае оно игнорируется. Значение данного атрибута также
должно быть совместимым с допустимыми ограничениями свойств, определенными на значениях
свойств с помо щью схемы ограничений, установленной в настоящем стандарте. В противном случае
значение данного атрибута игнорируется.
П р и м е ч а н и е 1 — Типы данных list_type. set_type. bag_lype, array_type и set_wilh_subset_constraint_
type определены в ИСО 13584-25.
Descr: При необходимости формат значения определяется в соответствии с одним из определе
ний высоты (см. ниже). Синтаксис указанных форматов определен в приложении D с помощью подмно
жества расширенной формы Бекуса-Наура (EBNF). установленного в ИСО/МЭК 14977.
a) Форматы значений неколичественных типов данных: 5 определений. Они предназначены
для свойств с неколичественными типами данных, например, строка string_type (или один из ее под
типов) или наборы таких значений.
Алфавитный формат значения (А),
Смешанный символьный формат значений (М),
Числовой формат значений (N),
Смешанный алфавитный и числовой символьный формат значений (X),
Бинарный формат значений (В).
b
) Форматы значений количественных типов данных: 3 определения. Они предназначены
для свойств с числовыми значениями, т.е. числовой тип number_type (или один из его подтипов)
или наборы таких значений.
Целочисленный формат значений (NR1),
Действительный десятичный формат значений (NR2),
Действительный десятичный и показательный формат значений (NR3),
Рациональный формат значений (NR4).
Oblig: По выбору.
Trans: Перевода не требуется.
For:80. буквенно-цифровой.
Марр: Отображение property_DET.domain\simple_type.value_format
21