ГОСТ Р 55346—2012
4.3.19 Прикладной компонент causal_b«ock_bound
Прикладной компонент causal_block_bound определяет взаимосвязь между двумя прикладными
компонентами cb_transition_relationship и указывает область фрагмента в прикладном компоненте
cb_functional_behaviour_model.
Примечание — Этот прикладной компонент является расширением математического описания сетей
Петри, который необходим для правильного представления параллельных и условных ветвей в причинно-след
ственной модели.
EXPRESS-описание:
*)
ENTITY causal_block_bound:
initial_transition: cb_transition_relationship;
terminaljransition : cbjransitionjelationship:
END_ENTITY;
C
Определения атрибутов.
Атрибут initial_transition: Этот атрибут определяет исходный прикладной компонент cb_transition_
relationship в модуле.
Атрибут terminaljransition: Этот атрибут определяет конечный прикладной компонент cbjransi-
tionjelationship в модуле.
4.3.20 Прикладной компонент cb_completion_altemative
Прикладной компонент cb_completion_alternative дает представление конечного прикладного
компонента cbJunctional_place для обеспечения потока данных в прикладном компоненте cbjunction-
al_behaviour_model. Конечный прикладной компонент cbJunctional_place в модели поведения иденти
фицируется с помощью атрибута final_ model_element. В тех случаях, когда существует два и более
конечных прикладных компонента cbJunctional_place (где каждый из них является исполняемым по
током данных), должен существовать один прикладной компонент cb_completion_altemative. характери
зующий каждый из потоков.
Примечание — Прикладной компонент cb_completion_alterna!ive вводится для преобразования множе
ства выходных условий из декомпозируемой функции в соответствующие выходные условия.
EXPRESS-описание:
*)
ENTITY cb_completion_alternative;
completes_model: cbJunctional_behaviour_model;
finaljnodel_element: cbJunctional_place;
END_ENTITY;
C
Определения атрибутов.
Атрибут completes_model: Этот атрибут определяет прикладной компонент cb_functional_be-
haviour_model, для которого данный атрибут определяет состояние выхода.
Атрибут final_model_element: Этот атрибут определяет прикладной компонент cbJunctional_place,
который является последним в выполняемом (исполняемом) потоке данных для прикладного компонен та
cbjunctional_behaviour_model.
4.3.21 Прикладной компонент cb_completion_altemative_mapping
Прикладной компонент cb_completion_alternative_mapping определяет связь прикладного компо
нента cb_completion_alternative разделенной функции эквивалентного прикладного компонента cb_func-
tional_place на один уровень исполнения выше.
Примечание — Прикладной компонент cb_completran_alternative_mapping определяет преобразование
прикладного компонента cb_completion_alternative прикладного компонента cbJunctional_behaviour_modei в при
кладной компонент cbjunctionalJransition. Семантика состоит в выборе окончательногоальтернативного варианта
сложной функции, которая должна интерпретироваться как выбор прикладного компонента cbJunctional_transition.
на уровне на один выше в иерархии.
31