論文の概要: Protocol-Driven Development: Governing Generated Software Through Invariants and Evidence
- arxiv url: http://arxiv.org/abs/2605.12981v1
- Date: Wed, 13 May 2026 04:23:14 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-05-14 23:30:27.808168
- Title: Protocol-Driven Development: Governing Generated Software Through Invariants and Evidence
- Title（参考訳）: プロトコル駆動開発: 不変性とエビデンスによる生成ソフトウェアの支配
- Authors: Jun He, Deying Yu,
- Abstract要約: 本稿では,主要なソフトウェアアーチファクトが実装コードではなく,機械で強化可能なプロトコルであるプロトコル駆動開発(PDD)について紹介する。
PDDは、自動化されたソフトウェアエンジニアリングのためのガバナンス層を定義する。
- 参考スコア（独自算出の注目度）: 2.124730017640531
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Automated program synthesis has reduced the cost of producing candidate implementations, but it introduces a harder governance problem: determining which generated artifacts are admissible in a software system. Natural-language specifications remain semantically ambiguous, and example-based tests sample only part of the behavioral space. Used alone, neither provides a sufficient control boundary for automated software construction. We introduce Protocol-Driven Development (PDD), a development model in which the primary software artifact is a machine-enforceable protocol rather than implementation code. We define a protocol as the triplet P = (S, B, O), where S specifies structural invariants, B specifies behavioral invariants, and O specifies operational invariants. Their conjunction defines the admissible implementation space of a software component. Under PDD, implementations are treated as replaceable realizations discovered through constrained search. An implementation is admitted if and only if it satisfies the governing protocol and produces a verifiable Evidence Chain of compliance. Admission is therefore grounded not in trust in the generator, but in protocol satisfaction and recorded evidence. By combining ideas from formal methods, property-based testing, policy-as-code, and software provenance, PDD defines a governance layer for automated software engineering. Its organizing principle is simple: code is transient; protocol is sovereign.
- Abstract（参考訳）: 自動プログラム合成は、候補実装の作成コストを削減しましたが、ソフトウェアシステムで生成されたアーティファクトが許容できるものを決定するという、難しいガバナンスの問題を引き起こします。
自然言語仕様は意味的に曖昧であり、例ベースのテストは行動空間の一部だけをサンプリングする。
単独で使用すると、自動ソフトウェア構築のための十分な制御境界も提供されない。
本稿では,主要なソフトウェアアーチファクトが実装コードではなく,機械で強化可能なプロトコルであるプロトコル駆動開発(PDD)について紹介する。
プロトコルを三重項 P = (S, B, O) と定義し、S は構造不変量、B は挙動不変量、O は操作不変量を指定する。
彼らの協力関係は、ソフトウェアコンポーネントの許容可能な実装空間を定義する。
PDDの下では、実装は制約付き探索によって発見された置換可能な実現として扱われる。
実装は、それが管理プロトコルを満たし、コンプライアンスの検証可能なエビデンス・チェーンを生成する場合にのみ許可される。
したがって、許可はジェネレータへの信頼ではなく、プロトコルの満足度と記録された証拠に基づいている。
形式的なメソッド、プロパティベースのテスト、ポリシ・アズ・コード、ソフトウェアプロファイランスのアイデアを組み合わせることで、PDDは自動化されたソフトウェアエンジニアリングのためのガバナンス層を定義する。
その構成原則は単純で、コードはトランジェントであり、プロトコルは主権である。
関連論文リスト
- Autogenesis: A Self-Evolving Agent Protocol [60.15939127351914]
本稿では,自己進化プロトコルであるAutogenesis Protocol(AGP)を紹介する。
本稿では,実行中のプロトコル登録リソースを動的にインスタンス化し,検索し,精錬する自己進化型マルチエージェントシステムAGSを提案する。
論文 参考訳（メタデータ） (2026-04-16T14:04:06Z) - REGAL: A Registry-Driven Architecture for Deterministic Grounding of Agentic AI in Enterprise Telemetry [0.0]
大規模言語モデル(LLM)は、エージェント自動化の新しい形態を可能にする。
本稿では,企業テレメトリにおけるエージェントAIシステムの決定論的基盤化のためのレジストリ駆動型アーキテクチャREGALを提案する。
論文 参考訳（メタデータ） (2026-03-03T14:13:39Z) - BRIDGE: Building Representations In Domain Guided Program Verification [67.36686119518441]
BRIDGEは、検証をコード、仕様、証明の3つの相互接続ドメインに分解する。
提案手法は, 標準誤差フィードバック法よりも精度と効率を著しく向上することを示す。
論文 参考訳（メタデータ） (2025-11-26T06:39:19Z) - LLM-Assisted Model-Based Fuzzing of Protocol Implementations [9.512044399020514]
プロトコル動作の障害は脆弱性やシステム障害につながる可能性がある。
プロトコルテストに対する一般的なアプローチは、プロトコルの状態遷移と期待される振る舞いをキャプチャするマルコフモデルを構築することである。
本稿では,大規模言語モデル(LLM)を利用して,ネットワークプロトコルの実装をテストするためのシーケンスを自動的に生成する手法を提案する。
論文 参考訳（メタデータ） (2025-08-03T13:16:18Z) - ProtocolLLM: RTL Benchmark for SystemVerilog Generation of Communication Protocols [45.66401695351214]
本稿では,広く使用されているSystemVerilogプロトコルを対象とした最初のベンチマークスイートであるProtocolLLMを紹介する。
我々は,ほとんどのモデルがタイミング制約に従う通信プロトコルのSystemVerilogコードを生成するのに失敗したことを観察する。
論文 参考訳（メタデータ） (2025-06-09T17:10:47Z) - ModelForge: Using GenAI to Improve the Development of Security Protocols [1.9241821314180376]
プロトコル仕様の翻訳を自動化する新しいツールであるModelForgeを紹介する。
自然言語処理(NLP)と生成AI(GenAI)の進歩を活用することで、ModelForgeはプロトコル仕様を処理し、CPSAプロトコル定義を生成する。
論文 参考訳（メタデータ） (2025-06-08T06:27:09Z) - Validating Network Protocol Parsers with Traceable RFC Document Interpretation [11.081773172066766]
オラクルとトレーサビリティの問題は、プロトコルの実装がいつバグがあると考えられるかを決定する。
この研究はどちらも考慮し、大規模言語モデル(LLM)の最近の進歩を利用した効果的なソリューションを提供する。
我々は、C、Python、Goで書かれた9つのネットワークプロトコルとその実装を使用して、我々のアプローチを広く評価してきた。
論文 参考訳（メタデータ） (2025-04-25T03:39:19Z) - Keeping Behavioral Programs Alive: Specifying and Executing Liveness Requirements [2.4387555567462647]
タスクがまだ完了していないことを示すために,"must-finish"を付けたタグ付け状態のイディオムを提案する。
また,B"uchiautoaへの翻訳に基づくセマンティクスと,マルコフ決定プロセス(MDP)に基づく2つの実行メカニズムも提供する。
論文 参考訳（メタデータ） (2024-04-02T11:36:58Z) - Towards an Enforceable GDPR Specification [49.1574468325115]
プライバシ・バイ・デザイン(PbD)は、EUなどの現代的なプライバシー規制によって規定されている。
PbDを実現する1つの新しい技術は強制(RE)である
法律規定の正式な仕様を作成するための一連の要件と反復的な方法論を提示する。
論文 参考訳（メタデータ） (2024-02-27T09:38:51Z) - Towards Semantic Communication Protocols: A Probabilistic Logic
Perspective [69.68769942563812]
我々は,NPMを確率論理型言語ProbLogで記述された解釈可能なシンボルグラフに変換することによって構築された意味プロトコルモデル(SPM)を提案する。
その解釈性とメモリ効率を利用して、衝突回避のためのSPM再構成などのいくつかの応用を実演する。
論文 参考訳（メタデータ） (2022-07-08T14:19:36Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。