Template: Interval

This section specifies the template Interval.

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 Interval 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 Interval template as described in section Template Parametric Diagram;
Section Template Constraints specifies the constraints on PLCS PSMTemplate objects instantiated by the Interval template;
Section Template Parametric Diagram specifies the templates and PLCS PSMTemplate objects instantiated by the Interval template;
Section Instantiated blocks specifies the templates and PLCS PSMTemplate objects instantiated by the Interval 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 overview

Description

The Interval template describes how to represent the recommended interval between two consecutive executions of a specific TaskMethod for the same ItemOfSupplyIndividual.

Related Templates

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

NOTE The Interval template may make reference to other templates as part of the Parametric Diagram. These are not listed here.

Template Block

Figure 1 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 1 - Template block definition diagram for Interval

Template Properties

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

References:

unit [1] (Block: Ap239Ap233Psm:ExternalUnit)

The external unit (OWL individual) used to measure the interval

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

rule.Ap239Ap233Psm.ExternalOwlClass.ur1

Constraint: UR1

Specification: (OCL2.0)

ExternalUnit::allInstances()->isUnique(definition)

operatingMode [0..1] (Template: SwedishDefence:OperatingMode)

The OperatingMode for which the interval is valid.

operationalProperty [1] (Template: SwedishDefence:OperationalPropertyDefinition)

Reference to the operational property definition for the interval.

Parts:

isRepeating [0..1] (Boolean)

Whether the interval is a repeating interval.

Values:

upperLimit [1] (Real)

The maximum value of the initial interval. Use the intervalValue if unknown.

lowerLimit [1] (Real)

The lowest value of the interval. Use the intervalValue if unknown.

intervalValue [1] (Real)

The interval.

Template Output Ports

The following output ports are defined for this template:

PSMvalueWithTolerances (Block: Ap239Ap233Psm:ValueWithTolerances)

Enables the Block: Ap239Ap233Psm:ValueWithTolerances instantiated by this template to be referenced when the template is used.

PSMCondition (Block: Ap239Ap233Psm:Condition)

Enables the Block: Ap239Ap233Psm:Condition instantiated by this template to be referenced when the template is used.

Template constraints

The following constraints are defined for this template:

Constraint: validUnit

Specification: (OCL2.0)

operationalProperty.allowedUnits->include(unit)

ADD DESCRIPTION HERE!

Template Parametric diagram

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

The public properties, i.e. those visible in the template's SysML block (See Figure 1) 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 - Interval

Instantiated Blocks

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:repeatIntervalParams [1] (Block: Ap239Ap233Psm:ValueWithTolerances)

Private Part Property:select [1] ( Constraint Block: SwedishDefence:Interval:ClassSelect)

Private Reference Property:stateCondition [0..1] (Block: Ap239Ap233Psm:Condition)

Private Part Property:stateConditionParam [0..1] (Block: Ap239Ap233Psm:ConditionParameter)

Private Part Property:classification [0..1] (Block: Ap239Ap233Psm:Classification)

Private Reference Property:classRepeatInterval [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:stateConditionAsg [0..1] (Block: Ap239Ap233Psm:PropertyValueAssignment)

Default instances

There are no instances that have been instantiated in this template.

Constraint Blocks

Figure 3 shows the constraint blocks that have been created in the template.

Constraint Blocks are typically used to combine blocks into a collection that can then be bound to a property. For example, combining a set of identifications that can then be bound to property of type Identification.

Figure 3 - Constraint block diagram for Interval

The following constraint blocks have been created:

Constraint: ClassSelect

Specification: (OCL2.0)

selected = if selector then trueClass else falseClass endif

ADD DESCRIPTION HERE!

Example data

No example data sets have been provided for this Template.