システムの「状態」と、イベントによる「状態の変化」を記述するモデルはどれか。

状態遷移図は、システムが特定の入力や条件によってどのように振る舞いを変えるかを定義するのに適している。