プロトコルの構成理論【JST・京大機械翻訳】

Bocchi Laura; Orchard Dominic; Voinea A. Laura

プレプリント

J-GLOBAL ID：202202217178302144 整理番号：22P0299111

プロトコルの構成理論【JST・京大機械翻訳】

A Theory of Composing Protocols

出版者サイト {{ this.onShowPLink() }} 複写サービスで全文入手
高度な検索・分析はJDreamⅢで

この文献はプレプリントです。プレプリントについてはこちらをご確認ください。

著者 (3件)： , ,
資料名：
発行年： 2022年03月04日プレプリントサーバーでの情報更新日： 2022年11月07日
JST資料番号： O7000B 資料種別：プレプリント
記事区分：プレプリント発行国：アメリカ合衆国 (USA) 言語：英語 (EN)

※このプレプリント論文は学術誌に掲載済みです。なお、学術誌掲載の際には一部内容が変更されている可能性があります。

プログラミングにおいて,プロトコルはどこでもどこでもある。プロトコルは,例えば,ユーザ-空間プログラムとカーネル間またはローカルアプリケーションとオンラインサービスの間の,ソフトウェアシステム間の相互作用(または通信)のパターンを記述する。プロトコルへの整合は,有意なクラスのソフトウェア誤りを避ける。続いて,形式的プロトコル仕様に対するコードの検証に関する多くの研究が行われている。単一モノリシックプロトコル記述内のプロセスの並列構成を含む分散設定に焦点を当てた。しかし,単一スレッド/プロセスのレベルでは,現代のソフトウェアは,しばしば,例えば,銀行APIと1つ以上の認証プロトコルに依存する,同時に,多くの明確に描写されたプロトコルを実装しなければならない。モジュラプロトコル追従コンポーネントを一緒に閉塞するよりも,コードは複数のプロトコルを単一コンポーネントに再統合しなければならない。プロセス代数により記述されたプロトコルに対する「インタリービング」構成の新しい概念を介してプロトコルを組み合わせることのこの懸念に取り組んだ。ユーザ指定,ドメイン特異的制約は,この構成手順を導くための「接触点」として役立つ個々のプロトコルに挿入でき,これはプログラムをプログラムできる単一組合せプロトコルを出力する。提案アプローチは,一度に複数のプロトコルを処理しなければならないアプリケーションの真の性質を反映して,構成された多数のプロトコル(再統合)に対してプログラムをプログラムすることを可能にする。挙動保存を含む組成の異なる望ましい特性を証明した:構成プロトコルは両成分プロトコルの挙動を実行する。プロトコルからErlang符号を生成し,Erlang符号からプロトコルを生成するプロトコル構成を実行するツールを用いて,Erlangの実用的設定における提案アプローチを実証した。このツールは,一連のサンプルプロトコル(実世界例を含む)に対して,制約の適度セットを挿入して,少数の候補組成を生成して選択できることを示した。多くのプログラムとサブシステムと相互作用するソフトウェアをますます構築するので,この新しい展望はマルチプロトコル設定におけるプロトコル適合性によりソフトウェア品質を改善するための基礎を与える。【JST・京大機械翻訳】

, , , , , , , , , ,
, , , , 【Automatic Indexing@JST】

計算機システム開発 , 電話・データ通信・交換一般

前のページに戻る