キュー理論 (Queueing Theory)
キュー理論(待ち行列理論)は、サービスの需要が供給能力を超えた際に発生する待ち行列(キュー)の挙動を数学的に解析する理論体系である。
アジャイル開発において、カンバンやスクラムのワークフローは一連のキューイングシステムとしてモデル化される。システムが持続可能であるためには、キューが数学的に「安定」している(時折空になる性質を持つエルゴード性を満たす)ことが不可欠である。
アジャイルシステムにおけるキュー理論の適用と重要性は以下の通りである。
- キューの安定性は、平均到着率(λ)と平均サービス率(μ)の関係性に依存し、サービス率が到着率を上回る(μ > λ)場合に維持される。
- ジャクソンの定理によると、連携するキューイングネットワーク全体が安定するためには、構成されるすべてのサブキュー(開発、テスト、レビュー等)が安定していなければならない。
- リトルの法則(W = L / λ)の前提条件としてシステムの安定状態が要求されるため、不安定なシステムではWIP制限によるフロー制御の予測可能性が成立しにくくなる。
- プロダクトバックログからスプリントバックログへのアイテム移動など、バッチ処理を伴うスクラムプロセスも、確率的な到着・サービスモデルとしてキュー理論の枠組みで解析可能である[1]。
- 所属タグ: Queueing Theory Lean Flow Kanban
- カテゴリー: Related Fields
-
A Novel Technique to Assess Agile Systems for Stability — 「キュー理論は、アジャイル文献において知られており、サイクルタイムなどのメトリックが存在しますが[7, 8],従来のキューとしての測定方法は一般的に使用されていません。」(訳)(ライセンス: CC BY 4.0) ↩