| Обозначение: |   ГОСТ Р 56271-2014 |
| Обозначение англ: | GOST R 56271-2014 |
| Статус: | Введен впервые |
| Название рус.: | Системы промышленной автоматизации и интеграция. Интеграция данных жизненного цикла перерабатывающих предприятий, включая нефтяные и газовые производственные предприятия. Часть 7. Практические методы интеграции распределенных систем: методология шаблонов |
| Название англ.: | Industrial automation systems and integration. Integration of life-cycle data for process plants including oil and gas production facilities. Part 7. Implementation methods for the integration of distributed systems. Template methodology |
| Дата добавления в базу: | 12.02.2016 |
| Дата актуализации: | 01.01.2021 |
| Дата введения: | 01.01.2016 |
| Область применения: | Стандарт содержит описание процедуры обмена данными и интеграции информации о жизненном цикле с помощью шаблонов, основанных на модели данных ИСО 15926-2.
Стандарт устанавливает методологию интеграции данных об онтологиях с помощью математической логики первого порядка, что позволяет сделать данную топологию независимой от компьютерных языков.
Стандарт распространяется на: - представление модели языка EXPRESS ИСО 15926-2 в формальной логике; - критерии определений шаблонов; - методы расширения и проверки шаблонов; - начальное множество определений шаблонов. |
| Оглавление: | 1 Область применения
2 Термины, определения и аббревиатуры
2.1 Термины и определения
2.2 Аббревиатуры
3 Фундаментальные понятия и допущения
3.1 Общие положения
3.2 Понятия и модели
4 Основы моделирования
4.1 Модели данных ИСО 15926-2 в логике первого порядка
4.2 Определение логического шаблона
4.3 Протошаблоны
4.4 Диаграммы
5 Спецификации шаблона
5.1 Требования к шаблону, общие положения
5.2 Шаблонные подписи
5.3 Шаблонная специализация
5.4 Проверка соответствия по ИСО 15926-2
6 Шаблоны индивидуальных объектов
6.1 Цель
6.2 Необходимые справочные элементы
6.3 Начальное множество
7 Шаблоны классов
7.1 Цель
7.2 Необходимые элементы справочных данных
7.3 Представление комплексных классов
7.4 Ограничения зависимостей
7.5 Начальное множество
8 Шаблоны как справочные данные
8.1 Шаблонные подписи и аксиомы шаблонов
8.2 Представление class_of_multidimensional_object
Приложение А (обязательное) Регистрация информационного объекта
Приложение В (обязательное) Листинг: ИСО 15926-2 в логике первого порядка
Приложение С (обязательное) Листинг: протошаблоны
Приложение D (справочное) Таблица протошаблонов
Приложение Е (справочное) Рекурсивное и нерекурсивное расширение шаблона
Приложение F (справочное) Пример расширения шаблона
Приложение G (справочное) Проверка соответствия с помощью когерентной логики
Приложение Н (справочное) Формальные ограничения вне шаблона
Приложение J (обязательное) Семантика шаблона
Приложение К (обязательное) Свойства расширения шаблона
Библиография |
| Разработан: | ООО НИИ Интерэкомс
|
| Утверждён: | 26.11.2014 Росстандарт (1857-ст)
|
| Издан: | Стандартинформ (2015 г. )
|
| Расположен в: |
|
| Нормативные ссылки: | |