ГОСТ Р ИСО 10303-203-2003
Формальное утверждение
WR1 —для каждого экземпляра объекта contract должен существовать только одни экземпляр
объекта cc_design_approval, ссылающийся на данный экземпляр объекта contract в соответствующем
наборе объектов items.
5.2.5.36 Правило contract^requires_person_or%aniZfftlon
Правило contract_requircs_person_organization определяет, что на каждый объект contract долж
на быть дана ссылка только из одного объекта cc_design_pcrson_and_organization_assignment. Данное
правило устанавливает, что за каждый контракт должно отвечать определенное лицо. Смысл понятия
лица, отвечающего за контракт, разъяснен в описании атрибута role объекта
person_and_organiza-tion_assignment.
П р и м е ч а н и е —Допустимость использования различных значений ролей при связывании рег-
son_and_organLfation_assignmcnt с разными объектами определяется функцией cc_design_pcrson_and_organiza-
tion_corrdation. Эту функцию используют локально для объекта cc_design_pcrson_aDd_organization_a.ssignmfnl.
Определение функции приведено в 5.2.6Д.
EXPRESS-спеннфикация
*)
RULE contract_requires_person_organization FOR
(contract, cc^design person and organization assignment);
WHERE
WR1: SIZEOF (QUERY (c <• contract |
NOT (SIZEOF (QUERY (ccdpoa <•
cc_design_person_and_organization_assignment |
c IN ccdpoa.items)) = 1 ))) = 0;
END_RULE
(4
Описания apiy.Meiiroi!
contract — идентифицирует набор всех экземпляров объектов contract.
cc_dcsign_person_and_organization_assignment — идентифицирует набор всех экземпляров объ
ектов cc_design_pcrson_and_organization_assignment.
Формальное утверждение
WR1 —для каждого экземпляра объекта contract должен существовать только один экземпляр
объекта cc_design_person_and_organization_assignment, содержащий данный экземпляр объекта con
tract в соответствующем наборе объектов items.
5.2.5.37 Правило restrict_contract_iype
Правило restrict_contract_typc определяет допускаемые тины контрактов. Это правило устанав
ливает для типов контрактов значение “fixed_price’’ или “cost_plus”.
EXPRESS-спенификация
*)
RULE restrict contract_type FOR (contract_type);
WHERE
WRI: SIZEOF (QUERY (ct <• contract .type |
NOT (ct.description IN |’fixed„price\ ’cost_plus’|))) = 0;
END_RULE:
<*
Описание аргумента
contract_type —идентифицирует набор всех экземпляров объектов contract_type.
Формальное утиержленне
WRI —для каждого экземпляра объекта contract_type атрибут kind должен иметь значение
“fixedjorice” или “cost plus”.
Определения значений атрибутов
fixed_price — идентифицирует контракт, в соответствии с которым устанавливается фиксиро
ванная оплата за выполняемые работы.
cost_plus — идентифицирует контракт (дополнительное соглашение), в соответствии с которым
S2