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 PSMTemplate objects
instantiated by the StatePrediction 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 StatePrediction template as
described in section Template
Parametric Diagram;
- Section Template Constraints specifies
the constraints on PLCS PSMTemplate objects instantiated by the
StatePrediction template;
- Section Template Parametric
Diagram specifies the templates and PLCS PSMTemplate objects instantiated by the
StatePrediction template;
- Section Instantiated blocks specifies
the templates and PLCS PSMTemplate objects instantiated by the
StatePrediction 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
overviewThe 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 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 StatePrediction
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')
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 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 a Parametric Diagram.
PLCS PSM
objects are shaded khaki and
Templates
are 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: ur1Specification: (OCL2.0)
ExternalOwlClass::allInstances()->isUnique(class)
Private Part Property:
datePredictClassifier [1] (Template: OASIS:
Classifier)
Private Part Property:
statePredicted [1] (Block: Ap239Ap233Psm:
StatePredicted)
Private Part Property:
stateAssertion [1] (Block: Ap239Ap233Psm:
StateAssertion)
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: UR1Specification: (OCL2.0)
StateDefinition::allInstances()->isUnique(definition)
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: 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 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 Template.