ГОСТ Р 55346—2012
4.3.87 Прикладной компонент formal_io_port
Прикладной компонент formalJo_port принадлежит к тому же типу, что и прикладной компонент
io_port и определяет элемент интерфейса к прикладному компоненту general_function_definition.
Примечание 1 — Если прикладной компонент generalJunction_definition имеет интерфейс, то его будет
определять один или несколько прикладных компонентов formal_io_port.
Примечание 2 — Порты для информационных потоков классифицируются в соответствии со следую
щими тремя критериями для модели данных.
1. Является ли порт формальным (закрепленным за прикладным компонентом generalJunction_definition)
или реальным (закрепленным за прикладным компонентом functionjnstance. fsm_model. persistent_storage или
io_splitJoin):
2. Является ли порт входным или выходным:
3. Является ли порт предназначенным для информационного потока или контрольным портом (порт для ин
формационного потока переносит данные, тогда как контрольный порт служит для подачи управляющих сигналов,
например запуска, останова, приостановки и возобновления выполнения операции).
Согласно вышеприведенной классификации может определяться та роль, которую должен
играть порт по отношению к прикладным компонентам functionaljink. Порт может принимать инфор
мационные потоки (т. е. данные, подаваемые на порт) или же он может формировать информаци
онные потоки (т. е. данные, которые будут выдаваться из порта). Например, прикладной компонент
formalJo_port, чьим состоянием атрибута direction является output, будет формировать данные, тогда
как прикладной компонент actual_io_port, чьим состоянием атрибута direction является input, будет
принимать данные.
В модели данных мы фиксируем указанную информацию в получаемом атрибуте role, который
используется для гарантии того, что прикладные компоненты functionaljink будут правильно объеди
нены (прикладной компонент functionaljink должен иметь одного получателя и одного отправителя), а
прикладные компоненты io_port_binding будут применимы только к портам, для которых прикладной
компонент actual_port в этой связи будет являться отправителем информации, а прикладной компонент в
связи — получателем информации, и наоборот.
Примечание 3 — Если (и только если) прикладной компонент functionjnstance для прикладного ком
понента generalJunction_definition создает прикладной компонент actualJo_port то будет существовать соответ
ствующий каждому прикладному компоненту formalJo_port информационный поток, связанный с действующим
портом (а этот порт связан с соответствующим прикладным компонентом formaNo_port посредством прикладного
компонента io_port_btnding).
EXPRESS-описание:
*)
ENTITY formaljo_port
SUBTYPE OF (io_port) ;
port_of: general_function_defmition:
DERIVE
SELRio_port. RENAMED role : port_data_relation : determineformalportrole(SELF);
UNIQUE
UR1: port_of, io_port_number. portjype;
END_ENTITY;
C
Определения атрибутов:
Атрибут port_of: Этот атрибут определяет прикладной компонент generalJunction_definition, для
которого существует данный порт, усиливающийся с помощью обратной взаимосвязи и указывающий,
что этот атрибут port_of может только вводиться при определении, однако это определение будет от
носиться к нескольким портам.
Атрибут role:
Формальные выражения:
UR1:
4.3.88 Прикладной компонент formal_physical_port
Прикладной компонент formal_physical_port принадлежит к тому же типу, что и прикладной компо
нент pbysical_port и представляет собой либо входные и выходные данные, либо входные данные или
выходные данные для прикладного компонента genera!_physical_dofinition.
64