ГОСТ Р ИСО 10303-203-2003
NOT (SIZEOF (QUERY (adt <♦ approval_date_time |
app :=: adt.dated_approval)) = 1 ))) = 0:
END_RULE;
(•
Описания аргументов
approval — идентифицирует набор всех экземпляров объектов approval.
approval_date_tiine — идентифицирует набор всех экземпляров объектов approval_date_time.
Формальное утверждение
WR1 - для каждого экземпляра объекта approval должен существовать только один экземпляр
объекта approval_date_tinie, содержащий экземпляр данного объекта approval в соответствующем
атрибуте dated_approval.
5
.
2
.
5
.
34
Правша restrict_approvai__status
Правило restrict_approvaI_status определяет, что значениями атрибута approval_status могут
быть только “approved", “not_yet_approved”, “disapproved” или “withdrawn”.
EXPRESS-спеинфикаиия
*)
RULE restrict_approval_status FOR (approval„status):
WHERE
WR1: SIZEOF (QUERY (ast <* approval„status |
NOT (ast.name IN
I’approved”, ’not_yet„approved’, ’disapproved’, ’withdrawn’!))) = 0;
END.RULE;
C
Описание аргумента
approval — идентифицирует набор всех экземпляров объекта approval.
Формальное утверждение
WR1 - для каждого экземпляра объекта approval значениями атрибута status должны быть
“approved”, “not_yet_approved”, “disapproved” иди “withdrawn”.
Определения значений атрибутов
approved — устанавливает, что проведена требуемая авторизация конкретной роли по утверж
дению части данных об изделии.
not_yet_approved —устанавливает, что проводится авторизация конкретной роли по утвержде
нию части данных об изделии.
disapproved —устанавливает, что конкретная роль части данных об изделии не была авторизо
вана.
withdrawn —устанавливает, что проведенная авторизация для конкретной роли по утверждению
части данных об изделии была аннулирована.
5
.
2
.
5
.
35
Правило contract_requlres_approval
Правило contract_requires_approvaI определяет, что на каждый экземпляр объекта contract
должна быть дана ссылка только из одного экземпляра объекта cc_design_approval. Это правило
устанавливает необходимость утверждения любого контракта по выполнению проектирования (кон
струирования).
EXPRESS-специфнкаиия
•>
RULE contract_requires approval FOR (contract,
ccdesignapproval);
WHERE
WR1: SIZEOF (QUERY (c <♦ contract |
NOT (SIZEOF (QUERY (ccda <• cc_design_approval |
c IN ccda.items) ) =■ I ))) = 0;
END.RULE;
(•
Описания аргументов
contract — идентифицирует набор всех экземазяров объектов contract.
cc dcsign approval — идентифицирует набор всех экземазяров объектов cc dcsign approval.