システム全体の大きな状態遷移図が有り、その通りに実装している。

特徴

要求定義としての巨大な状態遷移図を、そのまま実装している。