状態遷移図の読み方

状態遷移図とは

状態遷移図の基本要素

基本記号

読み方の基本

状態遷移図の読み方を、シンプルな例で示します：

stateDiagram-v2
    [*] --> 下書き
    下書き --> 申請中: 申請
    申請中 --> 承認済み: 承認
    申請中 --> 却下: 却下
    却下 --> 下書き: 再編集
    承認済み --> [*]

• 状態：「下書き」「申請中」「承認済み」「却下」
• 遷移：矢印で表現
• トリガー：「申請」「承認」「却下」「再編集」のように、状態を変える原因

【サンプル】状態遷移図の実例

実際のビジネスシステムで使われる3つの状態遷移図を、パターン別にご紹介します。それぞれのタブを開いて、図と読み解き方をご確認ください。

stateDiagram-v2
    [*] --> 注文中
    注文中 --> 決済待ち: 注文確定
    決済待ち --> 決済完了: 決済成功
    決済待ち --> 注文中: 決済失敗（リトライ可）
    決済待ち --> キャンセル: 決済失敗（上限超過）
    決済完了 --> 出荷準備中: 在庫確保
    決済完了 --> キャンセル: キャンセル依頼
    出荷準備中 --> 発送済み: 発送完了
    出荷準備中 --> キャンセル: キャンセル依頼
    発送済み --> 配達完了: 配達完了
    発送済み --> 返品中: 返品依頼
    配達完了 --> 返品中: 返品依頼
    返品中 --> 返品完了: 返品処理完了
    配達完了 --> [*]
    返品完了 --> [*]
    キャンセル --> [*]

stateDiagram-v2
    [*] --> 仮登録
    仮登録 --> 有効: メール認証完了
    仮登録 --> [*]: 期限切れ（削除）
    有効 --> 停止: 管理者による停止
    有効 --> ロック: ログイン失敗（5回）
    停止 --> 有効: 管理者による解除
    ロック --> 有効: 時間経過（30分）
    ロック --> 有効: 管理者による解除
    有効 --> 退会: 退会申請
    退会 --> [*]

stateDiagram-v2
    [*] --> オープン
    オープン --> 対応中: 担当者アサイン
    対応中 --> レビュー中: レビュー依頼
    レビュー中 --> 対応中: 差し戻し
    対応中 --> 保留: 保留
    保留 --> 対応中: 再開
    完了 --> 再オープン: 再発
    レビュー中 --> 完了: 承認
    再オープン --> 対応中: 担当者アサイン
    完了 --> [*]

実装での活用

状態遷移をコードで表現する

状態遷移図をプログラムとして実装するときは、許可される遷移を明確にチェックすることが重要です：

// Java: Enumで状態を定義
public enum OrderStatus {
    PENDING,      // 注文中
    PAYMENT_WAIT, // 決済待ち
    PAID,         // 決済完了
    PREPARING,    // 出荷準備中
    SHIPPED,      // 発送済み
    DELIVERED,    // 配達完了
    CANCELLED,    // キャンセル
    RETURNING,    // 返品中
    RETURNED      // 返品完了
}

遷移可否のチェック

// 許可される遷移かチェック
public boolean canTransitionTo(OrderStatus from, OrderStatus to) {
    switch (from) {
        case PENDING:
            return to == PAYMENT_WAIT;
        case PAYMENT_WAIT:
            return to == PAID || to == PENDING || to == CANCELLED;
        case PAID:
            return to == PREPARING || to == CANCELLED;
        case PREPARING:
            return to == SHIPPED || to == CANCELLED;
        case SHIPPED:
            return to == DELIVERED || to == RETURNING;
        case DELIVERED:
            return to == RETURNING;
        case RETURNING:
            return to == RETURNED;
        default:
            return false;
    }
}

DBでの状態管理

-- ordersテーブルのstatus更新
UPDATE orders
SET status = 3,  -- 出荷準備中
    updated_at = NOW()
WHERE id = 12345
  AND status = 2;  -- 決済完了からのみ遷移可能

-- 影響行数が0なら不正な遷移

状態遷移図を読むときのポイント

状態遷移のテストパターン

正常系

• すべての正常な遷移パターンをテスト
• 開始→...→終了までの一連の流れ

異常系

• 許可されていない遷移を試みる
• エラーになることを確認

境界

• 終了状態からの遷移（不可であること）
• 特定条件下での遷移（時間経過、回数制限など）

よくある疑問

状態遷移図でよくある落とし穴

関連ドキュメント

• 設計書・仕様書の読み方 - 設計書全般の読み方
• 処理フロー図の読み方 - フローチャートなどの読み方
• テーブル定義書の読み方 - DBでのステータス管理