ワークフロー制御のためにグラフとして実装された有限状態機械
Loading technique guide…
グラフ状態機械は、制御フローを状態 (ノード) とイベント駆動の遷移 (エッジ) として表現し、ガード条件とアクションを伴います。ステートチャートはこれに階層状態、直交領域 (並列性)、履歴を加え、複雑な実世界の振る舞いを表現します。これにより、エージェントやツールの呼び出し、承認、リトライ、人間が介在するチェックポイントに対して、決定的で監査可能なフロー制御が得られます。
直線的な関数や DAG のほうが明快で低コストな単純な線形フロー。
イベントとガードの機械よりストリームや DAG エンジンが適した、データフローや ETL 中心の処理。
イベントループやガード評価のオーバーヘッドに敏感な超低レイテンシ経路。
サービス間の厳密な ACID トランザクション。saga やトランザクションを備えたワークフローエンジンを選ぶ。
細かなデータ条件をガードではなく状態として表現することによる状態爆発。
曖昧または重複するガードと既定遷移の欠如 → 非決定性。
遷移内に副作用を埋め込む → 非決定性とリトライ時の危険。
永続化や冪等性の欠如 → リトライ時に復旧不能または重複した影響が生じる。
適切に分離されていない並列領域 → 競合とデッドロック。
要因: 状態ごとの LLM やツールの呼び出し、検証と自己チェックのプロンプト、状態データ内のコンテキスト肥大。
制御手段: 状態ごとのトークン予算、コンテキストの要約や削減、決定的ステップのキャッシュ、同時実行数の制限。
ストレージと CPU: 最小限の状態と参照のみ永続化し、機微なコンテキストはログに残さず、遷移ごとのコストを計測する。
リトライ、補償、人による承認を伴う注文、承認、フルフィルメントのフロー。
ステップごとにツール呼び出しと安全チェックを制御するエージェントや対話のコントローラー。
決定的なリプレイと監査証跡が求められるコンプライアンスワークフロー。
階層的または並列なモードを持つ機器やプロセスのコントローラー。