ГОСТ Р 56271-2014
Введение
Комплекс международных стандартов ИСО 15926 предназначен для представления информации
о жизненном цикле перерабатывающих предприятий, включая нефтяные и газовые производственные
предприятия. Это представление определяется обшей концептуальной моделью данных, которая яв
ляется основой для совместного использования баз данных и хранилищ информации. Такая модель
предназначена для применения совместно со справочными данными, например стандартными экзем
плярами. которые представляют информацию, общую для ряда пользователей, технологических уста
новок или того и другого вместе. Поддержка деятельности на протяжении жизненного цикла зависит от
использования необходимых справочных данных совместно с моделью данных.
Комплекс международных стандартов ИСО 15926 состоит из частей. Каждая часть публикуется
отдельно. Настоящий стандарт определяет методологию шаблонов (темплейтов). от английского слова
template. Она не зависит от методологий практической реализации и компьютерных языков.
Под шаблоном в настоящем стандарте понимается специальная структура данных, установлен
ная в комплексе международных стандартов ИСО 15926. В настоящем стандарте шаблоны рассматри
ваются с нескольких точек зрения.
Во-первых, шаблон — это предикат, утверждение которого формулируется в качестве аксиомы.
Шаблон формулирует в себе некое утверждение о модели данных и каждый его экземпляр — истинное
утверждение в рамках используемой модели данных.
Во-вторых, шаблон — это способ передачи данных. Когда создается шаблон, четко оговаривается
семантика каждой его свободной переменной, а требование к структуре модели данных, в рамках кото
рой применяется шаблон, оформляется в видо формулы логики первого порядка. Предполагается, что
справочные данные при обмене не передаются — к ним имеют доступ и получатель и отправитель, то
есть они пользуются общим «словарем» (хотя понятие «справочные данные» намного шире, чем поня
тие «словарь»). В основном передаются экземпляры шаблонов (template instance), поскольку их семан
тика задана наперед, получатель и отправитель всегда знают, какой смысл вложен в переданный набор
данных. Кроме того, в случае создания хранилища данных об индивидуальных объектах (индивидах) в
виде триплетов (реализация фасадов (от английского слова facade) как способа представления ин
формации об индивидах на основе справочных данных) к нему возможен доступ при помощи SPARQL
запросов, тогда вопрос получения необходимых данных сводится к построению соответствующего за
проса. Таким образом, если шаблон соответствует моделям данных передающей и принимающей сто
рон. то достаточно передать лишь блок данных, идентифицирующий шаблон и содержащий в себе за
полненные свободные переменные. Тогда принимающая сторона, зная его семантику, соотнесет пере
данные значения переменных со своей моделью данных необходимым образом.
В-третьих, шаблоны являются справочными данными, их спецификация хранится в библиотеке
справочных данных RDL при помощи специальных структур данных.
Поскольку в соответствии с ИСО 15926 шаблон является предикатом логики первого порядка,
удовлетворяющим аксиоматике модели данных настоящего стандарта, то. заполняя соответствующими
значениями переменные такого предиката, мы получаем утверждения об объектах с фиксированной
семантикой — экземплярах шаблона. Шаблоны позволяют как генерировать справочные данные (для
создания однородной группы утверждений об элементах библиотеки справочных данных RDL доста
точно применить шаблон необходимое количество раз с соответствующими значениями переменных),
так и создавать связи между библиотеками справочных данных RDL и моделью данных приложения
(например, Р1_Мприложения) — так называемый маппинг (mapping).
Настоящий стандарт рассматривает методологию шаблонов, определяющую точное содержание
концептуальных элементов модели ИСО 15926-2. используемых при формировании данных, интегра
ции или при использовании методов взаимодействия агрегатов. Настоящий стандарт не зависит от ис
пользуемых языков, инфраструктуры практической реализации и методов испытаний, а служит основой
для языков и инфраструктуры практической реализации и методов испытаний.
Настоящий стандарт определяет:
-методы логики первого порядка;
-синтаксис шаблонов;
-семантику шаблонов;
-метод расширения шаблона;
-протошаблон;
IV