ГОСТ Р 55346—2012
EXPRESS-описание:
*)
ENTITY finite_real_interval
SUBTYPE OF (realjnterval);
high_closure : BOOLEAN;
highjndex: REAL,
low_closure ; BOOLEAN;
lowjndex; REAL;
END_ENTITY;
C
Определения атрибутов;
Атрибут high_closure: Этот атрибут определяет, включается ли атрибут highjndex в прикладной
компонент maths_space. При наличии состояния TRUE оно включается в этот компонент; в противном
случае оно исключается из него.
Атрибут highjndex: Этот атрибут определяет максимальное значение, которое может принимать
прикладной компонент datajnstance данного типа.
Атрибут low_closure: Этот атрибут определяет, включается ли атрибут lowjndex в прикладной
компонент maths_space. При наличии состояния TRUE оно включается в этот компонент: в противном
случае оно исключается из него.
Атрибут lowjndex: Этот атрибут определяет максимальное значение, которое может принимать
прикладной компонент datajnstance данного типа.
4.3.85 Прикладной компонент finite_space
Прикладной компонент finite_space принадлежит к тому же типу, что и прикладной компонент
maths_space и содержит точный набор значений.
Примечание — Прикладные компоненты elementary_maths_space. которые являются конечными (как.
например, прикладные компоненты binary_dataJype_definition и logtcal_dataJype_defimlion). должны использо
ваться. имея приоритет перед прикладными компонентами fmite_space.
EXPRESS-описание:
*)
ENTITY finite_space
SUBTYPE OF (maths_space);
member: SET[0:?] OF data Jype_value_select:
END_ENTITY;
Г
Определение атрибута:
Атрибут member: Этот атрибут определяет множество элементов, формирующих прикладной ком
понент fmite_space.
4.3.86 Прикладной компонент formal_data_interaction_port
Прикладной компонент formal_data_interaction_port является элементом интерфейса кприкладно
му компоненту functional_state_context.
EXPRESS-описание:
‘>
ENTITY formal_dataJnteraction_port;
data: datajnstance;
port_of:functional_state_context;
END_ENTITY;
(*
Определения атрибутов.
Атрибут data: Этот атрибут определяет прикладной компонент datajnstance в интерфейсе.
Атрибут port_of: Этот атрибут определяет прикладной компонент functional_state_context. для ко
торого прикладной компонент formal_dataJnteraction_port является частью интерфейса.
63