ГОСТ Р ИСО 10303-11 — 2009
В результате выполнения шааа по перечислению d). получаем:
SUBTYPE_CONSTRAINT sea FOR а;
ONEOF(b, с);
END_SUBTYPE_CONSTRAINT:
SUBTYPE_CONSTRAINT seb FOR b;
d;
END_SUBTYPE_CONSTRAINT:
SUBTYPE_CONSTRAINT see FOR c;
d;
END_SUBTYPE_CONSTRAINT:
Рисунок B.2 — EXPRESS-G диаграмма схемы из примера 2
В результате выполнения шага по перечислению е) получаем:
ЕЛ — [з&Ь. а&с, а];
Еь - [b&d. b];
Ес - [сAd. с];
- [с*].
В результате выполнения шага по перечислению f)расширяются объявления корневых объектов,
в данном случае а. В результате получаем следующее множество:
ЕЛ = [a&b&d. a&b, a&c&d, а&с. а].
В результате объединения корневых множеств на шаге по перечислению д) получаем:
R = [a&b&d, a&b, a&c&d. a&c, а].
Применение шага по перечислению i) к каждому подтипу с множественным наследованием дает
следующие результаты:
Для объекта d:Cjj = [ a&b&d]:
CS = [ a&c&d]:
Pa = [ a&b&d&c];
Xa = [ a&b&d. a&c&d].
Новое множество R = (R — Xa) ♦ Рйтогда определяется как [a&b. a&c. a. a&b&d&c].
Выполняя шаг no перечислениюj) для каждого ограничения ONEOF. получаем:
ONEOF(b.c):о’"2 = [b*cj;
О, = [Ь&с].
Приудалении D^ueRe соответствии с шагом по пункту 3) перечисленияj) из R удаляется следую
щий элемент:
133