La mayoría de las respuestas anteriores son correctas debido a una determinada pregunta. Alepuzio, Vincent y bmatthews68 tienen respuestas que tienen sentido en contexto.
** Si se trata de la pregunta Reemplazar un método de súper clases con la misma firma que redefinir es la definición correcta. Si se está sobrecargando porque crea el mismo método que toma diferentes argumentos, entonces no creo que esto sea posible para modelar estructuralmente, puede mostrar esto con un diagrama de secuencia, por ejemplo, que es de comportamiento, pero aún no realmente.
So + doSomething (p: AThing): int {redefines} es correcto, que es lo que Vincent puso.
** Si su problema/pregunta es solo acerca de los parámetros que no aparecen visualmente en un diagrama que suele ser una configuración en la mayoría de las herramientas UML.
** Si quiere aclarar aún más lo que está haciendo, utilice una palabra clave <>, también tenga en cuenta que una palabra clave no es un estereotipo, ya que no forma parte del metamodelo.
¿Qué herramienta está utilizando? –