ГОСТ Р ИСО 10303-203-2003
5.2.5.16 Правило restrict_aetion_request_status
Правило restrict_action_request_status определяет допустимые значения для статуса объекта
action_request.
EXPRESS-епспификапня
*>
RULE restrict_action_requesi_Matus FOR (aciion_request status);
WHERE
WR1: SIZEOF (QUERY (arc <• aclion_request_status |
NOT (arc.status IN |’proposed’, ’in_work\ ’Issued’, ‘hold’!))) = 0:
END_ RULE;
(•
Описание аргумента
action_request_status — идентифицируетнаборвсехэкземпляровобъектовaction_re-
quest_status.
Формальное угвержденне
WRI —для каждого экземпляра объекта act»on_requcst_status значениями атрибута статуса
должны быть: “proposed”, “injvork”, “issued” или “hold”.
Определения значений атрибутов
proposed —определяет завершение запроса versioncd_action_request и его нахождение в состо
янии ожидания проверки и авторизации.
in_work — определяет выработку запроса versioned_action_request для возможного его включе
ния в проект.
issued — определяет, что запрос versioned_action_request был авторизован для включения в
проект.
hold —определяет, что запрос versioned_action_request был проверен, но не получил одобрения
для включения в проект.
5.2.5.17 Правило versioned_aetionmrequest_requiresjuatus
Правило versioned_action_request_requires_status определяет, что каждый экземпляр объекта
versioned_action_request_requires должен иметь только один статус. Статус объекта versioned_ac-
tion_request определяется значением объекта action_request_slatus.
EXPRESS-спеинфикаиия
*)
RULE versioned_action_request_requires status FOR
(versioned_action_request, action_request_staius);
WHERE
WRI: SIZEOF (QUERY (ar <* vercioned_action_request |
NOT (SIZEOF (QUERY (ars <• action_request„status |
ar :=: arc.assigned_request)) = 1))) = 0;
END_RULE;
C
Описания аргументов
versioiied_action_request — идентифицирует набор всех экземпляров объекта versioned_ac-
tion_request.
action_request_statu.s —идентифицирует набор всех экземпляров объекта action_request_status.
Формальное утверждение
WR1 — для каждого экземпляра объекта versioned_actton_request должен существовать только
один экземпляр объекта action_request_status, содержащий значение атрибута assigned_request, со
ответствующее данному экземпляру объекта versioned_act»on_request.
5.2.5.18 Правило versioned_action request_requires_sotutlon
Правило versioned_acUon_request_requires_solution определяет, что каждый экземпляр запроса ver-
sioned_action_requcst должен иметь одно или несколько предложений по его реализации. Конкретное
решение (реализация) для versaoned_aclion_reques( определяется объектом action_request_solution.
EXPRESS-снецнфнкаиия
•>
RULE versioned_aclion_request_requires_solution FOR
73