ФЕДЕРАЛЬНОЕ АГЕНТСТВО ПО ТЕХНИЧЕСКОМУ РЕГУЛИРОВАНИЮ И МЕТРОЛОГИИ

Системы промышленной автоматизации и интеграция

ИНТЕГРАЦИЯ ДАННЫХ ЖИЗНЕННОГО ЦИКЛА ПЕРЕРАБАТЫВАЮЩИХ ПРЕДПРИЯТИЙ, ВКЛЮЧАЯ НЕФТЯНЫЕ И ГАЗОВЫЕ ПРОИЗВОДСТВЕННЫЕ ПРЕДПРИЯТИЯ

Часть 7

Практические методы интеграции распределенных систем: методология шаблонов

ISO/TS 15926-7:2011

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

(IDT)

Издание официальное

Москва

Стандартинформ

2015

Предисловие

1    ПОДГОТОВЛЕН ООО «НИИ экономики связи и информатики «Интерэкомс» (ООО «НИИ «Ин-терэкомс») на основе собственного аутентичного перевода на русский язык стандарта, указанного в пункте 4

2    ВНЕСЕН Техническим комитетом по стандартизации ТК 100 «Стратегический и инновационный менеджмент»

3    УТВЕРЖДЕН И ВВЕДЕН В ДЕЙСТВИЕ Приказом Федерапьного агентства по техническому регулированию и метрологии от 26 ноября 2014 г. № 1857-ст

4    Настоящий стандарт идентичен международному документу ИСОЯС 15926-7:2011 «Системы промышленной автоматизации и интеграция. Интеграция данных жизненного цикла перерабатывающих предприятий, включая нефтяные и газовые производственные предприятия. Часть 7. Практические методы интеграции распределенных систем: методология шаблонов» (ISCXTS 15926-7:2011 «Industrial automation systems and integration — Integration of life-cycle data for process plants including oil and gas production facilities — Pari 7: Implementation methods for the integration of distributed systems: Template methodology»)

5    ВВЕДЕН ВПЕРВЫЕ

Правила применения настоящего стандарта установлены в ГОСТ Р 1.0-2012 (раздел 8). Информация об изменениях к настоящему стандарту публикуется в ежегодном (по состоянию на 1 января текущего года) информационном указателе «Национальные стандарты», а официальный текст изменений и поправок - в ежемесячном информационном указателе «Национальные стандарты». В случае пересмотра (замены) или отмены настоящего стандарта соответствующее уведомление будет опубликовано в ближайшем выпуске ежемесячного информационного указателя «Национальные стандарты». Соответствующая информация, уведомления и тексты размещаются также в информационной системе общего пользования - на официальном сайте Федерального агентства по техническому регулированию и метрологии в сети Интернет (www.gost.ru)

О Стандартинформ, 2015

Настоящий стандарт не может быть полностью или частично воспроизведен, тиражирован и распространен в качестве официального издания без разрешения Федерального агентства по техническому регулированию и метрологии

ГОСТ P 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 в логике первого порядка................................................................ 5

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_multidimensional_object..............................................................................47

Приложение А (обязательное) Регистрация информационного объекта..................................................49

Приложение В (обязательное) Листинг: ИСО 15926-2 в логике первого порядка....................................50

Приложение С (обязательное) Листинг: протошаблоны............................................................................68

Приложение D (справочное) Таблица протошаблонов...............................................................................74

Приложение Е (справочное) Рекурсивное и нерекурсивное расширение шаблона................................79

Приложение F (справочное) Пример расширения шаблона......................................................................81

Приложение G (справочное) Проверка соответствия с помощью когерентной логики...........................85

Приложение Н (справочное) Формальные ограничения вне шаблона.....................................................87

Приложение J (обязательное) Семантика шаблона...................................................................................88

Приложение К (обязательное) Свойства расширения шаблона................................................................90

Библиография................................................................................................................................................92

III

Введение

Комплекс международных стандартов ИСО 15926 предназначен для представления информации о жизненном цикле перерабатывающих предприятий, включая нефтяные и газовые производственные предприятия. Это представление определяется общей концептуальной моделью данных, которая является основой для совместного использования баз данных и хранилищ информации. Такая модель предназначена для применения совместно со справочными данными, например стандартными экземплярами, которые представляют информацию, общую для ряда пользователей, технологических установок или того и другого вместе. Поддержка деятельности на протяжении жизненного цикла зависит от использования необходимых справочных данных совместно с моделью данных.

Комплекс международных стандартов ИСО 15926 состоит из частей. Каждоя часть публикуется отдельно. Настоящий стандарт определяет методологию шаблонов (темплейтов). от английского слова template. Она не зависит от методологий практической реализации и компьютерных языков.

Под шаблоном в настоящем стандарте понимается специальная структура данных, установленная в комплексе международных стандартов ИСО 15926. В настоящем стандарте шаблоны рассматриваются с нескольких точек зрения.

Во-первых, шаблон — это предикат, утверждение которого формулируется в качестве аксиомы. Шаблон формулирует в себе некое утверждение о модели данных и кажщый его экземпляр — истинное утверждение в рамках используемой модели данных.

Во-вторых, шаблон — это способ передачи данных. Когда создается шаблон, четко оговаривается семантика каждой его свободной переменной, а требование к структуре модели данных, в рамках которой применяется шаблон, оформляется в виде формулы логики первого порядка. Предполагается, что справочные данные при обмене не передаются — к ним имеют доступ и получатель и отправитель, то есть они пользуются общим «словарем» (хотя понятие «справочные данные» намного шире, чем понятие «словарь»). В основном передаются экземпляры шаблонов (template instance), поскольку их семантика задана наперед, получатель и отправитель всегда знают, какой смысл вложен в переданный набор данных. Кроме того, в случае создания хранилища данных об индивидуальных объектах (индивидах) в виде триплетов (реализация фасадов (от английского слова facade) как способа представления информации об индивидах на основе справочных данных) к нему возможен доступ при помощи SPARQL запросов, тогда вопрос получения необходимых данных сводится к построению соответствующего запроса. Таким образом, если шаблон соответствует моделям данных передающей и принимающей сторон, то достаточно передать лишь блок данных, идентифицирующий шаблон и содержащий в себе заполненные свободные переменные. Тогда принимающая сторона, зная его семантику, соотнесет переданные значения переменных со своей моделью данных необходимым образом.

В-третьих, шаблоны являются справочными данными, их спецификация хранится в библиотеке справочных данных RDL при помощи специальных структур данных.

Поскольку в соответствии с ИСО 15926 шаблон является предикатом логики первого порядка, удовлетворяющим аксиоматике модели данных настоящего стандарта, то, заполняя соответствующими значениями переменные такого предиката, мы получаем утверждения об объектах с фиксированной семантикой — экземплярах шаблона. Шаблоны позволяют как генерировать справочные данные (для создания однородной группы утверждений об элементах библиотеки справочных данных RDL достаточно применить шаблон необходимое количество раз с соответствующими значениями переменных), так и создавать связи между библиотеками справочных данных RDL и моделью данных приложения (например. Р1_Мприложения) — так называемый маппинг (mapping).

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

Настоящий стандарт определяет:

-    методы логики первого порядка:

-    синтаксис шаблонов;

-    семантику шаблонов;

-    метод расширения шаблона;

-    протошаблон;

ГОСТ Р 56271-2014

-    начальное множество шаблонов.

Для понимания положений настоящего стандарта требуется знание концептуальных моделей данных в соответствии с ИСО 15926-2.

Целевая аудитория настоящего стандарта:

-    технические директора, определяющие степень соответствия ИСО 15926 их деловым потребностям;

-    сотрудники, использующие настоящий стандарт для решения практических задач.

В настоящем стандарте одно и то же английское понятие может 1) обозначать реальный объект (элемент) (thing); 2) задавать представление реального объекта на языке EXPRESS; 3) задавать представление реального элемента (объекта) на языке RDF/XML. Указанные значения слова различаются путем введения нижеследующих типографских обозначений:

-    если слово (фраза) набрано обычным шрифтом, то оно обозначает реальный элемент;

-    если слово (фраза) набрано жирным шрифтом, то это представление на языке EXPRESS в соответствии с моделью данных ИСО 15926-2;

Пример 1 - «class_of_inanimate_physical_object».

-    если слово (фраза) набраны жирным «горбатым» шрифтом, тоэтотермин языка ИС015926-2 (см. раздел 4.1);

Пример 2 «ClassOfApprovalByStatus».

-    если слово (фраза) набраны «горбатым» курсивом, то это название шаблона.

Пример 3 - «RTriple(z, х, у)».

Ссылки на идентификаторы в примерах вымышленные.

В настоящем стандарте в ряде случаев использованы диаграммы. Они иллюстрируют паттерны моделирования (modelling patterns) в соответствии с ИСО 15926-2. Символы, используемые в диаграммах экземпляров являются производными символов, определенных ИСО 15926-2.

V

ГОСТ Р 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 в формальной логике;

-    критерии определений шаблонов;

-    методы расширения и проверки шаблонов;

-    начальное множество определений шаблонов.

Примечание - Практическое руководство для представления информации с помощью шаблонов приведено в [17).

Настоящий стандарт не распространяется на:

-    практическую реализацию на компьютерно-представимых языках;

-    хранение и получение данных;

-    безопасность данных.

2    Термины, определения и аббревиатуры

2.1    Термины и определения

В настоящем документе используются следующие термины с соответствующими определениями.

2.1.1    базовый шаблон (base template): Шаблон, содержащий только типы сущности в расширении соответствующей аксиомы шаблона.

2.1.2    класс (class): Категория или классификация элементов, выделенных по одному или нескольким критериям для последующего включения или исключения.

Примечание 1- Класс не обязательно должен состоять из известных членов класса (сущностей, которые удовлетворяют критериям вхождения в данный класс).

Примечание 2 - Из-за пространственно-временной парадигмы, используемой для определения индивидуальных объектов (индивидов) в настоящем стандарте, не все классы являются хорошо обособленными множествами Пояснение приводится в ИСО 15926-2.

Примечание 3 - Адаптировано из ИСО 15926-1 2004, определение 3.1.1.

2.1.3    шаблон класса (class template): Шаблон формирования утверждений (высказываний) о классах.

Издание официальное

2.1.4    концептуальная модель данных (conceptual data model): Модель данных в трехсхемной архитектуре, определенной в ИСО/ТО 9007. в которой структура данных представляется в форме, не зависимой от формата физического хранения или внешнего представления.

2.1.5    основной класс (core class): Класс, отражающий разделения индивидов и отношений в соответствии с общеупотребительными терминами, применяемыми в обычном языке.

Примечание - Условия членства часто не имеют формального определения, понимание класса может быть задано примером

Пример - Труба, пол, насос, лампочка — основные классы.

(ИСО 15926-1:2004, определение 3.1.4]

2.1.6    основной шаблон (core template): Шаблон библиотеки справочных данных RDL, для которого все элементы справочных данных в расширении аксиомы шаблона являются основными классами.

2.1.7    банк данных (data store): Компьютерная система, обеспечивающая хранение данных для обращения к ним в будущем.

2.1.8    тип данных (data type): Область значений.

2.1.9    хранилище данных (data warehouse): Банк данных, в котором смежные данные объединяются для обеспечения интегрированного множества данных без дублирования или избыточности с поддержкой множества различных прикладных вариантов.

2.1.10    документ (document): Элемент, представляющий информацию с помощью специальных символов.

Примечание - Слово «документ» используется в широком смысле Кроме обычной информации, содержащейся в бумажных документах (это не тот бумажный документ, который является экземпляром физического объекта PhysicalObject). например, «описание оборудования» или «заказ на покупку», документ может также содержать другие данные, например, данные транзакций на входе в инженерные программы или данные, которыми обмениваются деловые партнеры

2.1.11    сущность (entity): Класс информации, определенный общими свойствами.

(ИСО 10303-11:2004. определение 3.3.6]

2.1.12    экземпляр сущности (entity instance): Именованный блок данных, представляющий собой блок информации внутри класса, определенного некоторой сущностью.

Примечание 1- Является членом области, установленной типом данных сущности

Примечание 2 - Адаптировано из ИСО 10303-11:2004. определение 3.3.8.

2.1.13    логика первого порядка (first-order logic): Формализованные суждения, в которых каждое предложение или высказывание (утверждение) подразделяются на субъект (подлежащее) и предикат (сказуемое).

Примечание 1- Предикат модифицирует или определяет свойства субъекта В логике первого порядка предикат может относиться только к одному субъекту.

Примечание 2 - Логику первого порядка также называют исчислением предикатов первого порядка или функциональным исчислением первого порядка

2.1.14    шаблон индивидуального объекта (individual template): Шаблон утверждений об индивидуальном объекте.

2.1.15    экземпляр (instance): Именованное значение.

[ИСО 10303-11:2004. определение 3.3.10]

2.1.16    язык ИСО 15926-2 (ISO 15926-2 language): Язык первого порядка, на котором выражена модель данных ИСО 15926-2.

Примечание - Язык ИСО 15926-2 описан в разделе 4 1

2.1.17    информация о жизненном цикле (life-cycle information): Информация (сведения) об объекте possible_individual. собранная в некоторый момент времени в течение жизненного цикла конкретного индивидуального объекта (индивида).

Примечание - В ИСО 15926-2 2003. определение 3.1 6. индивидуальный объект — это «объект реального мира, который существует в пространстве и времени».

2

ГОСТ P 56271-2014

2.1.18    шаблон библиотеки справочных данных RDL (RDL template): Шаблон, имеющий, по крайней мере, один элемент справочных данных в расширении аксиомы данного шаблона.

2.1.19    справочные данные (reference data): Данные жизненного цикла перерабатывающих предприятий, предоставляющие информацию о классе или об отдельных его элементах, которые являются типовыми для большей части оборудования или представляют интерес для многих пользователей.

(ИСО 15926-1:2004. определение 3.1.18]

2.1.20    библиотека справочных данных (reference data library; RDL): Управляемый набор справочных данных.

[ИСО 15926-1:2004. определение 3.1.19]

Примечание - В ИСО/ТС 15926-8 понятия «RDL* и «онтология* взаимозаменяемы Альтернативный термин — «информационная модель»

2.1.21    воплощение (reification): Стиль моделирования, в котором отношение выражается как класс объектов.

Пример — Отношение Employed-by (принят на работу) воплощается объектом Employment (прием на работу), соединенным с объектами Employee (служащий) и Organization (организация). Смысл данного отношения (с определенным количеством элементов с обеих сторон) заключается в том, что “количество служащих организации должно быть больше или равно нулю". Воплощенный объект Employment может быть субъектом о других отношениях, определяя их.

Примечание - Реляционные типы данных сущности ИСО 15926 — это все типы данных сущности, имеющей два атрибута, за исключением класса отношений class_of_relationship

2.1.22    шаблон (template): Множество, включающее предикат логики первого порядка (для которого определение задается как аксиома), шаблонные подписи и расширение аксиомы шаблона.

2.1.23    расширение шаблона; расширение аксиомы шаблона (template expansion; template axiom expansion): Утверждение (высказывание), выраженное в типах данных сущности ИСО 15926-2, эквивалентных аксиоме шаблона.

Примечание - Расширение аксиомы шаблона относится к типовым комплексным условиям равнозначности на языке ИС0 15926-2 Данное расширение получается путем повторного использования условий равнозначности шаблона до тех пор, пока интерпретация шаблона будет выражена непосредственно в терминах простых конструктивов (конструкций) языка ИСО 15926-2

2.1.24    расширение экземпляра шаблона (template instance expansion): Множество простых утверждений (выскаываний) на языке ИСО 15926-2. полученных путем задания значений переменных в расширенной аксиоме шаблона с экземплярами сущности.

2.1.25    аксиома шаблона (template axiom): Аксиома на языке шаблона, определяющая интерпретацию шаблонных высказываний (утверждений шаблона).

2.1.26    экземпляр шаблона (template instance): Упорядоченный список экземпляров сущности для которых шаблон является истинным.

2.1.27    язык шаблона (template language): Аксиомы логики первого порядка, расширяющие модель данных ИСО 15926-2.

2.1.28    роль шаблона (template role): Поименованный и перенумерованный аргумент шаблона с требуемым типом, представленным как тип данных сущности, тип данных или класс справочных данных.

Пример - Экземпляр косвенного (непрямого) свойства шаблона lnstancoOf1ndircctProporty(a, Ь, с) означает, что а — это класс косвенных свойств ClassOflndirectProperty, Ь (временная часть) — элю возможный индивидуальный объект Possiblelndividual, к которому относится рассматриваемая зависимость, и с — это экземпляр свойства Property. Аргумент b имоот тип ClassOflndirectProperty, который имеет экземпляр Property равный с. Шаблон имеет следующие роли:

-    название роли: тип свойства;

-    название роли: обладатель свойства;

-    название роли: Property.

2.1.29    шаблонная подпись (template signature): Поименованный, упорядоченный и напечатанный список ролей шаблона.

3

ГОСТ P 56271-2014

Пример - Релизация косвенного (непрямого) свойства шаблона InstanceOflndirectPropertyfa, Ь, с) означает, что а — это класс косвенного (непрямого) свойства ClassOflndirectProperty, b (временная часть) — это возможный индивидуальный объект Possiblelndividual, к которому относится рассматриваемая зависимость и с — это экземпляр свойства Property. Аргумент Ь имеет тип ClassOflndirectProperty, с — это экземпляр Property. Шаблонная подпись:

-    название роли: тип свойства, тип роли: ClassOflndirectProperty;

-    название роли: обладатель свойства, тип роли: Possiblelndividual;

-    название роли: Property, тип роли: Property.

2.1.30    утверждение шаблона, шаблонное высказывание (template statement): Утверждение (высказывание). сделанное путем задания значений (инстанцирования) ролей шаблона экземплярами сущностей.

2.1.31    значение (value): Элемент (единица) данных.

(ИСО 10303-11:2004. definition 3.3.22]

2.2 Аббревиатуры

FOL — Логика первого порядка (first order logic);

DL — Описательная логика (description logic);

RDL — Библиотека справочных данных (reference data library).

3 Фундаментальные понятия и допущения

3.1    Общие положения

Модель данных ИСО 15926-2 является базовой и высоко нормализованной. С одной стороны, это обеспечивает требуемую гибкость, с другой — это усложняет рассмотрение. Настоящий стандарт определяет шаблоны, являющиеся выражениями предварительно заданных семантических блоков, допускающих удобное использование в рамках рассматриваемой модели. Подход, принятый в настоящем стандарте, основан на архитектуре, описанной в ИСО/ТС 18876-1 (см. рисунок 1).

3.2    Понятия и модели

Foundation concepts Основные понятия Integration model subset Подмножество интеграционной модели General concepts Общие понятия Subset selection Выбор подмножества Mapping Отображение Discipime-specifc concepts Понятия для конкретной дисциплины Derived concepts Производные понятия Application model Модель приложения

Рисунок 1 —Обзор архитектуры интеграции ИССУТС 18876-1

ГОСТ P 56271-2014

3.2.1    Модель данных ИСО 15926-2

Фундаментальные понятия представлены в ИСО 15926-2 с помощью базовой концептуальной модели данных, являющейся основой для практической реализации в базе данных (с совместным доступом) или в хранилище данных. Модель данных используется вместе со справочными данными. Поддержка конкретного жизненного цикла операции зависит от использования соответствующих справочных данных вместе с рассматриваемой моделью данных (см. 4.1).

В настоящем стандарте модель языка EXPRESS ИСО 15926-2 транслируется в логику первого порядка (FOL). Каждый тип сущности транслируется в унарный предикат, каедый атрибут транслируется в бинарный предикат (см. 4.1).

3.2.2    Справочные данные ИСО/ТС 15926-4

ИСОЯС 15926-4 содержит справочные данные, определяющие таксономию основных классов, представляющих типы данных сущностей, определенные в ИСО 15926-2.

В настоящем стандарте справочные данные рассматриваются как постоянные термины логики первого порядка. Понятие справочных данных, задающих значения типов сущности модели данных, таким образом, сводятся к понятиям достоверности представлений (первого порядка) типов сущностей ИСО 15926-2 для постоянных справочных терминов или для атрибутов ИСО 15926-2 (упорядоченных пар терминов).

Пример - Шаблон устанавливает зависимость между экземпляром насоса PUMP, идентифицирующей строкой «PU101» и типом идентификации (номер бирки) TAG NUMBER.

ClassifiedldentificationfmyPump; -PU10100; TagNumber)

Указанные три термина — это справочные данные, шаблон определен в логике первого порядка.

Если практическая реализация верифицирует шаблон, то типы сущностей справочных данных проверяются путем лифтинга шаблона. Указанные справочные данные рассматриваются как постоянные. При этом результатом проверки может быть значение true или false.

3.2.3    Таксономия пользователя

Там. где таксономия ИСО/ТС 15926-4 определяет общие понятия на рисунке 1. организации (пользователю) часто бывает необходимым определить конкретные прикладные понятия. Указанные понятия определяются в форме специализаций общих понятий в таксономии ИСО/ТС 15926-4.

Пример - СР-834833 (‘Модель насоса АК/150) — это специализированный класс в каталоге поставщика корпорации XYZ. Этот класс поставщика размещается в библиотеке RDL поставщика. При этом данный класс должен быть специализацией другого класса, размещенного в рассматриваемой таксономии вверх по дереву до попадания внутрь таксономии ИСО/ТС 15926-4.

3.2.4    Шаблоны

Шаблоны (см. разделы 4 и 5). определенные в настоящем стандарте и в специализациях пользователя. формируют «производные понятия» на рисунке 1.

4 Основы моделирования

4.1 Модели данных ИСО 15926-2 в логике первого порядка

Настоящий раздел определяет язык ИСО 15926-2 (формулировку ИСО 15926-2, стандартизованную в соответствии с форматом языка EXPRESS) в логике первого порядка. В настоящем стандарте этот язык служит для представления модели данных ИСО 15926.

В языке EXPRESS ИС0 15926-2 названия типов сущностей и атрибутов пишутся в нижнем регистре вместе с символом нижнего подчеркивания «_». разделяющем слова в названии. В языке ИСО 15926-2. типы сущностей и названия атрибутов пишутся в верхнем регистре в «горбатом» стиле. Атрибуты имеют дополнительную приставку «has». Например, тип сущности class_of_class_of_relationship поименован как ClassOfClassOfRelationship. Атрибут shape_dimension в настоящем стандарте поименован как hasShapeDimension

В языке ИСО 15926-2 типы сущностей представляются как унарные предикаты первого порядка. Пусть а — тип сущности EXPRESS. На языке ИСО 15926-2 он представляется как

А(х)

5