ГОСТ Р ИСО 10303-22-2002
range : REAL:
END.ENTITY;
ENTITY between;
range : REAL:
END_ENT1TY;
END.SCHEMA;
SCHEMA ONE;
USE FROM resource (identical, different, between);
RULE diffcrcnt_ncgative FOR (different):
WHERE
WRI: SIZEOF (QUERY (a <« ditTcrcnt
\
a.rangc < 0)) - 0;
END_RULE:
RULE bctwccn_small FOR (between);
WHERE
WRI: SIZEOF (QUERY (a <• between | <0 < a.rangc < 10) )) - 0;
END RULE:
END_SCHEMA;
SCHEMA TWO:
USE FROM resource (identical, different, between);
RULE di(fcrcnt_positivc FOR (different);
WHERE
WRI: SIZEOF (QUERY (a <* different | a.range > 0)) ■ 0;
END_RULE:
RULE betweenjarge FOR (between):
WHERE
WRI: SIZEOF (QUERY (a <* between | <0 < a.rangc < 20) )) - 0;
END_RULE;
END_SCHEMA;
Из этих схем разработчик или пользователь СИДД может понять следующее:
- объект «identical» эквивалентен по области значений между схемами «ONE» и «TWO*;
- объект «different* не эквивалентен но области значений между схемами «ONE* и «TWO», так как его
ограничения имеют разные области значений;
- объект «between* эквивалентен по области значений между схемами «TWO* и «ONE*, но не наоборот,
так как это ограничено возможностями экземпляров «between*, принадлежащими схеме «ONE*, быть допус
тимыми экземплярами «between» для схемы «TWO*, но нс наоборот.
Второй метод для объявления эквивалентности области значений заключается в обеспечении реализации
информацией, закодированной согласно ГОСТ Р ИСО 10303-21 с использованием схемы словаря СИДД (см.
раздел 6).
П р и vi е р 19 — Если разработчики или пользователи схем «ONE» и «TWO* хотят сделать «identical*,
«different» и «between» эквивалентными по области значений в СИДД данным способом, они могут добиться
этого путем внесения следующей части данных в словарь:
/*schcma_definition для схемы «ONE*
ДНИ содержит определение объекта «identical» в схеме «ONE* и здесь нс показано*/
Д100 « SCHEMA.DEFINITION ( ONE’);
Д200 - EXTERNAL_SCH£MA (TWO1. («300). Д100);
#300 - DOMAJN_EQUIVALENT_TYPE ( identical1, #1111);
/*schcma_dcfinition для схемы «TWO»
Д6666 содержит определение объекта «identical» в схеме «TWO* и здесь нс показано
Д7777 содержит определение объекта «between» в схеме «TWO» и здесь нс показано*/
#500 = SCHEMA_DEFINITION (’TWO1);
Д 600
- ЕХТЕRNAL_SCНЕМ A CONE1,
(# 7 0 0 .
#800).
Д 500);
Д700 ■»• DOMAlN_EQUIVALENT_TYPE (’identical1. «6666):
#800 * D0MAIN_EQIJJVALENT_7YPE (between1. #7777);
114