ГОСТ Р 56271-2014
Содержание
1 Область применения..........................................................................
..
.......................
..
..............................................1
2 Термины, определения и аббревиатуры.................................................................................................................1
2.1 Термины и определения........................................................................................................................................1
2.2 Аббревиатуры................................................................... 4
3 Фундаментальные понятия и допущения............................................................................................................... 4
3.1 Общие положения.........................................4
3.2 Понятия и модели...................................................................................................................................................4
4 Основы моделирования...............................................................................................................................................5
4.1 Модели данных ИСО 15926-2 в логике первого порядка.............................................................................5
4.2 Определение логического шаблона..................................................................................................................7
4.3 Протошаблоны........................................................................................................................................................8
4.4 Диаграммы..................,...........................................................................................................................................8
5 Спецификации шаблона.................................................................10
5.1 Требования к шаблону, общие положения..................................................................................10
5.2 Шаблонные подписи......................................................................................................................10
5.3 Шаблонная специализация................................................................................................................................11
5.4 Проверка соответствия по ИСО 15926-2........................................................................................................11
6 Шаблоны индивидуальных объектов......................................................................................................................12
6.1 Цель......................................................................................................................................................................... 12
6.2 Необходимые справочные элементы..............................................................................................................12
6.3 Начальное множество.........................................................................................................................................12
7 Шаблоны классов..............................................21
7.1 Цель.........................................................................................................................................................................21
7.2 Необходимые элементы справочных данных...............................................................................................21
7.3 Представление комплексных классов............................................................................................................22
7.4 Ограничения зависимостей...............................................................................................................................23
7.5 Начальное множество........................................................................................................................................ 28
8 Шаблоны как справочные данные...........................................................................................................................47
8.1 Шаблонные подписи и аксиомы шаблонов...................................................................................................47
8.2 Представление class_of_multidimensional_object........................................................................................47
Приложение А (обязательное) Регистрация информационного объекта....................................................... 49
Приложение В (обязательное) Листинг: ИСО 15926-2 в логике первого порядка........................................50
Приложение С (обязательное) Листинг: протошаблоны......................................................................................68
Приложение D (справочное) Таблица протошаблонов.........................................................................................74
Приложение Е (справочное) Рекурсивное и нерекурсивное расширение шаблона...................................79
Приложение F (справочное) Пример расширения шаблона...............................................................................81
Приложение G (справочное) Проверка соответствия с помощью когерентной логики..............................85
Приложение Н (справочное) Формальные ограничения вне шаблона...........................................................87
Приложение J (обязательное) Семантика шаблона..............................................................................................88
Приложение К (обязательное) Свойства расширения шаблона........................................................................90
Библиография.
....
.............................................................................................................................................................92
III