ГОСТ Р ИСО 13606-2—2012
<IN_STR>[A\n"]*\"
<IN_STR>|\n|
- - соответствует окончательному концу
-- строкового значения
--ошибка
<IN_STR>«EOF>>- - незавершенная строка
- - - " ..................
Г
V_CHARACTER 7 ......................................................................................................................
V[A\\VnT\’— обычный символ из диапазона 0-127
YY\n\ - - \п
\’Ы
- - \г
УМ - - \t
m - -v
vww-
-
\\
V{UTF8CHAR}V— символ UTF8
V-{1.2}|
VW(0-9J+(\/)? — недопустимый символ -> ERR_CHARACTER
8.2 Язык cADL — ADL ограничений
8.2.1 Обзор (справочно)
Синтаксис языка cADL позволяет описывать ограничения данных, определенных с помощью объект
но-ориентированных информационных моделей, в архетипах или вдругих формализмах определения зна
ний. Данный язык наиболее подходит для определения специфичных допустимых конструкций данных,
экземпляры которых соответствуют очень общим объектным моделям. Язык cADL используется как на
этапе разработки (разработчиками и/или инструментальными средствами), так и во время исполнения
вы числительными системами, которые проверяют правильностьданных, сравнивая их с
соответствующими разделами архетипа, описывающими ограничения на языке cADL. Общий вид
ограничений на языке cADL иллюстрируется следующим примером.
PERSON[atOOOO] matches {
name matches {
TEXT matches {/.+/}
- - ограничение экземпляра PERSON
- - ограничение PERSON.name
- - любая непустая строка
}
addresses cardinality matches {0..*} matches
{- - ограничение
- - PERSON.addresses
ADDRESS matches {
- - и т.д. - -
}
}
}
Некоторые текстовые ключевые слова в данном примере могут бытьэффективно представлены обыч
ными символами математической логики. В следующем примере ключевое слово matches заменено соот
ветствующим символом:
PERSON[atOOOO] е {
nameе {
TEXT е {/..*/}
- - ограничение экземпляра PERSON
--ограничениеPERSON.name
-- любая непустая строка
}
addresses cardinality е {0..*} е
{- - ограничение
- - PERSON.addresses
ADDRESS е {
- - и т. д. - -
}
}
}
Вся совокупность эквивалентов представлена ниже. Необработанная форма языка cADL хранится в
текстовом виде, чтобы исключить возможные трудности с представлением специальных символов и избе
жать трудностей обработки текста на языке cADL в текстовых редакторах, не обеспечивающих восприятие
таких символов, а также облегчить чтение текста на английском языке. Однако символьная форма пред
ставления может быть более употребительной благодаря использованию инструментальных средств, фор
матированию текстов в формате HTML или в других форматах представления документов. Кроме того,
символьная форма может быть более удобна пользователям, не владеющим английским языком, а также
имеющим хорошую математическую подготовку. Язык cADL поддерживает оба варианта представления —
использование символов или текста зависит только от предпочтений пользователя.
64