There is no CLI utility that converts from CheckerFormat to WADL.

We have:

1.  wadl2checker -- wadl to a checker format.
2.  wadl2dot -- wadl to visual representation of the state machine.

On a running system, you can obtain both of these representations via JMX.