ГОСТ Р И С 013606-2—2012
Литоральные конечные значения (например регулярное выражение/..*/в приведенном выше приме
ре) всегда являются ограничениями множества стандартных примитивных типов данных. Другие более
сложные типы ограничений описаны ниже.
8.2.2 Основные сведения
8.2.2.1 Ключевые слова
В языке cADL используются следующие ключевые слова:
- matches, -matches. is_in, -is_in;
- occurrences, existence, cardinality;
- ordered, unordered, unique;
- infinity;
- use_node. al!ow_archetype*:
- include, exclude.
Символьные эквиваленты некоторых из приведенных выше ключевых слов показаны в следующей
таблице:
Текстовое
представление
Символьное
представление
Значение
matches. is_in
е
Членство во множестве, элемент р принадлежит множе
ству Р
not. -
-
Отрицание, не р
Оператор matches или is_in является ключевым оператором языка cADL: он соответствует в матема
тике членству во множестве. Его указание между именем и блоком, ограниченным фигурными скобками,
означает следующее: внутри фигурных схобок задано множестводопустимых значений элемента с указан
ным именем (объекта или частей объекта — атрибутов). То. что находится внутри любой пары фигурных
скобок, соответствующихдругдругу, может рассматриваться как спецификация множества значений. Так
как блоки бывают вложенными, то данный подход к указанию значений можно интерпретировать в терми
нах вложенных множеств или в терминах пространства значений объектов, имеющих типыданных, принад
лежащие определенной совокупности.
П р и м е ч а н и я
1 В приведенном ниже примере оператор matches связывает имя объекта с линейным пространством
значений (например, со списком), образованном всеми словами, оканчивающимися на «ion»:
ааа matches {/.*ionlAVs\n\ty} - - множество английских слов, оканчивающихся
- - на «юп»
примере имя типа данных XXX связано с комплексным многомерным пространством
2 В следующем
значений:
XXX matches{
ааа matches {
YYY matches{0..3}
)- - пространство значений
bbb matches { - - и экземпляр XXX
ZZZ matches {>1992-12-01}
}
}
3 Иногда требуется, чтобы оператор matches использовался в отрицании; обычно это имеет место в конеч
ном блоке. Любой из следующих фрагментов может быть использован для ограничения пространства значений
элемента XXX любым числом, кроме 5:
XXX -matches {5}
XXX -is_in {5}
XXXг {5}
8.2.2.2 Комментарии
Комментарии в языке cADL обозначаются двойным символом дефиса -’. Многострочный коммента
рий формируется из нескольких строк, каждая из которых начинается с ведущих символов’-
* Существовало еще ключевое слово use_archetype. которое сейчас не используется.
65