ГОСТ Р ИСО 10303-11 — 2009
Рисунок В.1 — EXPRESS-G диаграмма схемы из примера 1
Возможные сложные объектные типы данных могут быть определены следующим образом:
- в представленной выше EXPRESS-схеме уже заданы все объявления объектов и полные выраже
ния супертипов, которые требуются для алгоритма на шагах по перечислению а). Ь) и с);
- врезультате выполнения шага по перечислению d) получаем:
SUBTYPE_CONSTRAINT stp FOR р;
TOTAL_OVER(m, f);
( (ONEOF(m, f) AND ONEOF(c. a)));
END_SUBTYPE_CONSTRAINT:
SUBTYPE_CONSTRAINT sta FOR a;
(ONEOF(i.l));
END_SUBTYPE_CONSTRAINT:
- в результате выполнения шага по перечислению е) получаем:
£р — [р&т&с, р&т&а. p&f&c, p&f&a, pj;
Еа
-
[aft/, aft/
];
- врезультате выполнения шага по перечислению f)расширяются объявления корневых объектов,
в данном случае р. В результате получаем следующее множество:
£р = [р&т&с. pftmftaft/. pftmftaft/. p&f&c, p&f&a&l. p&f&a&i, p];
- в результате объединения корневых множеств на шаге по перечислению д), получаем:
R = [р&т&с. p&m&a&l, p&m&a&i, p&f&c, p&f&a&l. p&f&a&j, p];
- врезультате применения действийна шаге по перечислениюh)к ограничению TOTAL_OVER, полу
чаем:
TOTAL_OVER(m, f):sp= [ p&m, p&f ].
Заменяя все вхождения р. не содержащие т или f, получаем:
R = [р&т&с, p&m&a&J, p&m&a&i, p&I&c, p&f&a&l, p&f&a&i, p&m, p&f ].
- подтипы с множественным наследованием отсутствуют, поэтому выполнения шага i) не тре
буется;
- выполняя действия на шаге по перечислениюj) для каждого ограничения ONEOF, получаем:
ONEOF(m.f):О’-2 = [ m&f];
D, = [ m&f].
Послеудаления D, из R в соответствии с шагом по пункту 3) перечисленияj) R остается неизмен
ным. Следовательно, мы имеем следующее множество:
R = [р&т&с, p&m&a&l, p&m&a&J. p&f&c, p&f&a&l, p&f&a&i, p&m, p&f ].
ONEOF(c.a):D \2 = [cfta];
D2 = [cfta].
131