Межгосударственный стандарт
ГОСТ Р 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
Редакционная карточка ГОСТНОРМ. Полный текст публикуется только при подтверждённом праве использования. Метаданные сверяются по нескольким источникам.
Область применения
Область применения пока не подтверждена.
1
Страница 1
Ф ЕДЕРАЛЬНО Е АГЕНТСТВО
ПО ТЕХНИЧЕСКОМУ РЕГУЛИРОВАНИЮ И МЕТРОЛОГИИ
НАЦИОНАЛЬНЫЙ ГО СТР
СТАНДАРТ
РОССИЙСКОЙ
56271 —
ФЕДЕРАЦИИ 2014/
ISO/TS 15926-7:2011
Системы промышленной автоматизации
и интеграция
И Н ТЕ ГР А Ц И Я Д А Н Н Ы Х Ж И З Н Е Н Н О Г О Ц И КЛ А
П Е Р Е Р А Б А ТЫ В А Ю Щ И Х П Р Е Д П Р И Я Т И Й ,
В К Л Ю Ч А Я Н Е Ф ТЯ Н Ы Е И ГАЗО ВЫ Е
ПРОИЗВОДСТВЕННЫ Е ПРЕДПРИЯТИЯ
Часть 7
Практические методы интеграции распределенных
систем: методология шаблонов
(ISO/TS 15926-7:2011, ЮТ)
И здание о ф и ц иа л ьн о е
Москва
Стандартинформ
2020
сертификация техники2
Страница 2
ГОСТ Р 56271—2014
Предисловие
1 ПОДГОТОВЛЕН Обществом с ограниченной ответственностью «НИИ экономики связи и инфор
матики «Интерэкомс» (ООО «НИИ «Интерэкомс») на основе собственного перевода на русский язык
англоязычной версии документа, указанного в пункте 4
2 ВНЕСЕН Техническим комитетом по стандартизации ТК 100 «Стратегический и инновационный
менеджмент»
3 УТВЕРЖ ДЕН И ВВЕДЕН В ДЕЙСТВИЕ Приказом Федерального агентства по техническому
регулированию и метрологии от 26 ноября 2014 г. No 1857-ст
4 Настоящий стандарт идентичен международному документу ИСО/ТС 15926-7:2011 «Системы
промышленной автоматизации и интеграция. Интеграция данных жизненного цикла перерабатываю
щих предприятий, включая нефтяные и газовые производственные предприятия. Часть 7. Практические
методы интеграции распределенных систем: методология шаблонов» (ISO/TS 15926-7:2011 «Industrial
automation systems and integration — Integration o f life-cycle data for process plants including oil and gas
production facilities — Part 7: Implementation methods for the integration o f distributed systems: Template
methodology». IDT)
5 ВВЕДЕН ВПЕРВЫЕ
6 ПЕРЕИЗДАНИЕ. Февраль 2020 г.
Правила применения настоящего стандарта установлены е статье 26 Федерального закона
от 29 июня 2015 г. № 162-ФЗ «О стандартизации в Российской Федерации». Информация об из
менениях к настоящему стандарту публикуется в ежегодном (по состоянию на 1 января текущего
года) информационном указателе «Национальные стандарты», а оф ициальный текст изменений
и поправок — в ежемесячном информационном указателе «Национальные стандарты». В случае
пересмотра (замены) или отмены настоящего стандарта соответствующее уведомление будет
опубликовано в ближайшем выпуске ежемесячного информационного указателя «Национальные
стандарты». Соответствующая информация, уведомление и тексты размещаются также в ин
формационной системе общего пользования — на оф ициальном сайте Федерального агентства по
техническому регулированию и метрологии в сети Интернет (www.gost.ru)
© Стандартинформ. оформление. 2015. 2020
Настоящий стандарт не может быть полностью или частично воспроизведен, тиражирован и рас
пространен в качестве официального издания без разрешения Федерального агентства по техническо
му регулированию и метрологии
II3
Страница 3
ГОСТ Р 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 в логике первого п о р я д к а .......................................................................... Ь
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 Представление dass_of_m ultidim ensionai_object........................................................................................47
Приложение А (обязательное) Регистрация информационного объекта...................................................... 49
Приложение В (обязательное) Листинг: ИСО 15926-2 в логике первого порядка.......................................50
Приложение С (обязательное) Листинг: протош аблоны....................................................................................69
Приложение D (справочное) Таблица протош аблонов...................................................................................... 74
Приложение Е (справочное) Рекурсивное и нерекурсивное расширение ш аблона.................................. 79
Приложение F (справочное) Пример расширения шаблона............................................................................... 81
Приложение G (справочное) Проверка соответствия с помощью когерентной л о г и к и ............................85
Приложение Н (справочное) Формальные ограничения вне ш а б л о н а .........................................................Ь (
Приложение J (обязательное) Семантика ш а б л о н а ............................................................................................ 88
Приложение К (обязательное) Свойства расширения шаблона........................................................................ 90
Библиограф ия.................................................................................................................................................................. 92
III4
Страница 4
ГОСТ Р 56271—2014
Введение
Комплекс международных стандартов ИСО 15926 предназначен для представления информации
о жизненном цикле перерабатывающих предприятий, включая нефтяные и газовые производственные
предприятия. Это представление определяется общей концептуальной моделью данных, которая яв
ляется основой для совместного использования баз данных и хранилищ информации. Такая модель
предназначена для применения совместно со справочными данными, например стандартными экзем
плярами. которые представляют информацию, общую для ряда пользователей, технологических уста
новок или того и другого вместе. Поддержка деятельности на протяжении жизненного цикла зависит от
использования необходимых справочных данных совместно с моделью данных.
Комплекс международных стандартов ИСО 15926 состоит из частей. Каждая часть публикуется
отдельно. Настоящий стандарт определяет методологию шаблонов (темплейтов). от английского слова
template. Она не зависит от методологий практической реализации и компьютерных языков.
Под шаблоном в настоящем стандарте понимается специальная структура данных, установлен
ная в комплексе международных стандартов ИСО 15926. В настоящем стандарте шаблоны рассматри
ваются с нескольких точек зрения.
Во-первых, шаблон — это предикат, утверждение которого формулируется в качестве аксиомы.
Шаблон формулирует в себе некое утверждение о модели данных, и каждый его экземпляр — истинное
утверждение в рамках используемой модели данных.
Во-вторых, шаблон — это способ передачи данных. Когда создается шаблон, четко оговаривает
ся семантика каждой его свободной переменной, а требование к структуре модели данных, в рамках
которой применяется шаблон, оформляется в виде формулы логики первого порядка. Предполагается,
что справочные данные при обмене не передаются — к ним имеют доступ и получатель, и отправи
тель. то есть они пользуются общим «словарем» (хотя понятие «справочные данные» намного шире,
чем понятие «словарь»), В основном передаются экземпляры шаблонов (template instance), поскольку
их семантика задана наперед, получатель и отправитель всегда знают, какой смысл вложен в пере
данный набор данных. Кроме того, в случае создания хранилища данных об индивидуальных объ
ектах (индивидах) в виде триплетов (реализация фасадов (от английского слова facade) как способа
представления информации об индивидах на основе справочных данных] к нему возможен доступ при
помощи SPARQL-запросов, тогда вопрос получения необходимых данных сводится к построению со
ответствующего запроса. Таким образом, если шаблон соответствует моделям данных передающей и
принимающей сторон, то достаточно передать лишь блок данных, идентифицирующий шаблон и содер
жащий в себе заполненные свободные переменные. Тогда принимающая сторона, зная его семантику,
соотнесет переданные значения переменных со своей моделью данных необходимым образом.
В-третьих, шаблоны являются справочными данными, их спецификация хранится в библиотеке
справочных данных RDL при помощи специальных структур данных.
Поскольку в соответствии с ИСО 15926 шаблон является предикатом логики первого порядка,
удовлетворяющим аксиоматике модели данных настоящего стандарта, то заполняя соответствующими
значениями переменные такого предиката, мы получаем утверждения об объектах с фиксированной
семантикой — экземплярах шаблона. Шаблоны позволяют как генерировать справочные данные (для
создания однородной группы утверждений об элементах библиотеки справочных данных RDL доста
точно применить шаблон необходимое количество раз с соответствующими значениями переменных),
так и создавать связи между библиотеками справочных данных RDL и моделью данных приложения
(например. Р1_Мприложения) — так называемый маплинг (mapping).
Настоящий стандарт рассматривает методологию шаблонов, определяющую точное содержание
концептуальных элементов модели ИСО 15926-2, используемых при формировании данных, интегра
ции или при использовании методов взаимодействия агрегатов. Настоящий стандарт не зависит от ис
пользуемых языков, инфраструктуры практической реализации и методов испытаний, а служит основой
для языков и инфраструктуры практической реализации и методов испытаний.
Настоящий стандарт определяет:
- методы логики первого порядка;
- синтаксис шаблонов;
- семантику шаблонов;
- метод расширения шаблона:
- протошаблон;
- начальное множество шаблонов.
IVПоказаны первые 4 из 100
История статуса
Подтверждённых событий пока нет.