ГОСТ Р 55346—2012
ENTITY finite_real_interval
SUBTYPE OF (realjnterval);
high_closure : BOOLEAN:
highjndex : REAL;
low_dosure : BOOLEAN;
lowjndex : REAL;
END_ENTITY:
ENTITY finite_space
SUBTYPE OF (malhs space);
member; SET[0:?] OF data_type_value_select;
END_ENTITY:
ENTITY formal_data_interaction_port:
data : data_instance;
port_of: functional_state_context;
END_ENTITY;
ENTITY forma!_io_port
SUBTYPE OF~(io_port);
port_of: general_function_definition;
DERIVE
SELF\io_port. RENAMEDrole : port_data_relation : determineformalportrole(SELF);
UNIQUE
UR1; port_of. io_port_number. port_type;
END_ENTITY;
ENTITY formal_physical_port
SUBTYPE OF (physical_port);
port_of: general_physical_definitk>n;
END_ENTITY:
ENTITY formal_port_position
SUBTYPE OF (v«sual_element):
position : graphics_point;
positioned_port; port_position_select;
END_ENTITY;
ENTITY fsm_and_state
SUBTYPE OF (fsm_state);
INVERSE
SELF\fsm_state. RENAMED child_states : SET[2:?] OF fsm_state_composition_relationship FOR parent_state;
END_ENTITY:
ENTITY fsm_command_interaction_relationship:
definedjn: fsm_interaction_select;
interaction_port: state_tunction_interact»on_port;
interaction type: label;
END_ENTITY:
ENTITY fsm_data_interaction_binding;
actual_port: actual_io_port;
formal_port: formal_data_interaction_port;
END_ENTITY:
ENTITY fsm_data_interaction_relationship;
definedjn: fsm_interaction_select;
interaction_port: fofmal_dataJnteraction_port;
interaction_type: label;
END_ENTITY:
279