ГОСТ Р 56271-2014
где А(с) истинно только в том случае, если с является экземпляром а.
Атрибуты представляются на языке ИСО 15926-2 как бинарные предикаты: если
г
— атрибут
EXPRESS, то получим:
hasR(x; у)
Интерпретация hasR(c, d) истинна только в том случае, если значением атрибута
г
экземпляра
сущности с является величина d.
При м е ча н и е 1- Причина добавления приставки has к атрибутам втом, что некоторые названия практи
ческой реализации EXPRESS ИСО 15926-2 используются и для типа сущности, и для атрибута. Данная приставка
необходима, так как сущности и атрибуты занимают различные области имен в языке EXPRESS, но одни и те же
области имен в языке ИСО 15926-2. Использование данного соглашения допускает использование непротиворе
чивых отображений.
В моделях языка EXPRESS «родные» типы данных обычно пишутся большими буквами, напри
мер, INTEGER. На языке ИСО 15926-2 указанные типы данных также пишутся большими буквами, на
пример. INTEGER. Все «родные» тип данных EXPRESS, кроме LIST, должны представляться унарными
предикатами. Если А — это тип данных EXPRESS, то следует писать:
А(х)
Здесь интерпретация А(с) истинна только в том случае, если с является типом данных А.
Использование атрибута LIST в ИСО 15926-2 ограничено определением типов сущностей много
мерного объекта multidimensional_object и класса многомерных объектов class_of_multidimensional_
object. В настоящем стандарте указанные типы рассматриваются как части определения языка шабло на.
Таким образом, атрибут LIST не является предикатом языка ИСО 15926-2.
Создание подтипов среди типов сущностей языка EXPRESS представляется на языке ИСО
15926-2 с помощью условных выражений. Если а — это подтип Ь. то язык ИСО 15926-2 утверждает, что
все а — это Ь.
А(х)-»В(х)
Типы сущностей ABSTRACT ИСО 15926-2 представляются на языке ИСО 15926-2 утверждением,
что каждый экземпляр абстрактного типа сущности также задает значение, по крайней мере, одному
ближайшему подтипу абстрактного типа сущности. Если тип сущности а — это тип ABSTRACT, а Ь. с и d
— ближайшие подтипы а. то а — это абстрактный объект. Он представляется в логике первого по рядка
(FOL) следующим образом:
А(х) -> <В(х) v С(х) -> D(x))
л(В(х) -> А(х))
л<С(х) -» А(х))
a
(D(
x
) -» А(х))
Стандарт ИСО 10303-11 описывает утверждения типа ONEOF следующим образом.
Ограничение ONEOF утверждает, что совокупности операндов в списке ONEOF взаимно исклю
чают друг друга; экземпляры совокупности одних операндов в списке ONEOF не могут появиться в со
вокупности других операндов списка ONEOF. Ограничение ONEOF может быть объединено с другими
ограничениями супертипов для записи сложных ограничений. Если ограничение ONEOF является опе
рандом в другом ограничении, то оно представляет множество экземпляров сущности - объединение
совокупностей операндов списка ONEOF.
[ИСО 10303-11:2004, Э.2.5.2]
Утверждения ONEOF представлются как аксиомы непересекаемости на языке ИСО 15926-2.
Утверждения EXPRESS типа ONEOF(a. Ь. с) представляются следующей формулой:
*ч(А{х) л В(х))
а
~4А(
х
) л С(х))
л-чВ(х) л С(х))
Атрибут EXPRESS представляется бинарным предикатом в логике первого порядка FOL. Множе
ство допустимых значений, стоящих в первой позиции бинарного предиката, называются областью, а
множество допустимых значений во второй позиции — диапазоном.
При м е ча н и е 2 - Указанные атрибуты EXPRESS часто называют ролями.
Множество типов сущности ИСО 15926-2, к которым относится атрибут, представляется на языке
ИСО 15926-2 ограничением, наложенным на область бинарного предиката, представляющего рассма
триваемый атрибут. Если атрибут
г
определен для типов сущностей а и Ь, то:
6