ГОСТ Р ИСО 24610-2—2013
8.4.3 Логический вывод типа для опциональных элементов со значениями по умолчанию
Если в некоторой структуре элементов, какой-то элемент:
- является опциональным.
- не имеет присваиваемого значения или получает значение <default> и
- имеет заданное значение по умолчанию либо обусловленные стандартные значения, для кото
рых одно из условий выполнено.
тозначением такогоэлемента всамом общем адекватном расширенииструктуры элементов, если
таковоесуществует, будетподходящеестандартноезначение. Очевидно, чтоданныйэлементпринима
ет это значение и в том случае, когда он обязателен и для него определено значение по умолчанию.
8.4.4 Логический вывод типа для опциональных элементов без стандартных значений
Если в некоторой структуре элементов какой-то элемент:
- является опциональным,
- не имеет присваиваемого значения или получает значение <default> и
- либо не имеет заданного значения по умолчанию, либо имеет обусловленные стандартные зна
чения. для которых не удовлетворяется ни одно из условий.
то для такого элемента в самом общем адекватном расширении структуры элементов, когда она
существует, не будет присваиваемого значения. Подобная ситуациядопустима, посколькуданный эле
мент необязателен.
8.4.5 Возможность неудачного исхода логического вывода
Структура элементов может не иметь адекватного расширения, когда подходящее значение эле
мента по умолчанию (стандартное значение) несовместимо с его диапазоном допустимых значений,
объявленным в декларации. В этом случае для принудительного обеспечения соответствиядействую
щим критериям необходимо использоватьдополнительные инструментальные средства.
8.4.6 Элементы и атрибуты деклараций элементов
Элемент <fDecl> (декларация элемента) декларирует единственный элемент, определяяего имя,
способорганизации, диапазондопустимыхзначений, необязательноезначениепоумолчанию ипоказы
вает. обязателен ли сам данный элемент или не обязателен. В декларациях элементов используются
элементы иатрибуты, перечисленные ниже:
- пате указывает имя декларируемого элемента; оно соответствует атрибуту «имя» элементов
<f> в тексте;
- org определяет способ упорядочения значений элемента:
- optional показывает, является или не являетсяданный элементопциональным в структуре эле
ментов декларируемого типа;
- <fDescr> [дескриптор элемента (в FSD)] содержит текстовое описание сущности, представляе
мой декларируемым элементом, и ее значения.
- <vRange> задаетдиапазондопустимыхзначенийдляэлемента как<fs>, <vAlt> или built-in; чтобы
значение <f> было правильным, оно должно принадлежать заданному диапазону; если «^содержит
множество значений (санкционированных атрибутом огд). то каждое из них должно лежать в заданном
диапазоне vRange;
- <vDefault> декларирует значение по умолчанию, которое должно выбираться при отсутствии в
структуреэлементовэкземпляра <f> дляданного имени; если ограничений нет, топри этомопределяет
ся один или несколько элементов <fs> либо простых значений (в зависимости от конкретного значения
атрибута огдвложенного элемента fDed); если элемент <vDefault> обусловлен, то он определяется как
один или несколько элементов <if>; когда значения по умолчанию не определены или ограничения не
удовлетворены, то не выбирается никакое значение;
- <if> определяет обусловленное значение по умолчаниюдляданного элемента: условие задает
ся как структура элементов: оноудовлетворяется в том случае, когда категоризируетструктуруэлемен
тов в тексте, для которой ищется значение по умолчанию:
- <then> отделяет условие от стандартного значения в элементе <if> или логическое условие от
вывода в элементе <cond>.
8.4.7 Декларации элементов и категоризации
Логика контроля правильности значений элементов и проверки совпадения условий для выбора и
применения значений по умолчанию основывается на использовании операции категоризации. Это
стандартная операция в системе формализации, строящейся на выделении структурных элементов.
СтруктураэлементовFS категоризируетвсе структуры элементов, которыесовместимы сней и неменее
информативны, чем она сама: т. е. всеструктуры элементов, которые определяют все те значения эле
ментов. что и FS. вместе созначениями, которые категоризируются значениями FS. икоторые имеют те
же множественные входы, что и FS [1]. Формальное определение см. в 5.1.
26