UniMod

UniMod is plugin for Eclipse. UniMod implements Executable UML idea. UniMod suggests to model your system using Class and Statechart UML diagrams and then "run" these diagrams in-one-lclick from Eclipse. UniMod also allows to DEBUG DIAGRAMS visually: set breakpoint on states, transitions or actions, run diagram step-by-step, monitor local viriables. Local and REMOTE debugging is supported, i.e. you may execute your model inside J2EE server and debug it remotely.

Executable UMLって本当にできるんだー。知らんかった。
デモ見たら、状態遷移の複雑なものには向いているのかも、と一瞬思ってしまった。実際どうなのか知りたい。