ГОСТ Р 55346—2012
Указанный атрибут используется для гарантии того, что входиые/выходные информационные
объекты будут предоставляться должным образом (т. е. они должны иметь одного поставщика и
одного потребителя), а также того, что прикладные компоненты io_port_binding будут применяться
только к портам, для которых прикладной компонент actual_port в связке будет относиться к по
ставщику информации, а прикладной компонент formal_port в этой же связке — к потребителю
информации.
EXPRESS-описание:
* )
ENTITY actual_io_pOft
SUBTYPE OF (io_port);
port_of:generaljunctionalityjnstance;
DERIVE
SELFMo_port. RENAMED role: port_data_relation : determineactualportrole(SELF);
INVERSE
assigned_buffer: SET[0:1) OF io_buffer FOR assigned_to;
UNIQUE
UR1: port_of, »o_port_number. port_type;
r
END ENTITY;
Определения атрибутов:
Атрибут port_of: Этот атрибут определяет прикладной компонент general_functionality_instance.
для которого этот атрибут является частью компонента.
Атрибут role: Этот атрибут определяет поставщика или потребителя информации.
Атрибут assignod_buffer: Этот атрибут определяет прикладной компонент actual_io_port, за кото
рым закрепляется прикладной компонент io_buffer.
Формальные выражения:
UR1:
4.3.4 Прикладной компонент actual_physical_port
Прикладной компонент actual_physical_port принадлежит тому же типу, что и прикладной компо
нент physical_port, и представляет элемент в интерфейсе прикладного компонента physicaljnstance.
Направление передачи входных/выходных данных с помощью этого интерфейса не определяется при
кладным компонентом actual_physical_port.
EXPRESS-описание:
* )
ENTITY actual_physical_port
SUBTYPE OF (physical_port);
port_of: physicaljnstance;
END_ENTITY;
C
Определение атрибута:
Атрибут port_of: Этот атрибут определяет прикладной компонент physicaljnstance. для которого
этот атрибут является частью интерфейса.
4.3.5 Прикладной компонент actual_port_position
Прикладной компонент actual_port_position принадлежит к тому же типу, что и прикладной ком
понент visual_e!ement и является графическим представлением положения прикладного компонента
actualjo_port или actual_physical_port. Это положение представляется с помощью прикладного компо
нента graphics_point, поскольку фактический порт может занимать множество различных положений
(объектом на порте может быть физически протяженный объект, например прямоугольник, а не одиноч
ная точка). Прикладной компонент actual_port_position должен указывать положение на границе при
кладного компонента graphics_node для объекта на связанном с ним порте.
Примечание — Даннов правило на языке EXPRESS не формализовано.
24