ГОСТ Р ИСО 10303-11 — 2009
END_SUBTYPE_CONSTRAINT:
ENTITY m SUBTYPE OF (p);
END_ENTITY;
ENTITY a ABSTRACT SUBTYPE OF (p):
END_ENTITY;
SUBTYPE_CONSTRAINT no fl FOR a;
ONEOF ((, i);
END_SUBTYPE_CONSTRAINT:
ENTITY ( SUBTYPE OF (a);
END_ENTITY;
END_SCHEMA; — конец схемы artifact
Объекты f, с и iне присутствуют в данной схеме, поэтомувыражения супертипов в p_subs и no_fi
должны быть сокращены в соответствии с приложением С. Сначала берут выражение из p_subs. кото
рое выглядит следующим образом:
ONEOF (m. f) AND ONEOF (с. а);
Первое сокращение (ONEOF(A. <>) => ONEOF(A)) врезультате дает следующее сокращенное выра
жение:
ONEOF(m) AND ONEOF(a);
Данное выражение может быть сокращено ещераз (посредством ONEOF(A) => А), что приведет к
следующему окончательному выражению:
т AND а;
Таким образом, после сокращения p_subs выглядит следующим образом:
SUBTYPE_CONSTRAINT p_subs FOR р;
т AND а;
END_SUBTYPE_CONSTRAINT:
Выражение для no_fi выглядит следующим образом:
ONEOF (f, I);
Применяя сокращения, получаем следующий вид no_fi:
SUBTYPE_CONSTRAINT по_Л FOR а;
f;
END_SUBTYPE_CONSTRAINT:
Данное ограничение бессодержательно, поэтомуданный оператор SUBTYPE_CONSTRAINT в целом
и потенциально относящиеся к нему помеченныекомментарии должны быть удалены.
Окончательным результатом после сокращения будет следующая схема:
SCHEMA artifact:
ENTITY р;
END_ENTITY;
SUBTYPE_CONSTRAINT p_subs FOR p;
m AND a;
END_SUBTYPE_CONSTRAINT:
ENTITY m SUBTYPE OF (p);
END_ENTITY;
ENTITY a ABSTRACT SUBTYPE OF (p);
END_ENTITY;
ENTITY ( SUBTYPE OF (a);
END_ENTITY;
END_SCHEMA; — конец схемы artifact
G.4.5 Имена и версии схем
Имена исходных схем, из которых копируются элементы в промежуточную схему, могут быть сохранены в
виде встроенных комментариев. Если сохраняется имя какой-либо схемы, то и имена всех других схем также
должны быть сохранены.
Встроенный комментарий должен иметь следующий ф ормат (где
\п
обозначает конец строки, текст, заклю
ченный в угловые скобки, является переменным, а квадратные скобки обозначают необязательный элемент):
(* Original 2003 schemas: \n
schema = <schema_id> [schema_versionJd = ’ <version> ’]; \n
*)
Если схема, содержащая элемент
schema_version_id.
указывается во встроенном комментарии, то и сам
элемент
schema_version_id
должен быть в нем указан.
Порядок, в соответствии с которым указываются схемы, значения не имеет.
169