状態遷移プログラミング
特殊ツールの利用
プログラミングテクニックによるもの
e.g. StateChartの実装