ГОСТ Р 55346—2012
INVERSE
behaviour_constraint: SET[1:?) OF fsm_model FOR behaviour_model;
END_ENTITY:
ENTITY state_transition_specification_assignment;
assignedjo :fsm_slate_transition;
specification : textual_specification:
END_ENTITY:
ENTITY string_data_type_definition
SUBTYPE OF (elementary_maths_space):
size: OPTIONAL finitejntegerjnterval;
END_ENTITY;
ENTITY structured_requirement_definition
SUBTYPE OF (requirement_definition);
required_characteristic: property_value;
END_ENTITY:
ENTITY system_composition_relationship.
component_system : systemjnstance:
decomposed_system : system_definition;
description : OPTIONAL text select;
relationshipjype : label:
END_ENTITY:
ENTITY system_definition
SUBTYPE OF (system_view):
life_cycle_stage: label;
INVERSE
assigned_to_system : SET[0:?J OF partial_system_view_relationship FOR system_definitk>n_context;
scenarios_for_system : SET[0:?] OF system_view_assignment FOR system_specification:
END_ENTITY;
ENTITY system_functional_configuration;
functional_configuration: functional_reference_configuration:
system : contextjunction_relationship;
END_ENTITY:
ENTITY systemjnstance:
definition : system_defmition;
description : OPTIONAL text_select;
id: etementjdentifier:
name : label;
UNIQUE
UR1: definition, id:
END_ENTITY:
ENTITY systemJnstance_relationship;
description: text_select;
name: label:
INVERSE
connected_port: SET[2:?] OF system_instance_relationship_port FOR defined_relationship;
END_ENTITY;
ENTITY systemJnstance_relationship_port;
cardinality: cardinality_association_select;
defined_relat»onship:systemJnstance_relationship:
port_of: systemjnstance:
END_ENTITY:
301