ГОСТ Р 55346—2012
requirement: requirement_definition;
END_ENTITY;
(*A Requirement_system_view_assignment is the mechanism for assigning a Requirement_instance to a System_view
indicating that the requirement applies to the Systemj/iew. *)
ENTITY requirement_system_view_assignmenl
SUPERTYPE OF (rootjequirement_system_view_assignment);
(* The description specifies additional information about the Requirement_system_view_assignment. *)
description : OPTIONAL text_select;
(* The requirement specifies the Requirementjnstance in the relationship. *)
requirement: requirementjnstance;
(* The system_view specifies the System_view in the relationship. •)
system_view ; system_view;
END_ENTITY:
(*A Requirement_traces_tojequirement_relationship is a relationship between two Requirementjnstance objects
assigned to different Partial_system_view objects establishing a traceability link between the two requirements. <note
number=’r>The relationship is valid fora particular System_view only.</note> <note number=‘2">This relationship
is motivated by the need to maintain traceability between different System_view objects of a system. Furthermore it is
implied that the source and traced requirements are not assigned to the same Systemj/iew.</note> *)
ENTITY requirement_tracesJo_requirement_relationship;
(* The motivation specifies additional textual information about the nature of the Requirement tracesJo_requirement_
relationship. *)
motivation ; OPTIONAL text_select;
(* The sourcejequirement specifies the first Requirementjnstance in the relationship. ’)
sourcejequirement; requirementjnstance;
(* The tracedjoquirement specifies the second Requirementjnstance in the relationship. *)
tracedjequirement; requirementjnstance;
(* The va!id_context specifies the System_viewfor which the RequirementJracesJo_requirement_relationship is valid.
*)
valid_context: system_definition;
END_ENTITY;
(*A Rootjequirement_system_view_assignment is a type of Requirement_system_view_assignment and the mecha
nism for assigning a Requirementjnstance which is the root of a requirement composition structure to a System_view.
For example, the assigned requirement shall not be the child in a requirement composition structure.<p>The index attri
bute defines the first element in the presentation index for the requirement in the particular system.</p> *)
ENTITY rootjequirement_system_view_assignment
SUBTYPE OF (requirement_system_view_assignment);
(* The index specifies an identifier for presentation of the Requirementjnstance identified by the attribute require
ment inherited from Requirement_system_view_assignment in the context of the Systemjview defined by the sys-
tem_view attribute. <example number=’28">The index for a particular For example, the assigned requirement shall not
be the child in a requirement composition structure may be 5, indicating that the Requirementjnstance identified by
the requirement attribute (inherited from Requirement_system_view_assignment) is the fifth requirement for the Sys-
tem_view identified by the system_view attribute (likewise inherited from Requirement_system_view_assignment).</
example> <note>The index is the means for representing the identifier often used to identify a requirement in require
ment management tools. In PAS 20542. this idenfier is built up stepwise one position at a time for each level in the
composition. For example, if numerical indexing is used and a particular childjequirement is the third in the composi
tion defined by the system_view attribute then the index attribute shall be *3’.</note> <p>Further decomposition of the
requirement shall add information to the index one position at a time. For example, if the requirement is decomposed
into 4 sub-requirements then these may be indexed 1..4 using the index attribute of the Requirement j:ompositionje-
lationship.</p><p>The index of a requirement in a composition structure is reconstructed by concatinating the index
attributes of each Requirement_compositionjelationship encountered while traversing a decomposed requirement
from the topmost item to a leaf requirement.</p> *)
index : label;
UNIQUE
UR1: index. SELF\requiremeni_system_view_assignment.system_view;
END_ENTITY:
(*A Selection_package is a type of Package with the discriminator that the number of elements that may be selected
from the Package for a particular system is constrained. <note number=*1’>The attribute selectionJype specifies
379