ГОСТ Р ИСО 24610-2—2013
(((в | f). then. model.featureVal),
att.globat.attnbute.xmlid.
att.gtobal.attribute.n,
att.globat.attnbute.xmllang.
att.gtobat.attnbute.xmlbase.
empty
)
then ■
88 раздепяет условие и стандартное значение в эпеыенте if или
8в логическое условие и следствие а элементе cond.
element then {
empty.
att.gtobal.attnbute.xmlld.
att.gtobal.attribute.n,
att.global.attribute.xmllang,
att.gtobat.attnbute.xmlbase.
empty
)
tsConstramta =
8в (ограничения структуры элементов) задает ограничения по
8в контенту адекватных структур элементов,
element (aConstralnts {
(cond |blcond)*,
att.gtobal.attnbute.xmlld.
att.gtobal.attribute.n,
att.global.attnbute.xmllang.
att.gtobal.attnbute.xmlbase.
empty
)
cond =
8в определяет обусловленное ограничение структуры элементов;
следствие и логическое условие определяются как структуры.
*8 элементов или какколлекции структур элементов; ограничение
#в удовлетворяется, если и логическое условие, и следствие
#8 одновременно категоризируют данную структуру элементов
#в или если логическое условие ее не категоризирует,
etementcond {
<(fs|f). then, (fs |f)>.
att.globat.attribute.xmlid,
att.gtobal.attribute.n,
att.global.attnbute.xmllang.
att.gtobal.attnbute.xmlbase.
empty
)
blcond =
#s определяет биусловное ограничение структуры элементов.
#8 и следствие, и логическое условие определяются как
#8 структуры элементов или как группы структур элементов;
#8 ограничение удовлетворяется, если и логическое условие
88. и следствие одновременно категоризируют или одновременно
#8 не категоризируют даннную структуру элементов,
element bicond {
<(fs|f). Iff. (fs | f)).
att.gtobal.attnbute.xmlld,
att.gtobal.attribute.n,
att.global.attnbute.xmllang.
att.gtobat.attnbute.xmlbase,
empty
}
iff =
8s (тогда и только тогда) разделитель логического условия и следствия
88 в элементе bicond.
36