ГОСТ Р 55346—2012
4.3.32 Прикладной компонент cb_transition
Прикладной компонент cbjransition определяет временный пункт (точку) в причинно-следствен
ной модели представления.
Примечание — По терминологии, принятой в сетях Петри, прикладной компонент cb_transition называ
ется «переходом».
EXPRESS-описание:
*)
ENTITY cbjransition
ABSTRACT SUPERTYPE OF (ONEOF(cb_functional_transition. oo_action_staten_transition);
description: OPTIONAL text_select;
transition label: OPTIONAL label:
INVERSE
guarded_by: SET(0:1] OF cb_firing_condition FOR guardedjransition;
END_ENTITY;
C
Определения атрибутов:
Атрибут description: Этот атрибут определяет дополнительную текстовую информацию, относящу
юся к прикладному компоненту cbjransition.
Атрибут transitionjabel: Этот атрибут определяет слово (или слова), которые используются для
ссылки на прикладной компонент cb_transition.
Атрибут guarded_by: Этот атрибут определяет прикладной компонент cb_output_relationship, для
которого применим прикладной компонент cbjransition.
4.3.33 Прикладной компонент cbjransition_relationship
Прикладной компонент cb_transition_relationship определяет взаимосвязь между двумя приклад
ными компонентами cbjransition.
Примечание 1 — Назначение этого прикладного компонента состоит в группировании разделенных
ветвей в причинно-следственную цепочку. Семантика может также охватываться путем небольшого расширения
прикладного компонента causalJjlockJraund.
Примечание 2 — Этот прикладной компонент, возможно, должен удаляться из модели.
EXPRESS-описание:
*)
ENTITY cbjransitionjelationship;
relatedJransition : SET[1:?] OF cbjunctionaljransition;
elationshipjype :label.
INVERSE
end_bound : SET[0:1] OF causalJilockjjound FOR terminal Jransition;
start_bound : SET[0:1] OF causal_b»ock_bound FOR initialjransition;
END_ENTITY;
C
Определения атрибутов.
Атрибут relatedJransition: Этот атрибут определяет набор прикладных компонентов cbjransition.
который включается в прикладной компонент cbJunctionaIJransition.
Атрибут relationshipjype: Этот атрибут определяет характер указанной взаимосвязи. Там. где это
применимо, должны использоваться следующие состояния (значения) этого атрибута:
- Состояние or: Прикладной компонент cbjransitionjelationship представляет собой набор при
кладных компонентов cbJunctionalJransition (см. раздел 4.2.25 ISO/WD PAS 20542) и указывает начало
или окончание селективной структуры.
Примечание 3 — В языках программирования он соответствует состояниям (командам) IF .. THEN ..
ELSE.
- Состояние and: Прикладной компонент cbjransitionjelationship представляет собой набор при
кладных компонентов cbjunctionaljransition и указывает начало или окончание параллельной струк
туры;
37