ГОС! Р ИСО 10303-203-2003
5.2.5.31 Правило approvak_are_assigued
Правило approvals_are_assigned определяет, что на каждый экземпляр объекта approval должна
существовать хотя бы одна ссылка из экземпляра объекта approval_as$ignment.
EXPRESS-спсиификация
•)
RULE approvals_are .assigned FOR
(approval, approval_assignment);
WHERE
WR1: SIZEOF (QUERY (app <* approval |
NOT (SIZEOF (QUERY (aa <♦ approval_assignmem |
appaa.assigned_approval)) >= I ))) = 0;
END_RULE:
Г
Описания аргументов
approval — идентифицирует набор всех экземпляров объектов approval,
approvalassignment — идентифицирует набор всех экземпляров объектов approvalassignment
Формальное утверждение
WR1 —для каждого экземпляра объекта approval должен существовать один или несколько
экземпляров объекта approvaI_a$signn>ent.содержащих экземплярданного объекта approval в атрибуте
assigued_approval.
5.2.5.32 Правило approval_requires_appro\<а!person organization
Правило approval_requircs_approval_person_organization определясь что на каждый экземпляр
объекта approval должна быть дана ссылка хотя бы из одного объекта approvaI_person_organization.
Это правило устанавливает необходимость наличия утверждения соответствующего объекта одним
или несколькими лицами изданной организации.
EXPRESS-спецификацня
•)
RULE approval_require&_approval_person_organizaiion FOR
(approval, approval_person_organization);
WHERE
WR1: SIZEOF (QUERY (app <♦ approval |
NOT (SIZEOF (QUERY (apo <* approval j)erson_organization |
app : = : apo.authorized_approval )) >= 1 ))) = 0:
END_RULE:
<*
Описание аргументов
approval — идентифицирует набор всех экземпляров объектов approval.
approval_person_organization —идентифицирует набор всех экземпляров объектов approval_per-
son_organization.
Формальное утверждение
WRI —для каждого экземпляра объекта approval должен существовать один или несколько
экземпляров объекта approval_person_organization. содержащих экземпляр данного объекта approval
в атрибуте authorized_approval.
5.2.5.33 Правило approvalrequiresappro\al_datejime
Правило approval_requires_approval_date_timc определяет, что на каждый экземпляр объекта
approval должна быть дана ссылка только из одного объекта approval_date_tin»e. Данное правило
устанавливает необходимость наличия для любого объекта approval даты присвоения ему конкрет
ного статуса.
EXPRESS-спеинфикация
*)
RULE approval_requires_approval_date_time FOR (approval,
approval daleJime);
WHERE
WRI: SIZEOF (QUERY ( app <4 approval |
SO