ГОСТ Р 55346—2012
constituent_places: SET[1:?J OF cb_functional_place FOR behaviour_model;
constituent_transitions: SET[2:?] OF cbjunctionaljransition FOR behavtour_model;
r
END_ENTITY;
Определения атрибутов.
Атрибут model_boundedness: Этот атрибут определяет условие, накладываемое на максималь
ное число знаков, допускаемых в каждом прикладном компоненте cb_place прикладного компонента
cb_functional_behaviour_model.
Примечание 3 — Для причинно-следственного формализма, популярного среди системных инженеров
FFDB и диаграмм представления, модель ограничивается значением 1. за исключением случаев, когда в модели
используется принцип репликации. В последнем случае атрибут modeljroundedness будет иметь
максимальное число потоков данных в реплицированной структуре.
Атрибут model_type: Этот атрибут определяет тип модели представления, которая реализуется с
помощью прикладных компонентов cb_functional_behaviour_model и composite_function_definition.
Атрибут constituent_places: Этот атрибут определяет прикладной компонент cb_functional_be-
havk>ur_model. частью которого является прикладной компонент cb_functional_place.
Атрибут constituent_transitions: Этот атрибут определяет прикладной компонент cb_functional_be-
haviour_model, частью которого является прикладной компонент cb_functional_transition.
4.3.24 Прикладной компонент cb_functional_place
Прикладной компонент cb_functional_ptace принадлежит тому же типу, что и прикладной компо
нент cb_p!ace и специализирован на фиксации статических состояний прикладного компонента func-
tional_behaviour_model.
Примечание — Спецификация на причинно-следственное представление формируется путем соеди
нения прикладных компонентов cb_functional__place и cb_functional_transition с помощью прикладных компонентов
cb_input_re!ationship иcb_output_relattonship. Необходимость соединения нескольких прикладных компонентов cb_
output_relationship с прикладным компонентом cbjunctionaljransition будет означать, что он становится первым
элементом в параллельной ветви в спецификации на представление.
Необходимость присоединения нескольких прикладных компонентов cb_inpul_relationship к прикладному
компоненту cbjunctionaljransition будет означать, что параллельная ветвь будет прерываться. Альтернативные
ветви могут определяться путем присвоения нескольких прикладных компонентов cb_output_relationship един
ственному прикладному компоненту cbjunctionalplace. Аналогично прерывание альтернативных потоков данных
может задаваться путем объединения нескольких прикладных компонентов cbJnput_relationship в единственный
прикладной компонент cbJunctional_place.
EXPRESS-описание:
*)
ENTITY cb_functional_place
SUBTYPE OF (cb_place);
behaviour_model: cb_functional_behaviour_model;
INVERSE
referencejnformation: SET[0:1] OF cb_place_reference FOR functional_place reference:
END_ENTITY;
C
Определения атрибутов.
Атрибут behaviour_model: Этот атрибут определяет прикладной компонент cb_functional_be-
haviour_model. частью которого является прикладной компонент cb_functional_place.
Атрибут referencejnformation: Этот атрибут определяет прикладной компонент cb_functional_
place, для которого определен прикладной компонент cb_place_reference.
4.3.25 Прикладной компонент cb_functionalJransition
Прикладной компонент cb_functional Jransition принадлежит к тому же типу, что и прикладной ком
понент cbjransition и специализирован для определения изменяемого узла (точки) в прикладном ком
поненте cb_functional_behaviour_model.
Примечание — Спецификация на причинно-следственное представление формируется путем соеди нения
прикладных компонентов cbjunctional_р!асе и cbjunctionaljransition с помощью прикладных компонентов
33