ГОСТ Р 55346—2012
high_closure : BOOLEAN;
highjndex; REAL;
END_ENTITY;
C
Определения атрибутов.
Атрибут high_ctosure: Этот атрибут определяет, включен ли он в прикладной компонент maths_
space. Состояние TRUE соответствует его включению, а состояние FALSE — невключению.
Атрибут highjndex: Этот атрибут определяет максимальное значение, которое может принимать
прикладной компонент datajnstance данного типа.
4.3.129 Прикладной компонент implied_extemal_interaction
Прикладной компонент implied_external_interaction определяет взаимосвязь между прикладными
компонентами requirementjnstance и functionjnstance или physicaljnstance. которая предполагает на
личие функционального или физического элемента в требовании.
EXPRESS-описание:
*)
ENTITY implied_externalJnteraction;
associated_requirement: requirementjnstance;
implied extemal_element; external_element_select;
INVERSE
associated_data ; SET[0:1] OF datajransfer FOR transfer;
END_ENTITY;
r
Определения атрибутов.
Атрибут associated_requirement; Этот атрибут определяет прикладной компонент requirementjn
stance в указанной взаимосвязи.
Атрибут implied_external_element: Этот атрибут определяет прикладной компонент configuration_
element, выражаемый в требовании.
Атрибут associated_data: Этот атрибут определяет прикладной компонент implied_external Jnterac-
tion. для которого действующим является прикладной компонент datajransfer.
4.3.130 Прикладной компонент infinite_cardinality
Прикладной компонент infinite_cardinality является представлением положительного бесконечно
большого действительного числа.
EXPRESS-описание:
*)
ENTITY infinite cardinality;
END_ENTITY;
Г
4.3.131 Прикладной компонент initial_statejransition_specification_assignment
Прикладной компонент initial_stateJransition_specification_assignment определяет способ связи
прикладного компонента textual_specification. определяющего операции, которые будут выполняться
при активации прикладного компонента fsmJnitial_stateJransition.
EXPRESS-описание:
*)
ENTITY initial_state_transition_specification_assignment;
assignedJ o : fsmJnitial_statejransition;
specification : textual_specification;
END_ENTITY;
Г
Определения атрибутов:
Атрибут assigned_to: Этот атрибут определяет прикладной компонент fsmjnitial_statejransitk>n, с
которым связана спецификация.
Атрибут specification: Этот атрибут определяет прикладной компонент textual_specification. при
сваиваемый с помощью прикладного компонента initial_stateJransition_specification_assignment.
82