ГОСТ Р ИСО 10303-22-2002
bindin£_version —версия языковой привязки СИДЦ, поддерживаемая в соответствии с опреде
лением языковой привязки СИДЦ;
implementation_elass - класс реализации, установленный в настоящем стандарте, которому
соответствует объект implementation;
transactionjevel —уровеньтранзакции (сообщения), поддерживаемый реализацией (см. 13.1.1);
expression_level —уровень вычисления выражений, поддерживаемый реализацией (см. 13.1.2);
recordingjevel —уровень отчета (записи) о событии, поддерживаемый реализацией (см. 13.1.3);
scopejevd —уровень области действия (применения), поддерживаемый реализацией (см. 13.1.4);
domain_equivalence_level —уровень эквивалентности области значений, поддерживаемый реа
лизацией (см. 13.1.5).
Неформальные утверждения
class1to7 — атрибут implementation_class должен иметь значения 1—7, которые должны соот
ветствовать классу реализации, установленному в 13.2;
translto3 — атрибут transactionjevel должен иметь значения 1—3, которые должны соответ
ствовать уровню транзакции, установленному в 13.1.1;
exprlto4 —атрибут expressionJevel должен иметь значения 1—4, которые должны соответство
вать уровню вычисления выражения, установленному в 13.1.2;
reclto2 —атрибут recordingjevel должен иметь значение I или 2, которое должно соответство
вать уровню отчета о событии, установленному в 13.1.3;
scopclto2 —атрибут scopejevel должен иметь значение 1 или 2. которое должно соответство
вать уровню области действия, установленному в 13.1.4;
equivlto2 —атрибут domain_equivalence_levcl должен иметь значение I или 2, которое должно
соответствовать уровню поддержки SCOPE, установленному в 13.1.5.
7.4.3 О б ъ е к т sdai_repository
Объект sdai_repository предстаатяет идентификацию средства, посредством которого sdai_models
и schemaJnstances могут быть сохранены в течение сеанса.
П р и м е ч а н и е —Данный объект предназначен для обеспечения физического размещения СИДД-
моделей и экземпляров схем.
EXPRESS-специФикаиин
•>
ENTITY sdai_repository;
name: STRING;
contents: sdai_repository_contents;
description: STRING;
INVERSE
session : sdai_session FOR known servers;
UNIQUE
UR1 : name, session;
END_ENTITY;
<•
Определения атрибутов
name - имя объекта sdai_repository. Данное имя чувствительно к регистру;
contents —имеющиеся в хранилище СИДД-модели и экземпляры схем;
description —описание хранилища;
session —текущий сеанс.
Формальное утверждение
UR1 —имя должно быть уникальным в текущем сеансе.
7.4.4 О б ъ е к т sdai_repository_contents
Объект sdai_repository_contents идентифицирует объекты sdai_models и schemaJnstances. име
ющиеся в хранилище.
EXPRESS-eneumhHKauHH
*>
ENTITY sdai_repositorv_contents;
models: SET |0;?| OF sdai_model;
schemas : SET j0:?j OF schemaJnstance;
24