ГОСТ Р 55346—2012
TYPE specification_element_select = SELECT WITH (change.report, critical.issue, criticalJssueJmpact. instance,
definition.select);
END_TYPE;
TYPE system_select = SELECT WITH (system_instance. system.view);
END_TYPE:
TYPE text = STRING:
END_TYPE:
TYPE text_elements =SELECT WITH (control_characters. text):
END_TYPE:
TYPE text_select =SELECT WITH (text. textual_paragraph. textual.section. textual_table):
END_TYPE:
TYPE timing_type = ENUMERATION OF
(best.case.nominal.case.worst.case);
END_TYPE:
TYPE trigger_type_enumeration = ENUMERATION OF
(flank.level);
END_TYPE:
TYPE verification_allocation_select = SELECT WITH ((unctionality_instance_reference. physical.instance.refer-
ence. realized_system, requirementjnstance.systemjnstance);
END_TYPE:
ENTITY abstract.data.type.definition
SUBTYPE OF (user.defmed.data.type.definition);
END_ENTITY:
ENTITY abstract_data_type_member.
child: data_instance:
parent: abstract_data_type_derinition:
END_ENTITY:
ENTITY actual_io_port
SUBTYPE OF (io.port):
port.of: general.functionality.instance;
DERIVE
SELF\io_port. RENAMEDrole : port.data.relation : determineformalportrole(SELF):
INVERSE
assigned.buffer: SET[0:1] OF io.buffer FOR assigned.to;
UNIQUE
UR1: port.of. io_port_number, port.type;
END.ENTITY:
ENTITY actual_physical_port
SUBTYPE OF (physrcal.port);
port.of: physical.instance:
END.ENTITY;
ENTITY actual_port_position
SUBTYPE OF (visual.element);
assigned.to: graphics.node;
position : graphics_point;
positioned port: port_position_select;
END.ENTITY;
269