Обозначение: | ГОСТ Р 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 г. )
|
|
Нормативные ссылки: | |