ГОСТ Р 55346—2012
id :elementjdentifier.
(* The is_control!ing specifies the Engineering_process_activity objects that are controlled by this particular Work_order.
*)
is_controllir>g : SET [1 : ?] OF engineering_process_activity;
(* The status specifies the condition of the Work order. Where applicable, the following values shall be used:<ul>
<!i>in_work: The request is being devetoped;<fli> <Q>issued: The request has been completed and reviewed, and im
mediate action takes place;</li> <li>resolved: The request is resolved: the actions as defined by the request have been
completed and no further work is required.</li> </ul> *)
status: label:
(* The versionjd specifies the identification of a particular version of a Work_order. *)
versionJd : OPTIONAL elementjdentifier:
END_ENTITY:
(*A Work_request is the solicitation for some work to be done. *)
ENTITY work_request
ABSTRACT SUPERTYPE OF (ONEOF(change_request. start_request)>;
(* The description specifies additional information about the Work_request. *)
description : text_select;
(* The id specifies the identifier of the Work_request. ’)
id : elementjdentifier.
(* The notified_person specifies the Person or the Organization that shall be informed about the Work_request and the
date when the Person or Organization shall be informed. *)
notified_person : SET [0 : ?] OF date_and_person_organization:
(* The requestor specifies the Person or Organization who issued the request and the date when this Person or Organi
zation issued the request. *)
requestor: date_and_person_organization;
(* The scope specifies the objects that are subject to the Work_request. •)
scope : SET [0 : ?] OF specification_element_select:
(* The status specifies the status of the Work_request. Where applicable, the following values shall be used:<u> <li>in_
work: The request is being developed;</li> <li>issued: The request has been completed and reviewed, and immediate
action takes place;</li> <li>resolved: The request is resolved: the actions as defined by the request have been completed
and no further work is required.</B> </uf> *)
status: label;
(* The versionJd specifies the identification of a particular version of a Work_request. *)
versionJd : OPTIONAL elementjdentifier:
END_ENT!TY;
FUNCTION at_most_one_system function_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 := 1TO SIZEOF(a_system_view.system):
IF a_system_view.system[il.role = system_function THEN
no_of_systemJunctions := no_of_systemJunctions + 1;
ENDJF;
END_REPEAT;
ENDJF;
RETURN (no_of_systemJunctions <= 1);
ENDJUNCTION;
FUNCTION correctjjinding (binding : io_portJ)inding): BOOLEAN;
LOCAL
functionJnterface : functionjnstance;
END_LOCAL;
IF (SYSTEM_ENGINERING_ANDJDESIGN.FUNCTIONJNSTANCE’ IN TYPEOF(binding.actual_port.port_of)) THEN
RETURN (FALSE);
ENDJF:
functionjnterface := binding.actual jjort.port_of;
390