На главную | База 1 | База 2 | База 3
Испытания и Сертификация Испытательный центр Орган по сертификации Строительная экспертиза Обследование зданий Тепловизионный контроль Ультразвуковой контроль Проектные работы Контроль качества строительства Нормативные базы Государственные стандартыСтроительная документацияТехническая документацияАвтомобильные дороги Классификатор ISO Мостостроение Национальные стандарты Строительство Технический надзор Ценообразование Экология Электроэнергия

ГОСТ Р 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.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 г. )
Расположен в:Техническая документация Электроэнергия ДОБЫЧА И ПЕРЕРАБОТКА НЕФТИ, ГАЗА И СМЕЖНЫЕ ПРОИЗВОДСТВА Добыча и переработка нефти и природного газа МАШИНОСТРОЕНИЕ Промышленные автоматизированные системы Измерение и контроль производственного процесса Экология ДОБЫЧА И ПЕРЕРАБОТКА НЕФТИ, ГАЗА И СМЕЖНЫЕ ПРОИЗВОДСТВА Добыча и переработка нефти и природного газа МАШИНОСТРОЕНИЕ Промышленные автоматизированные системы Измерение и контроль производственного процесса
Нормативные ссылки:
ГОСТ Р 56271-2014ГОСТ Р 56271-2014ГОСТ Р 56271-2014ГОСТ Р 56271-2014ГОСТ Р 56271-2014ГОСТ Р 56271-2014ГОСТ Р 56271-2014ГОСТ Р 56271-2014ГОСТ Р 56271-2014ГОСТ Р 56271-2014ГОСТ Р 56271-2014ГОСТ Р 56271-2014ГОСТ Р 56271-2014ГОСТ Р 56271-2014ГОСТ Р 56271-2014ГОСТ Р 56271-2014ГОСТ Р 56271-2014ГОСТ Р 56271-2014ГОСТ Р 56271-2014ГОСТ Р 56271-2014ГОСТ Р 56271-2014ГОСТ Р 56271-2014ГОСТ Р 56271-2014ГОСТ Р 56271-2014ГОСТ Р 56271-2014ГОСТ Р 56271-2014ГОСТ Р 56271-2014ГОСТ Р 56271-2014ГОСТ Р 56271-2014ГОСТ Р 56271-2014ГОСТ Р 56271-2014ГОСТ Р 56271-2014ГОСТ Р 56271-2014ГОСТ Р 56271-2014ГОСТ Р 56271-2014ГОСТ Р 56271-2014ГОСТ Р 56271-2014ГОСТ Р 56271-2014ГОСТ Р 56271-2014ГОСТ Р 56271-2014ГОСТ Р 56271-2014ГОСТ Р 56271-2014ГОСТ Р 56271-2014ГОСТ Р 56271-2014ГОСТ Р 56271-2014ГОСТ Р 56271-2014ГОСТ Р 56271-2014ГОСТ Р 56271-2014ГОСТ Р 56271-2014ГОСТ Р 56271-2014ГОСТ Р 56271-2014ГОСТ Р 56271-2014ГОСТ Р 56271-2014ГОСТ Р 56271-2014ГОСТ Р 56271-2014ГОСТ Р 56271-2014ГОСТ Р 56271-2014ГОСТ Р 56271-2014ГОСТ Р 56271-2014ГОСТ Р 56271-2014ГОСТ Р 56271-2014ГОСТ Р 56271-2014ГОСТ Р 56271-2014ГОСТ Р 56271-2014ГОСТ Р 56271-2014ГОСТ Р 56271-2014ГОСТ Р 56271-2014ГОСТ Р 56271-2014ГОСТ Р 56271-2014ГОСТ Р 56271-2014ГОСТ Р 56271-2014ГОСТ Р 56271-2014ГОСТ Р 56271-2014ГОСТ Р 56271-2014ГОСТ Р 56271-2014ГОСТ Р 56271-2014ГОСТ Р 56271-2014ГОСТ Р 56271-2014ГОСТ Р 56271-2014ГОСТ Р 56271-2014ГОСТ Р 56271-2014ГОСТ Р 56271-2014ГОСТ Р 56271-2014ГОСТ Р 56271-2014ГОСТ Р 56271-2014ГОСТ Р 56271-2014ГОСТ Р 56271-2014ГОСТ Р 56271-2014ГОСТ Р 56271-2014ГОСТ Р 56271-2014ГОСТ Р 56271-2014ГОСТ Р 56271-2014ГОСТ Р 56271-2014ГОСТ Р 56271-2014ГОСТ Р 56271-2014ГОСТ Р 56271-2014ГОСТ Р 56271-2014ГОСТ Р 56271-2014ГОСТ Р 56271-2014ГОСТ Р 56271-2014