ГОСТ Р И С 013606-2—2012
пов. Для большинства типов данных существуют, по крайней мере, два альтернативных способа описания
ограничения; например, ограничение типа данных
C_DATE
может быть представлено вформе шаблона или
интервала дат
IntervalDa(o>.
Пакет онтологии
Все лингвистические и терминологические сущности архетипа представлены в разделе онтологии,
семантика которого описана в пакете онтологии.
Онтология архетипа содержит следующие составляющие:
- список терминов, определенных локально в архетипе. Они идентифицируются кодами «atNNNN» и
выполняют функцию идентификаторов узлов архетипа, с помощью которых создаются пути. В архетипе
существует один такой список для каждого используемого естественного языка;
- список определений внешних ограничений, идентифицируемых кодами «acNNNN». В него включа
ются ограничения, определенные как внешние по отношению к архетипу, ссылки на которые даются с
использованием экземпляра класса
CONSTANT_REF.
В архетипе существует один такой списокдля каж
дого используемого естественного языка;
- набор из одной или несхольких связей определений терминов с кодами терминов из внешних терми
нологий — факультативно.
- набор из одной или нескольких связей определений внешних ограничений с внешними источника
ми. например, с терминологиями — факультативно.
Гпубина специализации
Любой конкретный архетип находится в определенной точке иерархии специализации архетипов. Глу
бина специализации указывается атрибутом
specialisation_depth.
Архетип, не являющийся специализацией
другого архетипа, имеет глубину специализации 0. Коды терминов и ограничений, включенные
вонтологию специализированных архетипов (т. е. тех. которых нет в онтологии родительского архетипа),
определяются строго с использованием символа десятичной точки «.». Например, архетип, имеющий
глубину специали зации 2. будет использовать коды определений терминов следующего вида:
«аЮ.0.1» — новый термин, который определен в данном архетипе и не является специализацией
какого-либо предшествующего термина в каком-либо родительском архетипе;
«аЮ001.0.1» — термин, являющийся специализацией термина «аЮ001». определенного в родителе
верхнего уровня. Промежуточный «.0» необходим, чтобы показать, что новый термин имеет глубину 2, а
не 1:
«аЮ001.1.1»— термин, являющийся специализацией термина «аЮ001.1». определенного в родителе
промежуточного уровня, который в свою очередь специализирует термин «аЮ001». определенный в роди
теле верхнего уровня.
Данное систематическое определение кодов позволяет программному обеспечению использовать
структуру кодов, чтобы делать логические выводы более быстро и точно относительно определений терми
нов вверх и вниз по иерархиям специализации. С другой стороны, коды ограничений не подчиняются этим
правилам, а вместо этого принадлежат линейному пространству кодов.
Определения терминов и ограничений
Локальные определения терминов и ограничений моделируются в виде экземпляров класса
ARCHETYPE_TERM.
являющихся кодами, связанными со списком пар «имя-значение». Для любого опре
деления термина или ограничения данный списокдолжен содержать, по крайней мере, пары «имя-значе
ние» для имен «text» (текст) и «description» (описание). Кроме того, список должен содержать такой эле
мент. как «provenance» (происхождение), который мог бы использоваться для указания того, что термин
происходит из внешней терминологии. Атрибут
term_attribute_names
класса
ARCHETYPE_ONTOLOGYсо-
держит список имен атрибутов, используемых вархетипе для определений терминов и ограничений, вклю
чая «text» и «description», а также любые другие, используемые в разных местах.
Пакет обобщенных типов данных
Данный пакет включен для подтверждения семантики обобщенных типов данных, используемых в
настоящем стандарте. Хотя типы List<T>, Set<T>, Hash<T,K> и !nterval<T> являются обобщенными типами
данных, поддерживаемыми многими программными средами, они не поддерживаются в языке UML непос
редственно. В данном пакете новые типы данных, например List<String> (список строк), определяются с
использованием зависимостей связей между новым базовым типом (вданном случае List<String>) и клас
сом (LIST вданном примере), который определяет минимальную необходимую семантикудля всех типов
данных List.
XI