Системы промышленной автоматизации и интеграция. Интеграция данных жизненного цикла перерабатывающих предприятий, включая нефтяные и газовые производственные предприятия. Часть 7. Практические методы интеграции распределенных систем: методология шаблонов
Настоящий стандарт содержит описание процедуры обмена данными и интеграции информации о жизненном цикле с помощью шаблонов, основанных на модели данных ИСО 15926-2. Настоящий стандарт устанавливает методологию интеграции данных об онтологиях с помощью математической логики первого порядка, что позволяет сделать данную топологию независимой от компьютерных языков. Настоящий стандарт распространяется на: - представление модели языка EXPRESS ИСО 15926-2 в формальной логике; - критерии определений шаблонов; - методы расширения и проверки шаблонов; - начальное множество определений шаблонов. Настоящий стандарт не распространяется на: - практическую реализацию на компьютерно-представимых языках; хранение и получение данных; - безопасность данных