ГОСТ Р 55346—2012
ENTITY verification_report_for_verification_specification:
description: text_select;
specific_verification_e5ement: verification_specification_allocation:
verification_report_entry : verification_result.
END_ENTITY:
ENTITY verification_result:
description: text_select,
id: etementjdentifier;
name: label:
system_under_verification : verification_specification_system_view_relationship;
UNIOUE
UR1: id. system_under_verification;
END_ENTITY:
ENTITY verification_specification:
definition: requirement_occurence;
description : OPTIONAL text_select;
id : etementjdentifier;
name: label;
verification_method : label;
END_ENTITY;
ENTITY verification_specification_allocation;
description ; OPTIONAL text_select;
relevantjor: verification_allocation_setect:
specification: verification specification;
END_ENTITY:
ENTITY verification_specification_system_view_relationship.
assigned_verification : verification_specification;
description ; OPTIONAL text_selecL
index ; label;
system_view : system_view;
END_ENTITY:
ENTITY view_relationship:
child: graphics_view:
parent; graphics_view;
vaKdJn; multijevelj/iew;
END_ENTITY;
ENTITY visual_element
ABSTRACT SUPERTYPE OF (ONEOF(actual_port_position. formal_port_position. graphicsjink. graphics_node));
view: graphics_vtew:
END_ENTITY;
ENTITY workorder
ABSTRACT SUPERTYPE OF (ONEOF(change_order. start_order));
description : OPTIONAL text_setect:
id : etementjdentifier;
is_controlling ; SET[1;?] OF engineering process activity;
status; label:
versionjd : OPTIONAL elementjdentifier;
END_ENTITY;
ENTITY work_request
ABSTRACT SUPERTYPE OF (ONEOF{change_request. start_request));
description: text_select;
id : etementjdentifier;
notified_person : SET[0:?) OF date_and_person_organization;
304