ГОСТ Р 55346—2012
EXPRESS-описание:
*>
ENTITY cb_complet»on_alternalive_mapping;
child_completion_criterion :cb_completion_altemative:
equivalentjransition : cbjunctionaljransition;
scope: cb_place_function_association;
END_ENTITY;
Г
Определения атрибутов:
Атрибут child_complelion_critefion: Этот атрибут определяет прикладной компонент cb_comple-
tion_alternative в прикладном компоненте cb_completion_alternative_mapping.
Атрибут equivalentjransition: Этот атрибут определяет прикладной компонент cbJunctionaljransi-
tion. для которого прикладной компонент child_completion_criterion преобразуется с помощью приклад
ного компонента cb_completion_altemative_mapping.
Атрибут scope: Этот атрибут определяет прикладной компонент cb_placeJunction_association
прикладного компонента cb_completion_alternative_mapping.
4.3.22 Прикладной компонент cb_firing_condition
Прикладной компонент cb_firing_condition представляет собой спецификацию условий, которые
должны выполняться для инициализации перехода к прикладному компоненту cbJunctional_behaviour_
model.
Примечание — Прикладной компонент cbJiring_condition связывается с прикладным компонентом cb_
output_relationship, который предшествует прикладному компоненту cbjransition и который должен инициализиро
ваться при выполнении поставленного условия.
EXPRESS-описание:
*)
ENTITY cb_firing_condition;
condition_definition : textual_specification;
guardedjransition : cb_transition;
r
END_ENTITY;
Определения атрибутов.
Атрибут condition jiefinition: Этот атрибут определяет условие, которое должно выполняться для
инициализации перехода.
Атрибут guardedjransition: Этот атрибут определяет прикладной компонент cb_output_relatk>n-
ship. для которого применим прикладной компонент cbjransition.
4.3.23 Прикладной компонент cbJunctional_behaviour_model
Прикладной компонент cbjunctional_behaviour_model принадлежит к тому же типу, что и приклад
ной компонент functional_behaviour_model. а модель представления определяет частичное функцио
нальное упорядочивание, например функциональную последовательность, взаимосовместимость или
ветвление среди функций.
Примечание 1 — При присвоении прикладного компонента compositeJunction_definit»on функциональ
ное представление определяется с помощью модели функционального взаимодействия для прикладных компо
нентов compositeJunction_definition и cb_functional_behaviour_model в их сочетании.
Примечание 2 — Компоновочные модули прикладного компонента cbJunctionalJ>ehaviour_model экви
валентны таковым для сетей Петри. Они создаются из прикладных компонентов cb_place, cbjransition. cbjnput_
relationship и cb_output_relationship.
EXPRESS-описание:
*)
ENTITY cbJunctionalJiehaviourjnodel
SUBTYPE OF (functional_behaviour_model);
model J>oundedness: label:
modeljype: label;
INVERSE
32