UML14 — Specification for method in a derived class

Summary: It is unclear whether a specification for a method in a derived class should be an operation in the base class, or if the operation is redeclared and it is the derived class"s instance of the operation that is the specification.
The text on p36 ("Each method implements an operation declared in the class or inherited from an ancestor...the same operation may not be
declared more than once in a full class descriptor") suggests that it is illegal to redeclare the operation in the derived class and we must have the former interpretation. However this is not enforced by the Classifier constraint [1] on page 29. If this is really what is desired, then the constraint should be self.allFeatures... instead of self.feature...

This interpretation causes operations and methods to behave like C++ rather than Java. An operation has on

Fixed in UML 1.3.