Template: OASIS:Warranty

This section specifies the template Warranty.

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 Warranty template.

The specification comprises the following sections:

NOTE    An explanation of a template and its specification is provided in the Template overview

The Warranty template describes how to represent a Warranty. A Warranty is represented by a Contract assigned to the Item under warranty.

The validity of the Warranty is represented by its status.

The SysML Block Definition diagram in Figure 1 shows how a Contract is represented in the PLCS PSM.

Figure 1 -  Contract model

No templates have been explicitly defined as being related to the Warranty template.

NOTE    The Warranty 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 constraints shown on the template's SysML Block are described in the template constraints section.

The SysML Parametric diagrams for the template Block are shown in template parametric diagram section.

Figure 2 -  Template block definition diagram for Warranty

The following SysML Part, Reference, and Value properties are defined for this template:

References:
warrantingOrganization [0..1] (Template: OASIS:Organization)
The organization granting the Warranty.
status [0..1] (Template: OASIS:StateAssertion)
The status of the Warranty.
warrantyDocuments [0..*] (Template: OASIS:Document)
The documents associated with the Warranty
warrantedItem [0..1] (Block: Ap239Ap233Psm:ContractAssignmentSelect)
The item that is under warranty.
Parts:
ids [1..*] (Template: OASIS:Identification)
The collection of identifiers of the Warranty.
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:
descriptions [0..*] (Template: OASIS:Descriptor)
The descriptions of the Warranty.
classifications [1..*] (Template: OASIS:Classifier)
The classification of the Warranty.
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:
names [0..*] (Template: OASIS:Name)
The collection of names of the Warranty.
Values:
warrantyStart [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: XSDDATETIME
Specification: (OCL2.0)
self.matches('[0-9]{4}-[0-9]{2}-[0-9]{2}T[0-9]{2}:[0-9]{2}:[0-9]{2}Z')
warrantyEnd [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: XSDDATETIME
Specification: (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:

oasisContract (Template: OASIS:Contract)
Enables the Template: OASIS:Contract instantiated by this template to be referenced when the template is used.
psmContract (Block: Ap239Ap233Psm:Contract)
Enables the Block: Ap239Ap233Psm:Contract instantiated by this template to be referenced when the template is used.
warrantyAssignment (Block: Ap239Ap233Psm:ContractAssignment)
Enables the Block: Ap239Ap233Psm:ContractAssignment instantiated by this template to be referenced when the template is used.

The following constraints are defined for this template:

Constraint: restrictClassification
Specification: (English)
Classifications are restricted to or subclasses of: http://docs.oasis-open.org/plcs/ns/plcslib/v1.0/data/contexts/OASIS/refdata/plcs-rdl#Warranty

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 Warranty.

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 3 -  Parametric diagram for Warranty

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:warrantyContract [1] (Template: OASIS:Contract)
Private Part Property:statusAsgn [0..1] (Block: Ap239Ap233Psm:StateAssignment)
Private Part Property:warrantyAssignment [0..1] (Block: Ap239Ap233Psm:ContractAssignment)
Private Reference Property:classWarrantyAssignment [0..1] (Block: Ap239Ap233Psm:ExternalOwlClass)

The following constraint, normally a uniqueness constraint, is applicable when instantiating the ExternalOwlClass:

rule.Ap239Ap233Psm.ExternalOwlClass.ur1
Constraint: ur1
Specification: (OCL2.0)
ExternalOwlClass::allInstances()->isUnique(class)
Private Part Property:warrantyAssignmentClassifier [0..1] (Template: OASIS:Classifier)

Figure 3 shows the instances that have been instantiated in the template. These are used to set the default value of blocks.

Instance diagram
Figure 3 -  Model instance diagram for Warranty

The following instances have been created:

classWarrantyAssignment instance of Block: Ap239Ap233Psm:ExternalOwlClass.

The role of the warranty assignment.

There are no constraint blocks defined in this template.

No example data sets have been provided for this Template.