UML22 — Section: 7.3.44

In the defintion of the Property concept, the type of the default attribute is a String. I believe it would be more powerful to type default with ValueSpecification

Actually, Property::defaultValue is a ValueSpecification, which gives what is required. Property::/default is
a derived string, although its current documentation—“A String that is evaluated to give a default value for
the Property when an instance of the owning Classifier is instantiated” — is misleading. Property::/default
only exists at all because of earlier efforts to align superstructure and infrastructure through package merge.
Its derivation makes no sense for default values that are not strings. Since it is derived, removing it would
not affect model serialization. Delete it.