ГОСТ Р ИСО 10303-11 — 2009
END_SCHEMA; — конец схемы artifact
Следует заметить, что исходный выбираемыйтип данных attachment_method из схемы export был
сокращен посредствомудаления объекта screw из списка выбора.
2Данный пример иллюстрирует случай, когда сокращение выбираемого типа данных приводит к
пустому списку выбора. Исходная спецификация содержит три схемы:
SCHEMA 81;
TYPE t11 = EXTENSIBLE SELECT
(t12, t13);
END_TYPE;
— объявления объектов t12, t13 и других
END_SCHEMA; - - конец схемы s1
SCHEMA s2:
REFERENCE FROM s1 (t11);
ENTITY e21;
attr:t11;
END_ENTITY;
— другие объявления
END_SCHEMA; - -конец схемы s2
SCHEMA s3;
USE FROM s1 (t11);
USE FROM s2 (e21);
TYPE t31 = SELECT BASED_ON t11 WITH
(t32, t33);
END_TYPE;
— объявления объектов t32, t33 и других
END_SCHEMA; — конец схемы s3
Используя схемуs2 в качестве корневой схемы, получаем промежуточную схемуследующего вида:
SCHEMA artifact;
ENTITY «21;
attr: t11;
END_ENTITY;
TYPE t11 = EXTENSIBLE SELECT;
END_TYPE;
— другие объявления
END_SCHEMA; — конец схемы artifact
Схема s2 импортирует объект t11 из схемы s1, но не импортирует какие-либо элементы из его
списка выбора. После сокращения список выбора пуст и поэтому он не присутствует в окончательном
представлениипромежуточной схемы.
3 Исходная модель состоит из двух схем. Данный пример иллюстрирует сокращение ограничения
TOTAL_OVER и правила RULE
SCHEMA si;
ENTITY el;
END_ENTITY;
ENTITY e2 SUBTYPE OF (ei);
END_ENTITY;
ENTITY e3 SUBTYPE OF (ei);
END_ENTITY;
SUBTYPE_CONSTRAINT sc_total_over FOR e1;
TOTAL_OVER (e2. e3);
END_SUBTYPE_CONSTRAINT;
RULE e2_and_e3 (e2, e3);
— тело оператора RULE
END_RULE;
END_SCHEMA; — конец схемы s1
SCHEMA import;
USE FROM s1 (el. e2);
END_SCHEMA; — конец схемы import
167