ГОСТ Р 56271-2014/
ISO/TS 15926-7:2011
Н А Ц И О Н А Л Ь Н Ы ЙС Т А Н Д А Р ТР О С С И Й С К О ЙФ Е Д Е Р А Ц И И
Системы промышленной автоматизации и интеграция
ИНТЕГРАЦИЯ ДАННЫХ ЖИЗНЕННОГО ЦИКЛА ПЕРЕРАБАТЫВАЮЩИХ ПРЕДПРИЯТИЙ,
ВКЛЮЧАЯ НЕФТЯНЫЕ И ГАЗОВЫЕ ПРОИЗВОДСТВЕННЫЕ ПРЕДПРИЯТИЯ
Ч а с т ь 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
Дата введения — 2016—01—01
1 Область применения
Настоящий стандарт содержит описание процедуры обмена данными и интеграции информации
о жизненном цикле с помощью шаблонов, основанных на модели данных ИСО 15926-2. Настоящий
стандарт устанавливает методологию интеграции данных об онтологиях с помощью математической
логики первого порядка, что позволяет сделать данную топологию независимой от компьютерных
языков.
Настоящий стандарт распространяется на:
- представление модели языка EXPRESS ИСО 15926-2 в формальной логике,
- критерии определений шаблонов;
- методы расширения и проверки шаблонов;
- начальное множество определений шаблонов.
При м е ча н и е - Практическое руководство для представления информации с помощью шаблонов при
ведено в 117].
Настоящий стандарт не распространяется на:
- практическую реализацию на компьютерно-представимых языках:
- хранение и получение данных;
- безопасность данных.
2 Термины, определения и аббревиатуры
2.1 Термины и определения
В настоящем документе используются следующие термины с соответствующими определениями.
2.1.1 базовый шаблон (base template): Шаблон, содержащий только типы сущности в расшире
нии соответствующей аксиомы шаблона.
2.1.2 класс (dass): Категория или классификация элементов, выделенных по одному или несколь
ким критериям для последующего включения или исключения.
При м е ча н и е 1- Класс не обязательно должен состоять из известных членов класса (сущностей, кото
рые удовлетворяют критериям вхождения в данный класс).
При м е ча н и е 2 - Из-за пространственно-временной парадигмы, используемой для определения инди
видуальных объектов (индивидов) 8 настоящем стандарте, не все классы являются хорошо обособленными мно
жествами. Пояснение приводится в ИСО 15926-2.
При м е ча н и е 3- Адаптировано из ИСО 15926-1:2004. определение 3.1.1.
2.1.3 шаблон класса (class template): Шаблон формирования утверждений (высказываний) о
классах.
Издание официальное
1