仕様書では、確かにmessageidentを表示する場合、signal-or-operation-name を書くようになっていますね。
ただ、必ずそれを書く必要があるかというと、個人的には省略してもかまわないように思います。（UMLの仕様書の中に省略した図もありますね Figure14.15）

ちなみに、JUDEでは、リプライメッセージについて、操作を割り当てられなくなっていますので、将来的には割り当てられるようにしたいと思います。