ГОСТ Р 56271-2014
При м е ча н и е - Каждая роль подписи задает ограничение на тип индивидуального обьвкта, реализу
ющего рассматриваемую роль. Если унарные шаблоны используются в практических реализациях справочных
данных, то в общем случае они не подходят для определения типов роли, даже если хранятся в библиотеке RDL в
качестве классов. Именно шаблоны «пробегают» упорядоченный список индивидуальных объектов, а не инди
видуальные обьекты. Роль, тип которой задается унарным шаблоном, может, таким образом, быть реализована
только списками, содержащими один элемент.
5.3 Шаблонная специализация
p
Специальным случаем определения шаблона является введение одного шаблона как специали
зированной версии другого шаблона. Пусть Т обозначает трехкомпонентный шаблон с ролями, огра
ниченными выражениями Rv R2 и /?3 и условиями «моделирования», наложенными на аргументы вы
ражения <р:
T (x .y .z )R, (х)л R2(y)
a
R3(
z
)
a
<.
Предположим, что Г — специализация Т. Она содержит роль R4. ограничивающую первую роль
вместо Rv Ниже приведено формальное определение Г:
Т ’-*Г ,
R,(x)->RJx),
T’(x,y,z)*-> Г (x,y.z)AR4(x ).
Отсюда следует, что Г — специализированный шаблон Т: каждый экземпляр Г является экзем
пляром Т. и зависимости между индивидуальными объектами (задействованными в экземпляре) — те
же. что и для Т.
Пр име ча ние - Это относится только к логическому определению специализированного шаблона. Если
шаблон соответствует настоящему стандарту, то требования давать пояснения и иметь подписи (см. 5.1) сохраня
ются.
5.4 Проверка соответствия по ИСО 15926-2
Каждое определение шаблона должно быть проверено на выполнение ограничений, наложенных
моделью данных ИСО 15926-2. Нужно удостовериться, что каждый шаблон может быть реализован
способом, соответствующим требованиям языка ИСО 15926-2.
При м е ча н и е 1 - Нижеследующая процедура может быть использована для проверки того, что шаблон
Т удовлетворяет требованиям ИСО 15926-2.
Реализуем Тс парой четко выраженных произвольных индивидуальных объектов, а затем расши
рим данное утверждение в соответствии с аксиомой шаблона. Расширение данного шаблона обычно
требует расширения других шаблонов (любых шаблонов, появляющихся в определении Т и в опреде
лениях последующих шаблонов, являющихся результатом расширения предшествующих). Выполним
расширение рассматриваемого экземпляра шаблона и посмотрим, содержит ли данное расширение
предикаты языка, которые не являются частью ИСО 15926-2 (то есть, посмотрим, содержатся ли в нем
языковые предикаты шаблона):
- если «да», то определение шаблона обращается к предикатам, для которых формальное опре
деленно ИСО 15926-2 отсутствует и определение Т является неполным;
- если «нет», то расширение экземпляра шаблона является выражением языка ИСО 15926-2.
Данное выражение должно быть проверено на соответствие модели ИСО 15926-2 с помощью обобщен
ных методов логики первого порядка.
Успешные испытания соответствия доказывают, что рассматриваемый шаблон имеет интерпрета
цию в терминах модели данных ИСО 15926 и. таким образом, удовлетворяет требованиям формально
го критерия соответствия.
При м е ча н и е 2 - Процедура проверки соответствия поставленной цели в настоящем стандарте не рас
сматривается.
11