ГОСТ Р 55346—2012
ENTITY issue_system_assignment.
description : OPTIONAL text_select;
identified_system : system_select;
issue: criticaljssue;
END_ENTITY:
ENTITY justification:
assigned_to:justification_assignment_select;
justification Jext: text_select:
role : label;
END_ENTITY:
ENTITYjustification_relationship:
description: OPTIONAL text_select;
related :justification:
relating:justification;
relationshipjype: label:
END_ENTITY:
ENTITY leaf_function_definition
SUBTYPE OF (general_function_definition}:
definition: textual_specification:
function_type : OPTIONAL label:
predefined : BOOLEAN:
END_ENTITY;
ENTITY lobound_integerJnterval
SUBTYPE OF (integerjnterval);
lowjndex: INTEGER:
END_ENTITY:
ENTITY lobound_real_interval
SUBTYPE OF (realjnterval);
low_closure : BOOLEAN;
lowjndex : REAL;
END_ENTITY;
ENTITY logical_data_type_definition
SUBTYPE OF (elementary_maths_space):
END_ENTITY:
ENTITY maths_space
ABSTRACT SUPERTYPE OF ( ONEOF(elementary_maths_space, finite_space, integerjnterval. realjnterval));
description : OPTIONAL text_select;
id: elementjdentifier;
name : OPTIONAL label;
UNIQUE
UR1: id;
END_ENTITY:
ENTITY model_defined_requirement_definition
SUBTYPE OF (requirement_definition);
assigned_model: system_view:
model_relevance : OPTIONAL text_select:
END_ENTITY;
ENTITY multijevel_view:
description : OPTIONAL text_select;
reference_name : OPTIONAL label:
top_view: graphics_view:
END_ENTITY:
285