ГОСТ Р ИСО 10303-22-2002
native_schema —схема, на которой базируется данный экземпляр схемы;
repository —хранилище, в котором создан данный экземпляр схемы;
change_date —дата создания, последнего добавления или удаления СИДД-модели из текущего
экземпляра схемы (при ее наличии);
validatk»n_date —дата последнего применения операции проверки текущего экземпляра схе
мы;
validation_result —результат последнего применения операции проверки текущего экземпляра
схемы;
validatk>n_level — уровень вычисления выражения для проверки правильности реализации,
выполнявшей последнюю команду проверки правильности экземпляра схемы для текущего экзем
пляра схемы (см. 13.1.2).
Формальное утверждение
UR1 — имя должно быть уникальным в хранилище, содержащем экземпляр схемы.
Неформальное утверждение
dictionary instance —во время сеанса СИДД дтя реализации, поддерживающей словарь данных
СИДД, должен существовать экземпляр schemajnstance, с которым будут связаны все СИДД-моде
ли, составляющие словарь данных СИДД.
S.4.2 О б ъ е кт sdai_model
Объект sdai_model является механизмом группирования, содержащим набор связанных экзем
пляров объектов, основанных на schema_definition.
П р и м е ч а н и е —Связь экземпляров объектов, сгруппированных в СИДД-модель, не определена.
Однакопредполагается,чтогруппировкаоснована на некоторойлогическойсвязи междуэкземплярамиобъектов,
которая является полезной для прикладной программы при упраазении прикладными данными.
IfXPKESS-cneunrtmкапни
*)
ENTITY sdai_ model;
name: STRING;
contents:sdai_model_contents;
underlying^schema: schema_definition;
repository: sdai_repository:
change date : OPTIONAL time_stamp;
mode : OPTIONAL access „type;
INVERSE
associated_with : SET |0:?| OF schema_instance FOR associated models;
UNIQUE
UR I : repository, name;
WHERE
WR1 : SELF IN SELF.repositorv.contents.models;
END ENTITY;
C
Опоелеления атрибутов
name —идентификатор для данной sdai_model. Данное имя чувствительно к регистру;
contents —механизм объединения экземпляров объектов внутри sdai_model;
underlyingsehcma —схема, определяющая структуру данных, появляющихся в СИДД-модели;
repository —хранилище, внутри которого создана СИДД-модель;
change_date —дата создания или последнего изменения, включая создание или удаление эк
земпляра объекта внутри текущей СИДД-модели (при ее наличии);
mode - текущий режим доступа к sdai_modeI (при его наличии). Если он отсутствует, sdai_m<Htol
не открыта;
associated_witf> — экземпляры схем, с которыми связана СИДД-модель.
Формальное утверждение
UR1 — имя должно быть уникально внутри хранилища, содержащего СИДД-модель.
S.4.3 О б ъ е к т sdai_model_contents
Объект sdai_model_contents содержит экземпляры объектов, составляющих sdai_model. Экземп
ляры объектов доступны в виде единого набора (коллекции), независимо от типа данных объекта и
сгруппированы в поднаборы по типу данных объекта.