ГОСТ Р ИСО 10303-22-2002
ными проверкой, являются все экземпляры типов объектов, для которых объявлено данное прави
ло. во всех СИДД-моделях, связанных с данным экземпляром схемы. Экземпляры объектов внутри
СИДД-моделей. основанных на внешней схеме, включают в проверку, если они являются экземп
лярами типов объектов, определенных экземпляром external_schema эквивалентными по области
значений с типами объектов всобственной схеме. Включенные таким образом экземпляры объектов
должныбытьобработаны как экземпляры собственного типа, чтоопределено в domain_equivalent_type.
Если во внешнем типе сущности отсутствуют свойства, необходимые для удовлетворения правила,
выдается ошибка ED_NVLD. Ссылки на экземпляры объектов в СИДД-моделях, которые не связа ны
с данным экземпляром схемы, должны обрабатывайся так. как если бы они не были установ лены.
Вход
Экземпляр:schemajnstance;
экземпляр схемы, ограничивающий проверку.
Правило:uniqueness_rule;
проверяемое правило уникальности (однозначности).
Несоответствия:поп_ре rsistent Jist_instance;
если Результат (Result)—FALSE, то это существующий нефиксированный
список, в который добавляются экземпляры объектов, не прошедшие про
верку.
Выход
Результат:logical_ value;
TRUE, если правило удовлетворено, FALSE, если правило не удовлетворе
но, и UNKNOWN, если не установлены необязательные явные атрибуты,
значение вычисляемого атрибута не определено или имеет значение
UNKNOWN, или инверсный атрибут не имеет значения.
Указатели возможных ошибок
SS_NOPNСеанс СИДД не открыт.
RU_NDEFПравило не определено.
S1_NEXSЭкземпляр схемы не существует.
Al_NEXSЭкземпляр агрегата не существует.
RP.NOPNХранилище не открыто.
TR_NAVLТранзакция недоступна в текущем сеансе.
TR ЕАВТранзакция прервана аварийно.
EX_NSUPОценка выражения правила не обеспечивается данной реализацией.
EN_NAVL Функция не обеспечивается данной реализацией.
SY_ERRОбнаружена ошибка основной системы.
10.6.7П р о в е р к а о б л а с т и з н а ч е н и й с с ы л к и на э к з е м п л я р
Данная команда определяет, все ли атрибуты в заданном прикладном экземпляре со ссылкой
на экземпляр объекта имеют соответствующие значения, ссылающиеся на экземпляры объектов
внутри СИДД-моделей, связанных с заданным экземпляром схемы.
Вход
Экземпляр:schemajnstance;
экземпляр схемы, ограничивающий проверку.
Объект:applicationjnstance;
проверяемый прикладной экземпляр.
Несоответствия:non_persistentJ»stJnstance;
если Результат (Result)—FALSE, то это существующий нефиксированный
список, в который добавляются экземпляры типа атрибута, ссылающиеся
на прикладные экземпляры, не связанные с данным Экземпляром (Instance).
Выход
Результат:logical_value;
TRUE, если все заданные атрибуты Объекта (Object) относятся к экземп
лярам объектов в Экземпляре (Instance). FALSE, если нет. и UNKNOWN,
если значения требуемых явных атрибутов не обеспечивают ссылки из эк
земпляра объекта.
4-1-140?53