ГОСТ Р 55346—2012
- verification_report_for_verification_specjficat»on;
- verification_result;
- verification_specification;
- verificat»on_specification_alIocation.
4.1.33 Функциональный модуль Version_Management
Функциональный модуль Version_Management содержит объекты, предназначенные для фикса
ции характера развития элементов спецификации по времени. Этот модуль является основополагаю
щим, поскольку может использоваться во многих элементах большого числа прикладных компонентов.
Он отражается в определениях конкретных объектов в каждом прикладном компоненте.
В
функциональном модуле Version_Management определены следующие прикладные компоненты:
- configuration_element;
- configuration_element_relationship;
- configuration_element_version;
- configuration_element_version_relationship;
- elementjdentifier.
4.1.34 Функциональный модуль Work_Management
Функциональный модуль Work_Management содержит объекты, предназначенные для представ
ления работ по инженерному проектированию, а также логики, которая приводит к инициализации ра
бот по проекту.
В
функциональном модуле Work_Management определены следующие прикладные компоненты:
- effectivity;
- effectivity_assignment;
- effectivity_relationship;
- enginoering_pfocess_activity;
- engineering_process_activity_element_assignment;
- engineering_pfocess_activity_relationship;
- project:
- project_event_reference;
- project_relationship;
- start_order:
- start_request:
- work_order;
- work_request.
4.2 Определения типов ARM-модели
В данном подразделе определены типы прикладных компонентов и приведены их описания.
4.2.1 Прикладной компонент approval_assignment_select
EXPRESS-описание:
*)
TYPE approval_assignment_select = SELECT WITH (change_report. configuration_element. con-
figuration_elemont_version, criticaljssue.criticaljssuejmpact. document_assignment. element_
critical_issue_relationship,engineering_process_activity. instance_dcfinition_setect.package_
element_assignment, partial_system_view_re!ationship, project. requirement_allocation_relation-
ship, work_order, work_request):
END_TYPE;
C
4.2.2 Прикладной компонент assessment_assignment_select
EXPRESS-описание:
*)
TYPE assigned_requirement_relationship_select = SELECT WITH {requirement_allocation_rela-
tionship, requirement_relationship):
END_TYPE:
Г
13