ГОСТ Р 55346—2012
id: etementjdentifier;
name : OPTIONAL label;
INVERSE
formal_port : SET[0:?J OF formal_physical_port FOR port_of;
UNIQUE
UR1; id;
END_ENTITY:
ENTITY generic_state_context
ABSTRACT SUPERTYPE ;
associated_version ; ronfiguration_element_version;
description : OPTIONAL text_select;
id : etementjdentifier;
name ; OPTIONAL label;
original_representation : label;
state_machine_model; label;
END_ENTITY;
ENTITY graphicsjink
SUBTYPE OF (visual_element);
associated_with: link_select;
point; LIST[2;?] OF graphics_point;
END_ENTITY:
ENTITY graphics_node
SUBTYPE OF (visual_element);
associated_with : node_select;
bottom_right; graphics_point;
topjeft; graphics_point;
END_ENTITY;
ENTITY graphics_point;
x_coordinate ; REAL;
y_coordinate ; REAL;
END_ENTITY;
ENTITY graphics_view;
definitionjor: definition_select.
INVERSE
coordinate_definition : SET[0:?] OF coordinate Jranslation_inforrnation FOR transformationjor;
root_view; SET[0;1J OF multi_level_view FOR top_view;
view_etement; SET[1;?J OF visual_element FOR view;
END_ENTITY;
ENTITY hiboundjntegerjnterval
SUBTYPE OF (integerjnterval);
highjndex: INTEGER;
END_ENTITY;
ENTITY hibound_real_interval
SUBTYPE OF (realjnterval);
high_cIosure ; BOOLEAN;
highjndex ; REAL;
END_ENTITY;
ENTITY implied_externalJnteraction;
associated_requirement; requirementjrvstance;
implied_extemal_element: extemal_element_select;
INVERSE
assooated_data ; SET[0:1] OF datajransfer FOR transfer;
END_ENTITY;
283