Скачать ГОСТ Р 56271-2014 Системы промышленной автоматизации и интеграция. Интеграция данных жизненного цикла перерабатывающих предприятий, включая нефтяные и газовые производственные предприятия. Часть 7. Практические методы интеграции распределенных систем: методология шаблонов

Дата актуализации: 01.01.2018

ГОСТ Р 56271-2014

Системы промышленной автоматизации и интеграция. Интеграция данных жизненного цикла перерабатывающих предприятий, включая нефтяные и газовые производственные предприятия. Часть 7. Практические методы интеграции распределенных систем: методология шаблонов

Обозначение:	ГОСТ Р 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.2018
Дата введения:	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 г. )