ステートマシン図において、状態内で実行されている `do` アクティビティが、外部からの遷移によって中断された場合、そのアクティビティはどうなるか。

状態からの退場(exit)が発生すると、その状態で実行中だったdoアクティビティは強制的に終了させられる。