Template:- OASIS:EffectivityAssertion

This template describes how to represent the fact that a relationship or object is asserted to have the specified effectivity.

The specified effectivity is provided by the sameAs parameter that must be a member of the class http://docs.oasis-open.org/plcs/ns/plcslib/v1.0/data/plcs/plcs-psm/refdata/plcs-psm#Effectivity.

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

Template Properties

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

References:
sameAs [1] (Block: Ap239Ap233Psm:ExternalOwlObject)
The reference to the member that identifies this effectivity.

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

rule.Ap239Ap233Psm.ExternalOwlClass.ur1
Constraint: ur1
Specification: (OCL2.0)
ExternalOwlObject::allInstances()->isUnique(individual)
The reference data used in Block: Ap239Ap233Psm:ExternalOwlObject is restricted as follows:
RDL constraint 1:
The effectivity asserted must be defined as a member of the OWL class Effectivity
The reference data for:
OASIS:EffectivityAssertion.sameAs -> ExternalOwlObject.individual
is restricted to individuals that are members of the following class:
Parts:
assignedTo [1..*] (Block: Ap239Ap233Psm:EffectivityAssignmentSelect)
The items that are asserted to have this effectivity.