ГОСТРИСО 15926-2 -2010
ПрИЛОЖСНИС С
(справочное)
Использование EXPRESS ИСО 10303-11
Модель данных, определенная в разделе 5. задается с использованием языка EXPRESS, определенною
в ИСО 10303-11. Однако не все ключевые характеристики лого языка используются. Из настоящей специ
фикации моделиданныхисключены следующиелогические структуры EXPRESS:
- типы искусственных(тестовых)данных;
- типы данных общего назначения;
- типыданных выборки;
- типыданных параметров;
-составные тины матрицы и множествас повторяющимися .элементами;
- выведенные атрибуты;
- инверсные атрибуты;
- правила домена (втом случае, когда имеет местоусловное выражение);
- общие правила;
- алгоритмы;
- константы.
Типы логических объектов и имена атрибутов соответствуют ИСО 10303-11 с дополнительными oipa-
ничениями.
Приложение D
(справочное)
Некоторые заметки но теории множест в в ИСО 15926
D.1 Введение
Настоящее дополнение объясняет некоторые принципы теории множеств, которые поддерживаются
настоящим стандартом.
D.1.1 Чгоестьмножество?
Множество —сущность, содержащая члены и определяемая своим членством (нулевоемножество есть
совокупность, котораяне имеет членов). Еслидвамножествасодержатодинаковые члены, тоони являются
одним и тем же множеством. Если они содержат разные члены, то они являются разными множествами.
Пока множествоопределяется своим членством, то можетбыть, что влюбой момент времени не все члены
множества являются известными.
D.1.2 Множества и ИСО 15926
8
1
Парадигма, использованная в пространственно-временных расширениях ИСО 15926, означает, что
объекты не изменяются, гаккак изменение обрабатывается черезсущности ро нЫе_пк
1
т
11
иаЫвозмож-
219