ГОСТ Р 55346—2012
Атрибут placeJabel: Этот атрибут определяет слово (или слова), которые используются для ссыл
ки на прикладной компонент cb_place.
Атрибут initial_marking: Этот атрибутопределяет прикладной компонент cb_place. который являет
ся частью исходного условия для прикладного компонента cb_functional_behaviour_model.
4.3.30 Прикладной компонент cb_place_function_association
Прикладной компонент cb_place Junction_associatk>n определяет взаимосвязь между двумя при
кладными компонентами functionjnstance и cb_place. при которой активация функции будет контроли
роваться с помощью прикладного компонента cb_place.
Примечание — Взаимно-однозначного соответствия между прикладными компонентами cb_p!ace
и functionjnstance не требуется. Прикладной компонент cb_place без присвоенного прикладного компонента
functionjnstance будет указывать метку-заполнитель, вводимую для синхронизации потоков данных.
EXPRESS-описание:
*)
ENTITY cb_place_function_assodation:
causal_place; cb_funct»onal_place;
controls_function : functionjnstance;
INVERSE
completion_mapping: SET[0:?] OF cb_completion_alternative_mapping FOR scope;
END_ENTITY;
(*
Определения атрибутов.
Атрибут causal_place: Этот атрибут определяет прикладной компонент cb_place в указанной вза
имосвязи.
Атрибут controls_function: Этот атрибут определяет прикладной компонент functionjnstance в ука
занной взаимосвязи.
Атрибут completion_mapping: Этот атрибут определяет прикладной компонент cb_place_function_
association в прикладном компоненте cb_completion_alternative_mapping.
4.3.31 Прикладной компонент cb_place_reference
Прикладной компонент cb_place_reference определяет взаимосвязь между прикладным компо
нентом cb_place идополнительной информацией. Семантика этой взаимосвязи содержится в атрибуте
referencejype.
Примечание 1 — Прикладной компонент cb_place_reference вводится для указания того, что частный
прикладной компонент cb_p!ace должен быть аннотирован с помощью определенного синтаксического символа,
который первоначально вводился в понятия FFBD и диаграммы представлений.
EXPRESS-описание:
*)
ENTITY cb_place_reference;
functional_place_reference ;cb_functional_place:
referencejype : label;
END_ENTITY;
(*
Определения атрибутов.
Атрибут functional_place_reference: Этот атрибут определяет прикладной компонент cbjunc-
tional_place, для которого определен прикладной компонент cb_place_reference.
Атрибут referencejype: Этот атрибут определяет собственную семантику. Там. где это примени
мо. должны использоваться следующие состояния (значения) этого атрибута:
Примечание 2 — Перечисленные ниже предпочтительные состояния (значения) введены для правиль
ного выражения FFBD идиаграммы представлений с целью указания выхода из контуров или окончания исполня
емого потока данных.
- Состояние threadjerminiation: Прикладной компонент cb_place. индицируемый с помощью атри
бута functional_place jeference. является конечным элементом в исполняемом потоке данных;
- Состояние loop_exit: Прикладной компонент cb_place. индицируемый с помощью атрибута func-
tional_place_reference. является конечным элементом контура.
36