ГОСТ Р 55346—2012
4.3.327 Прикладной компонент work_request
Прикладной компонент work_request определяет требование к определенной работе, которая
должна быть выполнена.
EXPRESS-описание:
*>
ENTITY work_request
ABSTRACT SUPERTYPE OF (ONEOF(change_request. start_request)):
description : text_select;
id : elementjdentifier;
notified_person : SET[0:?] OF date_and_person_organization;
requestor: date_and_person_organization;
scope : SET[0:?] OF specjfication_element_select:
status: label;
versionjd : OPTIONAL elementjdentifier;
END_ENTITY;
Г
Определения атрибутов.
Атрибут description: Этот атрибут определяет дополнительную информацию, относящуюся к при
кладному компоненту work_request.
Атрибут id: Этот атрибут определяет идентификатор прикладного компонента work_request.
Атрибут notified_person: Этот атрибут определяет прикладной компонент person или organization,
который должен давать информацию относительно прикладного компонента work_request. а также о
дате, когда прикладной компонент person или organization должны получать информацию.
Атрибут requestor: Этот атрибут определяет прикладной компонент person или organization, кото
рый должен обеспечивать выдачу запроса и даты, когда этот прикладной компонент person или organi
zation был выдан.
Атрибут scope: Этот атрибут определяет прикладные компоненты, которые зависят от прикладно
го компонента work_request.
Атрибут status: Этот атрибут определяет состояние прикладного компонента work_request. Там.
где это применимо, должны использоваться следующие состояния (значения) этого атрибута:
- состояние in_work: Запрос разрабатывается:
- состояние issued: Запрос завершен, просмотрен и немедленно приводит квыполнению операции;
- состояние resolved: Запрос разрешен: операция, определенная с помощью запроса, завершена,
и никакой другой работы вдальнейшем не требуется.
Атрибут versionjd: Этот атрибут определяет идентификатор конкретной версии прикладного ком
понента work_request.
*)
END_SCHEMA;
(*
4.4 Функции в ARM-модели
В данном подразделе определяются функции ARM-модели, предназначенные для PAS-
спецификации.
4.4.1 Функция at_most_one_systemJunction_assigned
EXPRESS-описание:
*)
FUNCTION at_most_one_systemJunction_assigned (a_system_view :system_view): LOGICAL;
LOCAL
no_of_systemJunctions : INTEGER := 0;
ENDJ.OCAL;
IF SIZEOF(a_system_view.system) > 0 THEN
REPEAT i := 1 TO SIZEOF(a_system_view.system);
IF a_system_view.system[i).role = systemjunction THEN
no_of_systemJunctions := no_of_system_functions + 1;
166