ГОСТ Р 55346—2012
ENTITY infinite_cardinality:
END_ENTITY:
ENTITY initial_state_transition_specification_assignment;
assigned_to :fsm_initial_state_transitk)n;
specification : textual_specification:
END_ENTITY:
ENTITY integer_data_type_definition
SUBTYPE OF (elementary_maths_space):
END_ENTITY:
ENTITY integer_interval
ABSTRACT SUPERTYPE OF (ONEOF(nnite_integer_interval. hibound_integer_interval. loboundjntegerinterval))
SUBTYPE OF (maths_space):
END_ENTITY:
ENTITY io_buffer.
assigned_to:actual_io_port;
continuously_active: BOOLEAN.
synchronisation_semantics: bufTer_synetironisation_enumeratian;
END_ENTITY;
ENTITY io_composition_port
SUBTYPE OF (io_port);
is_alias_for: data_instance:
port_of: data_composition_select;
DERIVE
SELF\io_port. RENAMEDrole : port_data_relation :;
UNIQUE
UR1: port_of. io_port_number;
END_ENTITY:
ENTITY io_port
ABSTRACT SUPERTYPE OF (ONEOF(actual_io_port. control_io_port, formal_io_port. io_composition_port)):
data : datajnstance:
io_port_number: INTEGER;
port type : port_type;
role : port_data_relation;
END_ENTITY;
ENTITY io_port_binding
actual_port: actual_io_port;
formal port: formal_io_port;
WHERE
WR1: (SELF.formal_port.data :<>: SELF.actual_port.data):
WR2: formal_port.rote <> actual_port.role;
WR3: correct_binding(SELF);
END_ENTITY:
ENTITY io_splitJoin
SUBTYPE OF (general_functionality_instance):
END_ENTITY:
ENTITY issue_source_relationship;
description : OPTIONAL text_select;
issue ; criticaljssue;
issue source: issue_source_select;
END_ENTITY:
284