ГОСТ Р 55346—2012
presentationjd : OPTIONAL label:
INVERSE
control_port: SET[0:?l OF control_io_port FOR port_of;
UNIQUE
UR1: definition, id:
END_ENTITY;
C
Определения атрибутов.
Атрибут definition: Этот атрибут определяет прикладной компонент general_function_definition. ко
торый дает описание прикладного компонента functionjnstance.
Атрибут id: Этот атрибут определяет идентификатор прикладного компонента functionjnstance.
Атрибут пате: Э
тот
атрибут определяет слово (или слова), которые используются для ссылки на
прикладной компонент functionjnstance.
Атрибут presentationjd: Этот атрибут определяет информацию, подтверждающую идентичность
прикладного компонента functionjnstance и предоставляемую пользователю.
Атрибут control_port: Этот атрибут определяет прикладной компонент functionjnstance. к которо
му присоединяется прикладной компонент control_io_port.
Формальные выражения:
UR1:
4.3.104 Прикладной компонент function_reference
Прикладной компонент function_reference определяет взаимосвязь между прикладными компо
нентами functionjnstance и fsm_model.
Примечание 1 — Прикладной компонент function_reference дает способ сопоставления элементов в
пространстве имен прикладного компонента compositeJunction_definition с пространством имен для автомата с
конечным числом состояний.
Примечание 2 — Для реализации способасопоставления этих элементов должны использоваться при
кладные компоненты state_functionJnteraction_port и name_binding.
EXPRESS-описание:
*)
ENTITY function_reference;
functionjink:functionjnstance;
port_of:fsm_model;
END_ENTITY;
C
Определения атрибутов:
Атрибут functionjink: Этот атрибут определяет прикладной компонент functionjnstance. который
будет импортироваться в автомат с конечным числом состояний.
Атрибут port_of: Этот атрибут определяет прикладной компонент fsm_model. в который будет им
портироваться прикладной компонент functionjnstance.
4.3.105 Прикладной компонент functional_behaviour_model
Прикладной компонент functional_behaviour_model является определением функциональной мо
дели поведения системы. Прикладной компонент functional_behaviour_model является абстрактным су
пертипом. который никогда не должен реализовываться.
EXPRESS-описание:
‘>
ENTITY functional_behaviour_model
ABSTRACT SUPERTYPE OF ( ONEOF(cbJunctional_behaviour_model. state_machine_ func-
tional_behaviour_model));
description : OPTIONAL text_select,
INVERSE
defines_behaviourJor:SET[0:1] OF functional_behaviour_model_assignment FOR assigned_be-
haviour_model;
END_ENTITY;
(*
71