ГОСТ Р ИСО 10303-21—2022
FILE_SCHEMA((’BASE’, ’EXTENSION’));
ENDSEC;
DATA (’ONE’, (’BASE’));
#1=A(-3.5);
#2=B(’Sam Smith’);
#3=B(’John Doe’);
ENDSEC;
DATA (’TWO’, (’EXTENSION’));
#4=C(#2, ’100 Main Street’);
#5=C(#3, ’1300 Elmwood Avenue);
ENDSEC;
END-ISO-10303-21;
При использовании метода задания требований к интерфейсу на языке EXPRESS для определе
ния правильности ссылок реализация должна учитывать, что объект типа В явно связан со схемой
EXTENSION, поэтому допустимы ссылки из #4 на #2 и из #5 на #3.
Е.1.2 Метод определения эквивалентности области значений SDAI
При использовании данного метода ссылки между экземплярами объектов, заданными в разных схемах,
должны быть выполнены на основе методов определения эквивалентности области значений, установленных в
ИСО 10303-22.
При задании экземпляра типа, определенного в схеме, экземпляры любых типов объектов из данной схемы,
ссылающиеся на данный тип. также могут ссылаться на экземпляры любых типов, объявленных в эквивалентной
области значений первого типа.
Пример
—
Рассматриваются две схемы и основанная на них структура обмена.
SCHEMA LONGA;
ENTITY а;
range : REAL;
END_ENTITY;
ENTITY b;
name : STRING;
END_ENTITY;
END_SCHEMA;
SCHEMA LONGB;
ENTITY a;
range : REAL;
END_ENTITY;
ENTITY b;
name : STRING;
END_ENTITY;
ENTITY c;
addressedjtem : b;
address : STRING;
END_ENTITY;
RULE a_range_positive FOR (a);
WHERE
WR1: SIZEOF (QUERY (inst <* a l inst.range < 0)) = 0;
END_RULE;
END_SCHEMA;
ISO-10303-21;
HEADER;
FILE_SCHEMA((’LONGA’, ’LONGB’));
ENDSEC;
62