ГОСТ Р ИСО 10303-203-2003
- - проверяет отсутствие объекта produce definition.formation, ссылающегося па
- - тот же экземпляр объекта product
RETURN (SIZEOF (QUERY (vers <• versions |
NOT (SIZEOF (QUERY (other,vers <* versions - vers |
vers.ofproduct :=: other,vers.of.product)) = 0 ))) = 0);
END_FUNCTION;
<*
Описание аргумента
с — входной параметр, идентифицирующий проверяемый объект directed_action.
5.2.6.2 Функция cc_design j>erson_and^organizationcorrelation
Булева функция cc_design_person_and_organization_correlation возвращает значение “true”, если
значение атрибута name объекта person.organization.rolc согласовано с типом объекта, выбранного
из набора в атрибуте items объекта cc.design.person.and.organization.assignment.
Эта функция устанавливает, что:
- лицо и организация, заданные в объектах change.request или start.request. могут иметь роль
“request.rccipient”;
- лицо и организация, заданные в объектах change.request. start_request. change или start.work.
могут иметь роль “initiator”:
- лицо и организация, заданные в объектах product_definition_formation или product_definition,
могут иметь рать “creator”;
- лицо и организация, заданные п объекте product_definition_formation. могуг иметь роль
“part_supplier”;
- липо и организация, заданные в объекте product_definition_fonnation. могут иметь роль “de-
sign_supplier";
- лицо и организация, заданные в объекте product, м о т иметь роль “design.owner”;
- лицо и организация, заданные в объекте configurationjtem. могут иметь роль “configura
tion manager”:
- лицо и организация, заданные в объекте contract, могут иметь роль “contractor”;
- лицо и организация, заданные в объекте security classification. могут иметь роль “classifica-
tion.oflicer”.
EXPRESS-снеиификаиия
•>
FUNCTION cc.design.person.andoiganization.correlation
(e : cc_desjgn_person_and_organization_assignment ): BOOLEAN;
LOCAL
po_roIe : STRING;
END.LOCAL;
po.role := e\petson.and_organization_assignment.role.name;
CASE po.role OF
request.recipient’
: IF SIZEOF (e.items) < >
SIZEOF (QUERY (x <* e.items |
SIZEOF(|’CON FIG.CONTROL.DESIGN.’ +
CHANGE.REQUEST’,
’CONF1G.CONTROL.DES1GN.’ +
’START.REQUEST | *
’initiator’
TYPEOF (x) ) = I ))
THEN RETURN (FALSE);
END.IF;
: IF SIZEOF (e.items) < >
SIZEOF (QUERY (x <• e.items |
SIZEOF(|’CON FIG.CONTROL.DESIGN.’ +
’CHANGE.REQU EST’,
’CON F1G.CONTROL. DESIGN.’ +
102