状態図メーカー

状態図では何をモデル化しますか？

状態図は、エンティティが状態間を移り変わる際に、どのように振る舞いを変えるかを表します。イベントの効果は現在の状態によって異なる場合があり、条件によって遷移が許可されるかどうかを制限できます。

ステータスが振る舞いに影響するときに使う

状態モデルは、注文、セッション、デバイス、フォームなど、意味のあるライフサイクルを持つエンティティに役立ちます。許可される遷移を明確にし、実装前にエッジケースについて議論する際にも活用できます。

遷移を曖昧にしない

1. 1つの明確なエンティティをモデル化します。 注文、支払い、配送には、1つに過剰な状態を詰め込むのではなく、それぞれ別のライフサイクルが必要になる場合があります。
2. 状態には条件を表す名前を付けます。 「Documentをレビューする」のようなアクションではなく、「レビュー待ち」のような状態を使います。
3. 遷移イベントにラベルを付けます。 矢印を解釈に委ねず、何が状態の移動を引き起こすのかを説明します。
4. ガード条件を指定します。 遷移が条件に依存する場合は、その条件を明示し、重複がないか確認します。
5. 終端での振る舞いを確認します。 モデル化したライフサイクルが本当にそこで終了する場合にのみ、状態を最終状態としてマークします。

MyMapがマッピングできるようにライフサイクルを説明する

MyMapは、状態とイベントの説明を視覚的な状態モデルに変換します。例では、フルフィルメント、キャンセル、返金の分岐を含むEC注文を扱っています。これは簡略化されたライフサイクルなので、返品や終端状態の選択が実際のビジネスルールに合っているか確認してください。