This section specifies the template Requirement.
The specification comprises a SysML Block that represents the template and an
associated Parametric Diagram that defines the templates and
PLCS PSMTemplate objects
instantiated by the Requirement template.
The specification comprises the following sections:
NOTE
An explanation of a template and its specification is provided in
the
Template
overviewCollects all data linked to a single requirement.
No templates have been explicitly defined as being related to the Requirement template.
NOTE
The Requirement template may make reference
to other templates as part of the Parametric Diagram. These are not listed
here.
Figure 1 shows the SysML Block that represents the template. The Block is an abstraction
representing a pattern of templates and PLCS PSMTemplate objects.
The properties, i.e. the SysML Block Part, Reference and Value properties, of the
template's SysML Block are described in the Template
Properties section.
The output ports shown on the template's SysML Block are described in the template output ports section.
The SysML Parametric diagrams for the template Block are shown in template parametric diagram section.
Figure 1 - Template block definition diagram for Requirement
The following SysML Part, Reference, and Value properties are defined for this template:
References:
requirementContext [0..1] (Template: SwedishDefence:
RequirementBreakdown)
A reference to the requirement specification of which the requirement is a part. The
reference is made by a combination of the requirements specification identifier and
the requirements specification version identifier.
requirementParent [0..1] ()
A reference (requirement id and version) to a parent requirement. The overarching
requirement usually constitutes a requirement area, but in some cases can also be
an actual requirement.
requirementAssignment [0..*] ()
Relationship to requirement assignment selects that the items that the requirement
is assigned to.
tracedFrom [0..*] ()
Relationship to requirements that this requirement is traced from.
supplier [0..1] (Template: SwedishDefence:
ExternalActor)
Relationship to an external actor that provides the items that fulfil the requirement.
Parts:
requirementId [1] (Template: OASIS:
Identification)
Identifier for a requirement.
The reference data used in Template: OASIS:
Identification is restricted as follows:
RDL constraint 1:requirementId constraint
The reference data for:
OASIS:Identification.role -> ExternalOwlClass.class
is restricted to the following class or a subclass:
requirementVersionId [0..1] (Template: OASIS:
Identification)
Identifier for a version of a requirement.
The reference data used in Template: OASIS:
Identification is restricted as follows:
RDL constraint 1:requirementVersionId constraint
The reference data for:
OASIS:Identification.role -> ExternalOwlClass.class
is restricted to the following class or a subclass:
requirementStatement [1] (Template: OASIS:
Descriptor)
The statement that clarifies what the supplier must fulfil, and what the verification
is done against.
The reference data used in Template: OASIS:
Descriptor is restricted as follows:
RDL constraint 1:requirementText constraint
The reference data for:
OASIS:Descriptor.classifiedAs -> ExternalOwlClass.class
is restricted to the following class or a subclass:
requirementSource [0..1] (Template: OASIS:
Descriptor)
Information about the origin of the claim. Can e.g., be a section of law.
The reference data used in Template: OASIS:
Descriptor is restricted as follows:
RDL constraint 1:requirementSource constraint
The reference data for:
OASIS:Descriptor.classifiedAs -> ExternalOwlClass.class
is restricted to the following class or a subclass:
verificationResult [0..1] (Template: OASIS:
Descriptor)
Description of the verification of the requirement.
The reference data used in Template: OASIS:
Descriptor is restricted as follows:
RDL constraint 1:verificationResult constraint
The reference data for:
OASIS:Descriptor.classifiedAs -> ExternalOwlClass.class
is restricted to the following class or a subclass:
validationResult [0..1] (Template: OASIS:
Descriptor)
Description of the validation of the requirement.
The reference data used in Template: OASIS:
Descriptor is restricted as follows:
RDL constraint 1:validationResult constraint
The reference data for:
OASIS:Descriptor.classifiedAs -> ExternalOwlClass.class
is restricted to the following class or a subclass:
acceptanceCriteria [0..1] (Template: OASIS:
Descriptor)
Description of the acceptance criteria of the requirement.
The reference data used in Template: OASIS:
Descriptor is restricted as follows:
RDL constraint 1:acceptanceCriteria constraint
The reference data for:
OASIS:Descriptor.classifiedAs -> ExternalOwlClass.class
is restricted to the following class or a subclass:
requirementPriority [0..1] (Template: OASIS:
Descriptor)
An indicator to weight the relative importance of the requirement.
The reference data used in Template: OASIS:
Descriptor is restricted as follows:
RDL constraint 1:requirementPriority constraint
The reference data for:
OASIS:Descriptor.classifiedAs -> ExternalOwlClass.class
is restricted to the following class or a subclass:
requirementBinding [1] (ValueType:
ExternalOwlClass)
Indicates whether the current requirement must be met (a must requirement) or if it
is a requirement that it is desirable that the supplier fulfils (a should requirement).
The reference data used is restricted to the following set:
verificationMethod [0..1] (ValueType:
ExternalOwlClass)
Specification of the method to be used when the requirement is verified, usually by
the supplier.
The reference data used is restricted to the following set:
validationMethod [0..1] (ValueType:
ExternalOwlClass)
Type of the validation method of the requirement.
The reference data used is restricted to the following set:
requirementArea [0..1] (Template: OASIS:
Descriptor)
Information about the business domain or subject area.
The reference data used in Template: OASIS:
Descriptor is restricted as follows:
RDL constraint 1:requirementArea constraint
The reference data for:
OASIS:Descriptor.classifiedAs -> ExternalOwlClass.class
is restricted to the following class or a subclass:
requirementIntention [0..1] (Template: OASIS:
Descriptor)
A description that clarifies the claimant's motive and intended purpose of the current
claim. The purpose is to facilitate the supplier's understanding of the requirement.
The reference data used in Template: OASIS:
Descriptor is restricted as follows:
RDL constraint 1:requirementIntention constraint
The reference data for:
OASIS:Descriptor.classifiedAs -> ExternalOwlClass.class
is restricted to the following class or a subclass:
supplierInterpretation [0..1] (Template: OASIS:
Descriptor)
A formulation that constitutes the supplier's interpretation of the current requirement
and how the relevant party in principle intends to handle the requirement.
The reference data used in Template: OASIS:
Descriptor is restricted as follows:
RDL constraint 1:supplierInterpretation constraint
The reference data for:
OASIS:Descriptor.classifiedAs -> ExternalOwlClass.class
is restricted to the following class or a subclass:
The following output ports are defined for this template:
There are no constraints defined for this template.
This section describes the template's Parametric Diagram. The diagram details
the pattern of templates and PLCS PSMTemplate objects that are required to
represent the template Requirement.
The public properties, i.e. those visible in the template's SysML block (See Figure 1) are shown on the left of a
Parametric Diagram.
NOTE
Restrictions on the reference data to be set on the public properties is
defined in the
Template Properties section.
The output ports are shown on the right of a Parametric Diagram.
PLCS PSM
objects are shaded khaki and
Templates
are shaded light green in a Parametric Diagram.
Figure 2 - Requirement
The following blocks are instantiated by this template and bound to private parts
of the
template as shown in the Parametric Diagram
section:
Private Part Property:
booleanClass [1] (Template: OASIS:
Classifier)
Private Part Property:
requirementCategoryClass [0..1] (Template: OASIS:
Classifier)
Private Part Property:
requirement [1] (Block: Ap239Ap233Psm:
Requirement)
Private Part Property:
combineDescriptors1 [1] (Constraint Block: OASIS:Descriptor:
CombineDescriptions)
Private Part Property:
combineDescriptors2 [1] (Constraint Block: OASIS:Descriptor:
CombineDescriptions)
Private Part Property:
validationMethodClass [0..1] (Template: OASIS:
Classifier)
Private Part Property:
verificationMethodClass [0..1] (Template: OASIS:
Classifier)
Private Part Property:
supplierFulfilmentGradeClass [0..1] (Template: OASIS:
Classifier)
Private Part Property:
stateAssertion [0..1] (Template: OASIS:
StateAssertion)
Private Part Property:
stateAssignment [0..1] (Block: Ap239Ap233Psm:
StateAssignment)
Private Part Property:
combineDescriptors3 [1] (Constraint Block: OASIS:Descriptor:
CombineDescriptions)
Private Part Property:
descriptiveDocClass [0..*] (Template: OASIS:
Classifier)
Private Reference Property:
classDescriptiveDocumentAssignment [0..1] (Block: Ap239Ap233Psm:
ExternalOwlClass)
The following constraint, normally a uniqueness constraint, is
applicable when instantiating the ExternalOwlClass:
rule.Ap239Ap233Psm.ExternalOwlClass.ur1
Constraint: ur1Specification: (OCL2.0)
ExternalOwlClass::allInstances()->isUnique(class)
There are no instances that have been instantiated in this template.
There are no constraint blocks defined in this template.
No example data sets have been provided for this Template.
