ГОСТ Р ИСО 10303-11 — 2009
Используя схему import в качестве корневой схемы, получаем следующий вид промежуточной схе
мы до каких-либо сокращений:
SCHEMA artifact;
ENTITY el;
END_ENTITY;
ENTITY e2 SUBTYPE OF (ei);
END_ENTITY;
SUBTYPE_CONSTRAINT sc_total_over FOR el;
TOTAL_OVER (e2. e3);
END_SUBTYPE_CONSTRAINT;
RULE e2_and_e3 (e2, e3);
— тело оператора RULE
END_RULE;
END_SCHEMA; — конец схемы artifact
Следует заметить, что объект еЗ отсутствует.
После сокращенияокончательный видпромежуточнойсхемы выглядит следующим образом:
SCHEMA artifact;
ENTITY el;
END_ENTITY;
ENTITY e2 SUBTYPE OF (e1);
END_ENTITY;
SUBTYPE_CONSTRAINT sc_total_over FOR el;
TOTAL_OVER (e2);
END_SUBTYPE_CONSTRAINT:
END_SCHEMA; — конец схемы artifact
Поскольку объекта еЗ нет в схеме artifact сокращается и ограничение SUBTYPE_CONSTRAINT.
Аналогично удаляется и правило RULE.
4Данный пример основан на схеме example из примера 1из приложения В, раздел В.Зи иллюстриру
ет сокращение выражений супертипов. Исходнымисхемамипо ИС0 10303-11:2003являются следующие:
SCHEMA example;
ENTITY р;
END_ENTITY;
SUBTYPE_CONSTRAINT p_subs FOR p;
ONEOF(m, f) AND ONEOF(c, a);
END_SUBTYPE_CONSTRAINT;
ENTITY m SUBTYPE OF (p);
END_ENTITY;
ENTITY f SUBTYPE OF (p);
END_ENTITY;
ENTITY c SUBTYPE OF (p);
END_ENTITY;
ENTITY a ABSTRACT SUBTYPE OF (p);
END_ENTITY;
SUBTYPE_CONSTRAINT nojfl FOR a;
ONEOF(f. i);
END_SUBTYPE_CONSTRAINT;
ENTITY ( SUBTYPE OF (a);
END_ENTITY;
ENTITY i SUBTYPE OF (a);
END_ENTITY;
END_SCHEMA; — конец схемы example
SCHEMA import;
USE FROM example (/);
REFERENCE FROM example (m);
END_SCHEMA; — конец схемы import
Используя схему import в качествекорневой схемы, получают следующий вид промежуточной схе
мы до сокращения:
SCHEMA artifact;
ENTITY р;
END_ENTITY;
SUBTYPE_CONSTRAINT p_subs FOR p;
ONEOF(m, f) AND ONEOF (c. a);
168