ГОСТ Р ИСО 10303-22-2002
Модель:sdaimodel;
СИДД-модель, удаляемая из экземпляра схемы.
Указатели возможных ошибок
SS.NOPNСеанс СИДД не открыт.
SI_NEXSЭкземпляр схемы не существует.
RP NOPNХранилище не открыто.
TR_NRWТранзакция не имеет типа «чтение—запись».
TR NAVLТранзакция недоступна в текущем сеансе.
TR ЕЛВТранзакция прервана аварийно.
MO NEXSСИДД-модель не существует.
MO_NVLDСИДД-модель не связана с экземпляром схемы.
SY ERRОбнаружена ошибка основной системы.
Влияние на среду СИДД
Модель (Model) должна быть удалена из Instance.as.sociated_modols.
10.6.5 П р о в е р к а г л о б а л ь н о г о п р а в и л а
Данная команда определяет, удовлетворяет ли совокупность, связанная с экземпляром схе
мы. глобальному правилу, установленному в схеме. Экземплярами объектов, охватываемыми про
веркой. являются все экземпляры типов объектов, к которым во всех СИДД-моделях, связанных
с экземпляром схемы, применяется глобальное правило. Экземпляры объектов внутри СИДД-
моде-лей. основанных на внешней схеме, включаются в проверку, если они являются
экземплярами типов об
1
>ектов, определенных экземпляром extemal_schema эквивалентными по
области значений с типами объектов в собственной схеме. Включенные таким образом
экземпляры объектов должны быть обработаны подобно экземплярам собственного типа, как
определено в domain_equivalent_type. Если во внешнем типе сущности отсутствуют свойства,
необходимые для удовлетворения правила, выдается ошибка ED_NVLD. Ссылки на экземпляры
объектов в СИДД-моделях, которые не связа ны с данным экземпляром схемы, должны
обрабатываться так, как если бы они не были установ лены.
Вход
Экземпляр:schema_instance;
экземпляр схемы, ограничивающий проверку.
Правило:global_rule;
проверяемое глобальное правило.
Несоответствия:non_persistent_list_instance;
если Результат (Result) — FALSE, то это существующий нефиксированный
список, в который добаазяются те экземпляры where_rule внутри Правила
(Rule), которым Экземпляр (Instance) не соответствует.
Выход
Результат:logical_value;
TRUE, если правило удовлетворено, FALSE, если правило не удоатетворе-
но, и UNKNOWN, если вычисление выражения не определено или имеет
значение UNKNOWN.
Указатели возможных ошибок
SS_NOPNСеанс СИДД не открыт.
RU_NDEFПравило не определено.
S1_NEXSЭкземпляр схемы не существует.
AI_NEXSЭкземпляр агрегата не существует.
ED_NVLDОпределение внешнего объекта неверно для правила.
RP_NOPNХранилище не открыто.
TR_NAVLТранзакция недоступна в текущем сеансе.
TR ЕАВТранзакция прервана аварийно.
EX_NSUPОценка выражения правила не обеспечивается данной реализацией.
EN_NAVL Функция не обеспечивается данной реализацией.
SY_ERRОбнаружена ошибка основной системы.
10.6.6 П р о в е р к а п р а в и л а у н и к а л ь н о с т и ( о д н о з н а ч н о с т и )
Эта операция определяет, удовлетворяет ли совокупность, связанная с экземпляром схемы,
правилу уникальности (однозначности), установленному в схеме. Экземплярами объектов, охвачен-
52