Template: OASIS:StatePrediction

This section specifies the template StatePrediction.

The specification comprises a SysML Block that represents the template and an associated Parametric Diagram that defines the templates and PLCS PSM objects instantiated by the StatePrediction template.

The specification comprises the following sections:

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

The StatePrediction template describes how to represent the fact that something is predicted to be in a given state and that this assertion is supported by evidence such as a measurement.

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

Figure 1 -  State model

The following templates are related to the StatePrediction template:

NOTE    The StatePrediction 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 PSM 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.

Figure 2 -  Template block definition diagram for StatePrediction

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

References:
definition [1] (Block: Ap239Ap233Psm:ProxyItemSelect)
The reference data that identifies the state definition that the observed state is assessed to be in.
The reference data used in Block: Ap239Ap233Psm:ProxyItemSelect is restricted as follows:
RDL constraint 1:
The reference data for:
ExternalOwlObject.individual
is restricted to individuals that are members of the following class:
predictedBy [0..*] (Block: Ap239Ap233Psm:OrganizationOrPersonInOrganizationSelect)
the person or organization that predicted the state.
Parts:
id [0..1] (Template: OASIS:Identification)
An optional identification of the observed state.
The reference data used in Template: OASIS:Identification is restricted as follows:
RDL constraint 1:
The id must be classified as a state definition identification code.
The reference data for:
OASIS:Identification.role -> ExternalOwlClass.class
is restricted to the following class or a subclass:
description [0..1] (Template: OASIS:Descriptor)
An optional description of the observed state.
Values:
predictionDateTime [0..1] (Block: Ap239Ap233Psm:DateTimeString)
The date or dateTime when the state was predicted.
assertionDateTime [0..1] (Block: Ap239Ap233Psm:DateTimeString)

The date or dateTime when the observed state was asserteded to be a defined state.

NOTE    The assertionDateTime and the predictionDateTime may be the same

The following output ports are defined for this template:

stateDefinition (Block: Ap239Ap233Psm:StateDefinition)
Enables the Block: Ap239Ap233Psm:StateDefinition instantiated by this template to be referenced when the template is used.
stateAssertion (Block: Ap239Ap233Psm:StateAssertion)
Enables the Block: Ap239Ap233Psm:StateAssertion instantiated by this template to be referenced when the template is used.
statePredicted (Block: Ap239Ap233Psm:StatePredicted)
Enables the Block: Ap239Ap233Psm:StatePredicted instantiated by this template to be referenced when the template is used.

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 PSM objects that are required to represent the template StatePrediction.

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 the Parametric Diagram.

PLCS PSM objects are shaded khaki and template shaded light green in a Parametric Diagram.

Figure 2 -  StatePrediction
Figure 3 -  StatePrediction PredictedBy

The following blocks are instantiated by this template and bound to private parts of the template as shown in the Parametric Diagram section:

Private Reference Property:classDateActualAssessment [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:datePredictClassifier [1] (Template: OASIS:Classifier)
Private Part Property:predictionDateAsg [0..1] (Block: Ap239Ap233Psm:DateTimeAssignment)
Private Part Property:statePredicted [1] (Block: Ap239Ap233Psm:StatePredicted)
Private Part Property:stateAssertion [1] (Block: Ap239Ap233Psm:StateAssertion)
Private Part Property:assertionDateAsg [0..1] (Block: Ap239Ap233Psm:DateTimeAssignment)
Private Part Property:dateAssessClassifier [1] (Template: OASIS:Classifier)
Private Reference Property:stateDefinition [1] (Block: Ap239Ap233Psm:StateDefinition)

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

rule.Ap239Ap233Psm.ExternalOwlClass.ur1
Constraint: UR1
Specification: (OCL2.0)
StateDefinition::allInstances()->isUnique(definition)
Private Part Property:persOrgAsgn [0..*] (Block: Ap239Ap233Psm:OrganizationOrPersonInOrganizationAssignment)
Private Part Property:predictingOrg [0..*] (Template: OASIS:Classifier)
Private Reference Property:classPersOrgAsgActualAsserter [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)

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

Instance diagram
Figure 4 -  Model instance diagram for StatePrediction

The following instances have been created:

There are no constraint blocks defined in this template.

No example data sets have been provided for this DEX.