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