ГОСТ Р ИСО 13606-2—2012
8.2.2.3 Идентификаторы винформационной модели
Именем типа данных является любой идентификатор, начинающийся с прописной буквы, за которой
следует любая комбинация избукв, цифри символовподчеркивания. Имя обобщенноготипаданных (включая
вложенные формы) может дополнительно содержать запятые и угловые скобки, но не пробелы, и должно
быть синтаксически корректным по отношению кязыку UML Именем атрибута является любой идентифика
тор. начинающийся со строчной буквы, за которой следует любая комбинация из букв, цифр и символов
подчеркивания.
8.2.2.4 Идентификаторы узлов
В языке cADL элемент, заключенный в квадратные скобки, например (хххх), используется для иден
тификации узлов объектов, т. е. узлов, описывающих ограничения экземпляров некоторого типа данных.
Узлы объектов всегда начинаются с имени типа данных. Внутри квадратных скобок может появиться любая
строка в зависимости от ее использования.
8 2.2.5 Естественный язык
ЯзыкcADL не зависитотестественного языка. Единственным потенциальным исключением является
случай, когда ограничения включают литеральные значения на некотором языке, что может быть обойдено
при использовании раздельных языковых и терминологических определений. Однако в целях улучшения
восприятия читателем в настоящий стандарт включены комментарии на русском языке.
8.2.3 Структура
8.2.3.1 Общая информация
Ограничения в языке cADL представлены встиле структуры блоков. Общая структура представляет
собой вложенные ограничения типов данных, за которыми следуют ограничения свойств (относящихся к
данному типу), типы данных (относящиеся к атрибутам) и т. д. Термин «блок объекта» или «узел объекта»
относится к любому блоку, начинающемуся именем типа данных (записанному полностью прописными
буквами), а термин «блокатрибута» или «узел атрибута» относится к любому блоку, начинающемуся иден
тификатором атрибута (записанному полностью строчными буквами).
П р и м е ч а н и я
1Типичный блок выглядит следующим образом (повторяющийся шаблон /.+/ является регулярным выраже
нием. представляющим непустую строку):
PERSON (аЮ001]е {
пате
~ {
PERSON_NAME[at0002]6 {
forenames cardinality £ (1..*}e (/.+/}
family_name е {/.+/}
title е (Dr. Miss. Mrs. Mr....}
}
}
addresses cardinality e {1..*} e {
L0CAT10N_ADDRESS [аЮООЗ]e {
street_number existence e (0..1}e {/.+/}
street_name
e
{/.+/}
localitye {/.+/}
post_code s {/.+/}
state £ {/.+/}
country e {/.+/}
}
}
}
2 В приведенном выше фрагменте любой идентификатор (выделенный полужирным шрифтом), за которым
следуют оператор включения е (эквивалентный ключевому слову matches или is_in) и открывающая фигурная
скобка, является началом блока, простирающегося до соответствующей закрывающей фигурной скобки (для луч
шего восприятия текста закрывающая скобка располагается с тем же смещением относительно начала строки, что
и начало блоха). Приведенный пример описывает ограничение экземпляра типа данных PERSON; ограниче нием
является все то. что записано внутри блока PERSON. Два блока, расположенные на следующем уровне,
определяют ограничения свойства экземпляра типа PERSON, вданном случав этими свойствами являются names и
addresses.
66