ГОСТ Р 55346—2012
requirement: requirementjnstance;
system_vie\v : system_view;
END_ENTITY:
ENTITY requirement_traces_to_requirement_relationship:
motivation : OPTIONAL text_select;
source_requirement: requirement_instance;
traced_requirement: requirementjnstance;
valid_context; system_definition;
END_ENTITY;
ENTITY root_requirement_system_view_assignment
SUBTYPE OF (requirement_system_view_assignment);
index : label;
UNIQUE
UR1: index. system_view:
END_ENTITY;
ENTITY selection_package
SUBTYPE OF (package);
selection Jype; label:
END_ENTITY:
ENTITY single_cardinality:
defined_value: single_cardinality_select;
END_ENTITY:
ENTITY specific_requirement_allocation_relationship
SUBTYPE OF (requirement_allocation_relationship);
specific_element: specific_element_select;
WHERE
WR1: SYSTEMS_ENGINEERINGJOATA_REPRESENTATION.FUNCTIONALITYJNSTANCE_REFERENCE-IN
TYPEOF(SELF\requirement_allocation_relationship.relat»onJo):
END_ENTITY;
ENTITY specification_state_assignment:
assignedjo; fsm_state;
specification: textual_specification:
END_ENTITY:
ENTITY start_order
SUBTYPE OF (work_order);
start_order_type: label:
END_ENTITY;
ENTITY start_request
SUBTYPE OF (work_request);
request_type: label;
END_ENTITY:
ENTITY state_context_relationship.
in_context: generic_state_context:
state : fsm_generic_state;
END_ENTITY:
ENTITY state_functionjnteraction_port;
port_of: functional_state_context:
END_ENTITY:
ENTITY state_machine_functional_behaviour_model
SUBTYPE OF (functional_behaviour_model);
300