共用設備予約の競合時に二重確保を防ぐ状態遷移を設計する

複数利用者が同時に共用設備を予約する状況について、仮押さえ・確定・期限切れ・取消の状態と競合時の応答を定義します。再送一般の冪等性ではなく、資源の同時確保と予約ライフサイクルが対象です。

目安時間：未設定難易度：中級アプリ：指定なし

プロンプトの内容を確認 ↓

PURPOSE

このプロンプトでできること

PREPARE

用意する情報

設備ID/容量、予約単位、仮押さえ時間、確定条件、同時要求時の優先ルール、取消/期限切れ条件、利用者へ返す結果、実装上の制約を入力します。

WORKFLOW

使い方

設備の容量と同時要求ルールを明記し、状態表を実装者・運用者でレビューしてください。時間帯境界、タイムゾーン、取消後の再予約も確認してください。

AI INSTRUCTION

AIへの指示文

コピー用

入力欄を埋めてから利用してください。

共用設備予約の状態モデルを設計してください。状態（空き/仮押さえ/確定/取消/期限切れ/競合）と、イベント・事前条件・状態変更・利用者応答を表にします。同時に同じ設備・時間帯へ要求が来た場合に二重確定しない不変条件を明記し、確定時の排他・トランザクション境界や競合応答を概念レベルで示します。入力にない優先順位を決めず、予約枠が容量制か単一設備か不明なら確認質問を出してください。
【設備・予約単位・容量】
[入力]
【仮押さえ・確定・取消ルール】
[入力]
【同時要求・優先条件】
[入力]

コピー操作はこのブラウザー内で行います

EXAMPLE

入力例と出力例

入力例（説明用）

合成例｜設備=会議室R（同一時間帯1組）｜仮押さえ=5分｜確定=利用者確認後｜同時要求=先に確定処理された一件を優先｜期限切れ=自動解放

出力例（説明用）

不変条件: 同一室・同一時間帯に確定予約は最大1件。
|現在状態|イベント|条件|次状態|応答|
|空き|予約要求|枠を原子的に確保|仮押さえ|5分以内の確認を案内|
|仮押さえ|別要求|枠が確保済み|競合|空きなしを返す|
|仮押さえ|期限切れ|5分経過|期限切れ→空き|解放記録|
永続化方式・優先順位の実装詳細: 担当者確認。

TIPS

使うときのコツ

状態遷移だけでなく、同時要求時にも守る不変条件と利用者への応答を記載してください。

使う前に確認してください

この設計案だけで予約システムの排他制御を保証しません。実装では競合テストと監査ログを確認し、利用者データを入力しないでください。