契約ベースのエージェント型システムズエンジニアリング：商としての委譲による保証されたシステム設計

- エージェントがpromptから構築したコンポーネントが、prompt自体は満たしても隣接コンポーネントの前提を欠くためシステムを壊し得る問題を扱う研究。 - 受け渡すべき成果物は『書く』のではなく『計算する』ものだと主張する。 - SysML v2 requirementをassume/guarantee contractとして扱い、system requirementを固定されたneighbours上に分解する際、open componentのrequirementをcontract quotient(最も弱い健全な要件)として計算する枠組み。 - 要件のderivation・allocation・satisfaction・verificationをSysML v2 modelとして構築し、quotientを算出する。

- mission単独のrequirementではneighboursのassumptionsが落ちてしまい、mocked neighboursを用いたunit testsでも到達できない、という既存手法の限界を指摘。 - それに対しcontract quotientはneighboursのassumptionsをrequired constraintsに引き継ぐ点が新しい。 - Signal Temporal Logicがquotientの下で閉じていることを示し、SysML v2 requirementとして再び表現できる点を主張。 - 具体的な先行研究名との比較は要旨からは不明。

- SysML v2 requirementをassumed/required constraints付きのassume/guarantee contractとして定式化。 - system requirementを固定neighbours上に分解したとき、open componentのrequirementをcontract quotient(weakest sound one)として計算。 - quotientのrequired constraintsにneighboursのassumptionsを載せる。 - Signal Temporal Logicのquotient閉性を利用。 - requirementsのderivation・allocation・satisfaction・verificationをSysML v2 modelとして構築し、そこからquotientを計算する。

- シミュレーション上のwarehouse robotのlocal controller委譲をcase studyとして実施。 - 経路はworkerのpathを横切り、dockで終了する設定。 - 1つのlanguage modelに対し、quotient requirement、mission-only requirement、natural-language taskの3条件で委譲。 - live episodesでのdeliveriesをground truthのsystem requirementに対してスコアリングして評価。

- promptがneighboursの前提を欠くためにコンポーネントがシステムを壊し得るという問題設定を提示。 - mission単独要件やmocked neighboursのunit testsではneighbours assumptionsに到達できないと論じる。 - quotientがweakest sound requirementであること、STLがquotientで閉じることを主張。 - 限界や反論、評価結果の詳細は要旨からは不明。

- 要旨で参照/比較されているSysML v2、Signal Temporal Logic、assume/guarantee contract、contract quotient、mocked neighboursを用いたunit testsに関する文献。 - 具体的な論文名は要旨からは不明のため、同分野の定番としてassume/guarantee reasoningやcontract-based design、SysML v2要件モデリングの文献を次に読む候補とする。