遷移

UMLにおけるTransitionは、StateMachine内のSource VertexからTarget Vertexへ進む有向関係です。Trigger、Guard、Effectなどによって、いつ遷移し何を実行するかを定めます。

SimpleModelingでは、Transitionを単なる状態値の代入ではなく、Precondition、Responsibility、Invariant、Postcondition、Eventを伴う意味のあるState変化として扱います。