本論文は、ワークフロー定義、インスタンス、およびコンテキストスナップショットを共有基盤内の永続的なナレッジオブジェクトとして扱う、LLM支援型ワークフローのための概念モデルを提案する。

  • このモデルはLispにインスパイアされているが言語非依存であり、実装上の制約ではなく説明のレンズとして記号的表現とオブジェクトの同一性を使用する。
  • 「導出」（利用可能な状態に対する決定論的計算）と「推論」（宣言されたコンテキストおよびエグゼキュータ制御の能力ポリシーの下でのLLMによる判断）の間の中核的な意味的区別を確立する。
  • ワークフローは、ナレッジを生成しその痕跡を残す、検査可能で再開可能かつレビュー可能なナレッジオブジェクトとして表現される。

著者らは、形式的な遷移セマンティクスは今後の課題であると指摘しつつ、これをセマンティック永続性の前段階の概念的事例として提示している。