The IndividualCode template describes how to represent a Code that is to be used
as a
proxy.
NOTE
The use of Codes is described in
Codes.
The SysML Block Definition diagram in Figure 1 shows
how classification is represented in the PLCS PSM.
The following SysML Part, Reference, and Value properties are defined for this template:
References:
memberOf [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)
The reference data used in Block: Ap239Ap233Psm:
ExternalOwlClass is restricted as follows:
RDL constraint 1:The reference data for:
OASIS:ClassCode.subClassOf -> ExternalOwlClass.class
is restricted to the following class or a subclass:
typeOfCode [1] (Block: Ap239Ap233Psm:
ExternalOwlClass)
The OWL class of which the individual represented by code is a
member.
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)
The reference data used in Block: Ap239Ap233Psm:
ExternalOwlClass is restricted as follows:
RDL constraint 1:The code identifier.
The reference data for:
OASIS:ClassCode.typeOfCode -> ExternalOwlClass.class
is restricted to the following class or a subclass:
Values: