Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models
Abstractの概要
本論文は、モデル駆動型エンジニアリングとマルチエージェント大規模言語モデルを組み合わせ、複数の開発フェーズにわたって追跡可能なシステムモデルを生成する、要件主導型エンジニアリング手法「RADIANT」を提案する。手動で作成された要件モデルから出発し、概念モデル、ドメイン特化モデリング言語（DSML）、適合するシステムモデル、振る舞いモデル、および実行可能な要素レベルのトレーサビリティリンクを生成する。振る舞いモデルはCSPに変換され、FDRを用いてデッドロックの不在や収束性などの特性が検査されるとともに、反例に基づく修正ループが実行される。自律型水中ビークル（AUV）のケーススタディでパイプラインを評価し、3つのLLM間でマルチエージェントとシングルエージェントの構成を比較したほか、変更影響分析、効率性、および第二のロボティクスドメインへの適用性を検証している。
新規性
大きな貢献は、事後にリンクを復元するのではなく、構築の過程で異種エンジニアリングモデルと実行可能なトレーサビリティリンクを生成する、要件から検証までのエンドツーエンドの手法であることである。汎用的なマルチエージェントによる生成・検査・リファクタリング・追跡のアーキテクチャを、統合されたモデル駆動型ワークフローのもとで形式的検証および自動化された変更影響分析と結合させている。
成果
3つのLLMの比較において、マルチエージェント体制は生成された形式的成果物の構文的妥当性を一貫して向上させ、基盤モデルのコード生成能力が十分な場合には実行可能性も向上させたが、意味論的な効果はモデル依存であった。AUVの事例において、生成された振る舞いモデルはデッドロックがなく収束することが形式的に検証され、変更影響分析は正確な影響特定を達成し、6名の参加者による調査では手動でのモデリングと比較して開発時間が約10〜15分の1に短縮された。また、このパイプラインを変更なしで第二のロボティクスドメインにも適用し、すべてのフェーズで基準を満たす成果物の生成に成功した。
論文の注目点
- RADIANTは、手動で作成された要件モデルを唯一の直接入力とし、下流の概念、DSML、システム、振る舞い、トレーサビリティに関する成果物を自動的に導出する。
- そのトレーサビリティ機構は実行可能かつ要素レベルで作用し、脆弱なリンクや事後に復元されたリンクに依存することなく、異種モデル間での自動化された変更影響分析を可能にする。
- 実証評価において、マルチエージェントワークフローによる成果物の妥当性の確実な向上、手動モデリングに比べた大幅な効率の改善、および第二のケーススタディへの適用成功が示された。