Template:- OASIS:StatePrediction

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.

Template Properties

The following SysML 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.

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')
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 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')