This section specifies the template Certification.
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 Certification template.
The specification comprises the following sections:
- Section Description provides a
description of the template;
- Section Template Block specifies the SysML
Block that represents the template;
- Section Template Properties specifies
the properties, i.e. the SysML Part, Reference and Value properties of the
templates SysML Block;
- Section Template Output Ports
specifies the SysML Output Ports of the templates SysML Block. These bind to the
templates and PLCS PSM objects
instantiated by the Certification template as
described in section Template
Parametric Diagram;
- Section Template Constraints specifies
the constraints on PLCS PSMTemplate objects instantiated by the
Certification template;
- Section Template Parametric
Diagram specifies the templates and PLCS PSMTemplate objects instantiated by the
Certification template;
- Section Instantiated blocks specifies
the templates and PLCS PSMTemplate objects instantiated by the
Certification template and bound to private
parts of the template;
- Section Default instances species the
instances that have been instantiated in the template. These are used to set
the default value of blocks.
- Section Constraint blocks identifies the
constraint blocks that have been specified in this template;
- Section Example data
provides example XML data sets that have been instantiated in accordance
with this template.
NOTE
An explanation of a template and its specification is provided in
the
Template
overview
The Certification template describes how to represent a record created as a result
of a
successful certification process providing proof of complying to or passing certain
criteria.
EXAMPLE
The airworthiness certification of an aircraft.
The SysML Block Definition diagram in Figure 1 shows
how a Part is represented in the PLCS PSM.
Figure 1 - Certification model
No templates have been explicitly defined as being related to the Certification template.
NOTE
The Certification template may make reference
to other templates as part of the Parametric Diagram. These are not listed
here.
Figure 2 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 2 - Template block definition diagram for Certification
The following SysML Part, Reference, and Value properties are defined for this template:
References:
documents [0..*] (Template: OASIS:
Document)
The documents associated with the Certification.
Parts:
classification [0..*] (Template: OASIS:
Classifier)
The classification of the Certification.
The reference data used in Template: OASIS:
Classifier is restricted as follows:
RDL constraint 1:The reference data for:
OASIS:Classifier.class -> ExternalOwlClass.class
is restricted to classes that are subclasses of the following class:
ids [1..*] (Template: OASIS:
Identification)
The collection of identifiers of the Certification.
The reference data used in Template: OASIS:
Identification is restricted as follows:
RDL constraint 1:The reference data for:
OASIS:Identification.role -> ExternalOwlClass.class
is restricted to the following class or a subclass:
names [0..*] (Template: OASIS:
Name)
The names of the Certification.
Values:
certificationStartDate [0..1] (Block: Ap239Ap233Psm:
DateTimeString)
The date that the Warranty started.
The following constraint, normally a uniqueness constraint, is
applicable when instantiating the DateTimeString:
rule.Ap239Ap233Psm.ExternalOwlClass.ur1
Constraint: XSDDATETIMESpecification: (OCL2.0)
self.matches('[0-9]{4}-[0-9]{2}-[0-9]{2}T[0-9]{2}:[0-9]{2}:[0-9]{2}Z')
certificationEndDate [0..1] (Block: Ap239Ap233Psm:
DateTimeString)
The date that the Warranty ended.
The following constraint, normally a uniqueness constraint, is
applicable when instantiating the DateTimeString:
rule.Ap239Ap233Psm.ExternalOwlClass.ur1
Constraint: XSDDATETIMESpecification: (OCL2.0)
self.matches('[0-9]{4}-[0-9]{2}-[0-9]{2}T[0-9]{2}:[0-9]{2}:[0-9]{2}Z')
The following output ports are defined for this template:
There are no constraints defined for this template.
This section describes the template's Parametric Diagrams. Each diagram details
the pattern of templates and PLCS PSMTemplate objects that are required to
represent the template Certification.
The public properties, i.e. those visible in the template's SysML block (See Figure 2) 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 - Certification
Figure 3 - Certification status
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:
certification [1] (Block: Ap239Ap233Psm:
Certification)
Private Part Property:
certificationStartDateAsg [0..1] (Block: Ap239Ap233Psm:
DateTimeAssignment)
Private Part Property:
certificationEndDateAsg [0..1] (Block: Ap239Ap233Psm:
DateTimeAssignment)
Private Part Property:
classifyStartDate [0..1] (Template: OASIS:
Classifier)
Private Part Property:
classifyEndDate [0..1] (Template: OASIS:
Classifier)
Private Reference Property:
classEndDate [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)
Private Reference Property:
classStartDate [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)
Private Part Property:
statusAsg [0..1] (Block: Ap239Ap233Psm:
StateAssignment)
Private Part Property:
classifyPersOrgAsg [0..1] (Template: OASIS:
Classifier)
Private Reference Property:
class [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)
Figure 4 shows the instances that have been instantiated in the template. These are
used to set the default value of blocks.
Figure 4 - Model instance diagram for Certification
The following instances have been created:
There are no constraint blocks defined in this template.
No example data sets have been provided for this Template.