ГОСТ Р ИСОЛ-С 10303-439— 2016
Plcs_ir_usagejtem =
(/MAPPING_OF(Analysis_assignment)/)
(/MAPPING_OF(Description_text_assignmenty)
(/MAPPING_OF(EvidenceV)
(/MAPPING_OF(Validation)/)
(/MAPPING_OF(Verification)/)
5.1.6 Прикладной объект Applied_stato_assignmont
Определение прикладного объекта Applied_state_assignment дано в прикладном модуле Hstate_
observed1. В настоящей секции с целью включения утверждений, определения которых даны в на
стоящем прикладном модуле, дается расширение отображения прикладного объекта Appliod_state_
assignment
5.1.6.1 Связь объекта Applied_state_assignment с объектом \ представляющим атрибут as-
signod_to
Ссылочный путь: state_observed_assignment
applied_state_observed_ass*gnment <= state_observed_assignment
applied_state_observed_assignment.items -> state_observed_of_item
state_observed_of_item *> plcs_state_observed_of_item
plcs_state_observed_of_item =
(/MAPPING_OF(Applied_activity_method_ass(gnmenty)
(/MAPPING_OF(Approvaiy)
(/MAPPING_OF(Environment_definition_viewy)
(/MAPPING_OF(Obscrved_environment_viewy)
5.1.7 Прикладной объект Applied_stato_definition_assignment
Определение прикладного объекта Applied_state_dofinition_assignment дано в прикладном мо
дуле ’foundation_state_definition’\ В настоящей секции с целью включения утверждений, определения
которых даны в настоящем прикладном модуле, дается расширение отображения прикладного объекта
Applied_state_definition_assignment.
5.1.7.1 Связь объекта Applied_state_dofinition_assignment с объектом *. представляющим атри
бут assigned_to
Ссылочный путь:
state_type_assignment
applied_state_type_assignment <= state_type_assignment
applied_state_type_assignment.items -> state_type_of_item
state_type_of_item *> plcs_state_type_ofJtem
plcs_state_type_of_item =
(/MAPPING_OF(Approvaiy)
(/MAPPING_OF(Environment_definition_viewy)
(/MAPPING_OF(Message)/)
(/MAPPING_OF(Observed_environment_viewy)
5.1.8 Прикладной объект Approval_assignment
Определение прикладного объекта Approval_assignment дано в прикладном модуле «approval».
В настоящей секции с целью включения утверждений, определения которых даны в настоящем при
кладном модуле, дается расширение отображения прикладного объекта Approval_assignment.
5.1.8.1 Связь объекта Approval_assignment с объектом \ представляющим атрибут items
Ссылочный путь:
applied_approval_assignment.items[i] -> approvaljtem
approvaljtem *> plcs_approval_item
plcs_approval_item =
(/MAPPING_OF(Assumption)/)
(/MAPPING_OF(Assumption_assignment)/)
(/MAPPING_OF(Assumption_relationship)0
(/MAPPING_OF(Description_text_assignmenty)
(/MAPPING_OF(Evidencey)
(/MAPPING_OF(!dentification_relationshipV)
(/MAPPING_OF(ltem..assumedy)
(/MAPPING_OF(ValidattonK)
(/MAPPING_OF(Verification)/)
(/MAPPING_OF(Verification_relatjonship)/)
48