ГОСТ Р 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.
ClassificdldontificationfmyPump; "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 поиме
нован как ClassOfClassOfRolationship. Атрибут shape_dimension в настоящем стандарте поименован
как hasShapeDimension.
В языке ИСО 15926-2 типы сущностей представляются как унарные предикаты первого порядка.
Пусть а — тип сущности EXPRESS. На языке ИСО 15926-2 он представляется как
А(х)
5