ГОСТ Р 55346—2012
formal_port: formal_io_port;
WHERE
WR1: (SELF.formal_port.data :<>: SELF.actual_port.data);
WR2: formal_port.role <> actual_port.role;
WR3: correct_binding(SELF);
END_ENTITY;
C
Определения атрибутов.
Атрибут actual_port: Этот атрибут определяет прикладной компонент actual_io_port в указанном
преобразовании.
Атрибут formal_port: Этот атрибут определяет прикладной компонент formal_io_port в указанном
преобразовании.
Формальные выражения:
WR1:
WR2:
WR3:
4.3.138 Прикладной компонент io_splitJoin
Прикладной компонент io_splitJoin принадлежит к тому же типу, что и прикладной компонент
general_functionality_instance. и характеризует способ разделения элементов прикладного компонен та
functionaljink. передающего композитные данные в несколько прикладных компонентов function-
aljink, которые передают или объединяют первичные данные в прикладной компонент functionaljink,
который передает первичные данные в прикладной компонент functionaljink. передающий композит
ные данные.
Примечание — Судьба этого компонента неясна, поскольку он может быть удален из модели, а функ
циональные характеристики могут быть заменены обыкновенной функцией.
EXPRESS-описание:
*)
ENTITY io_splitJoin
SUBTYPE OF (general JunctionalityJnstance);
END_ENTITY;
C
4.3.139 Прикладной компонент issue_source_relationship
Прикладной компонент issue_source_relationship определяет способ связи элементов, которые
действуют как часть постановки вопроса к прикладному компоненту criticaljssue.
EXPRESS-описание:
*)
ENTITY issue_source_relationship;
description : OPTIONAL text_select;
issue : criticaljssue;
issue_source : issue_source_select;
END_ENTITY;
C
Определения атрибутов.
Атрибут description: Этот атрибут определяет дополнительную информацию, относящуюся к при
кладному компоненту issue_source_relationship.
Атрибут issue: Этот атрибут определяет прикладной компонент criticaljssue. которому присваива
ется атрибут issue_source.
Атрибут issue_source: Этот атрибут определяет элемент, который поднимает проблему.
4.3.140 Прикладной компонент issue_system_assignment
Прикладной компонент issue_system_assignment определяет способ связи прикладного компо
нента criticaljssue с прикладным компонентом system_view или systemjnstance, для которого пробле ма
является значимой.
86