Большинство ответов выше верны с учетом определенного вопроса. У Alepuzio, Vincent и bmatthews68 есть ответы, которые имеют смысл в контексте.
** Если вопрос заключается в переопределении метода суперклассов с той же сигнатурой, что и в переопределении, то это правильное определение. Если перегрузка заключается в том, что вы создаете один и тот же метод, который принимает разные аргументы, тогда я не верю, что это возможно для структурной модели, вы можете показать это на диаграмме последовательности, например, поведенческой, но все же не совсем.
Так что + doSomething (p: AThing): int {redefines} - это правильно, что Винсент поставил.
** Если ваша проблема / вопрос заключается только в том, что параметры не отображаются визуально на диаграмме, которая обычно устанавливается в большинстве инструментов UML.
** Если вы хотите сделать еще более понятным то, что вы делаете, используйте ключевое слово <>, также обратите внимание, что ключевое слово не является стереотипом, поскольку оно не является частью метамодели.