ГОС! Р ИСО 10303-203-2003
S1ZEOF (QUERY (х <♦ e.items |
’CONFIG. CONTROL_DESIGN.’ +
’SECURITY_CLASSIFICATION’
IN TYPEOF (x) )) THEN RETURN (FALSE);
EN D JF;
OTHERWISE: RETURN (TRUE);
END_CASE;
RETURN (TRUE);
END_FU NOTION;
(4
Описание аргумента
e — входной параметр, идентифицирующий проверяемый объект cc_design_person_and_organi-
zation_assignment.
5.2.6.3 Функция ccjdesignjlate_timejcorrelatton
Булева функция cc_design_datejime_correlation возвращает значение “true", если значение
атрибута name объекта date_timc_role согласовано с типом объекта, выбранного из набора атрибута
items объекта cc_design_date_and_time_assignment.
Эта функция устанавливает, что:
- присвоенные значения даты и времени для объекта product_definition могут иметь роль
“creation.date”;
- присвоенные значения даты и времени для объектов change_request или start_request могут
иметь роль “requestjate”:
- присвоенные значения даты и времени для объектов change или start_work могут иметь роль
“release..date”;
- присвоенные значения даты и времени для объектов change или start_work могут иметь роль
“start_date”;
- присвоенные значения даты и времени дзя объекта approvaI_date_time могут иметь роль
“sign_off_dateM;
- присвоенные значения даты и времени дтя объекта contract могут иметь роль “contract_date”;
- присвоенные значения даты и времени для объекта certification могут иметь роль “certifica-
tion_date”;
- присвоенные значения даты и времени для объекта security_classification могут иметь роль
“classification_date”;
- присвоенные значения даты и времени для объекта security_c!assification могут иметь роль
“declassification_date”.
EXPRESS-спенификания
*)
FUNCTION cc_design_date time correlation
(e : cc_design_date_and_time_assignment ): BOOLEAN;
LOCAL
dt_role : STRING;
END_LOCAL;
dt_role := e\date_and_titne_assignment.role.name;
CASE dt_role OF
xreation_date’
’request date’
: IF SIZEOF (e.items) < >
SIZEOF (QUERY (x <• e.items |
CONFIG_CONTROL_DESIGN.’ +
PRODUCT.DEFINITION’
IN TYPEOF (x) ))
THEN RETURN (FALSE);
EN DJF;
: IF SIZEOF (e.items) < >
l(W