ГОС! Р ИСО 10303-203-2003
(person_and_organization_role);
WHERE
WR1: SIZEOF (QUERY (рог <• person_and_organization_role |
NOT (por.namc IN I’requestjiecipient’, ‘initiator’, part.supplier’,
’design.supplier’, ’configuration, manager’, ’contractor’,
’classification_officer*, ’creator’, ’design_owner’|))) = 0;
END.RULE:
(4
Описание аргумента
person_organization_role — идентифицирует набор всех экземпляров объектов personorganiza-
tion_role.
Формальное утверждение
WR1 —для каждого экземпляра объекта personorganizationrole атрибут паше должен иметь
одно из следующих значений: "request.recipient”, "initiator”, “part_supplier”. “design.supplier”, “con
figuration..manager”, “contractor”, “classification.officer”, "creator” или "design_o\vner”.
Определения шаченнн атрибутов
request_recipient — идентифицирует лицо, отвечающее в организации за получение changer-
quest или start_requcst и проведение действий по этим запросам.
initiator — идентифицирует лицо, отвечающее в организации за создание change_request или
start_request.
part_supplier — идентифицирует лицо, отвечающее в организации за поставку детали.
design_supplier — идентифицирует лицо, отвечающее в организации за проект (конструкцию)
детали.
configuration_manager — идентифицирует лицо, отвечающее в организации за информацию о
конфигурации проекта (конструкции).
contractor —идентифицирует лицо, отвечающее в организации за информацию, связанную с
контрактом по проектированию.
classification_officer — идентифицирует лицо, отвечающее в организации за присвоение и сня
тие уровней конфиденциальности (секретности) для деталей.
creator — идентифицирует лицо, отвечающее в организации за разработку конкретного prod-
uct_definition_formation или product_definition.
design_owner —идентифицирует лицо, отвечающее в организации за проект в целом, включая
все аспекты проектируемого изделия (product).
5.2.5.44 Правило restrict__datejtlme_role
Правило restrict_date_time_ro!e определяет допустимые роли для объектов date_and_time. Это
правило устанавливает, что значениями ролей объектов date_and_time должны быть только “сгеа-
tion_date”,“request,.date”,“release_date’\“start_date”,“contract_date”.“ceitification_date”,
“sign_ofT_date”, “classification, date” или “declassification.date”.
EXPRESS-спецнфикация
•)
RULE restrict_date_time .role FOR (date_time_role):
WHERE
WR1: SIZEOF (QUERY (dtr <• date_time_role |
NOT (dtr.name IN |’creation_date’, ’request, date’, ’release_date’.
’start.date’, ’contract_daie\ ’certification, date’,
’sign_oir_date’, ‘classification.date’,
’declassification.date’)))) = 0;
END..RULE;
(*
Описание аргумента
date_tinre_role — идентифицирует набор всех экземпляров объектов date_time_role.
Формальное утверждение
WRI —для каждого экземпляра объекта date_time_role атрибут паше должен иметь следующие
значения: “creation_date”, "request_.date”, “release.date”, “start.date”, “contract.date”, “certifica
tion, date”, “sign_ofl_date”, “classification.date” или “declassification_date”.
86