UML22 — EnumerationLiteral should constrain InstanceSpecification

EnumerationLiteral currently inherits from InstanceSpecification.
However it does not make sense for it to have all the capabilities of
the latter, for example Slots.
Therefore a constraint should be added to EnumerationLiteral as follows:
slot.isEmpty
Furthermore it does not make sense for EnumerationLiteral to have a
separate classifier than its Enumeration. So the following redefinition
should be added:
enumeration

(alternatively if this is felt too complex there should be a constraint
{classifier.isEmpty)

Another option would be for EnumerationLiteral to inherit from
ValueSpecification - as suggested by the name of the class (other
Literal classes are subtypes of ValueSpecification). However this would
probably be too major a change to justify the benefit.

No Data Available