UML14 — class EnumerationLiteral issue

Summary: I think that the class EnumerationLiteral should be an heir of DataValue
(this inheritance relationship is currently missing).

Once this is fixed, the association between EnumerationLiteral and Enumeration
should be seen as a refinement of the association between DataValue and DataType
(itself implicitly inherited from the association between Instance and classifier),
with a supplementary OCL constraint in the case of EnumerationLiteral,
namely that self.classifier.oclIsKindOf(Enumeration)
(to ensure covariance, as is done for DataValue wrt DataType).

BTW, shouldn"t there be a symetric OCL constraint in DataType
specifying that its Instances are all DataValues,
and similarly in Enumeration specifying that its instances are all EnumerationLiterals ?

No Data Available