私たちの日常生活で使用する多くのソフトウェアは、分散コンポーネントから構成されており(別々のコアまたはコンピューターで実行)、メッセージを交換して協力します。信頼性のある通信が不可欠です。理想的には、ソフトウェアは構築時に正しく機能することが保証されます。この論文では、通信プロトコルとしてセッションタイプを使用して、ソフトウェアが正しく通信するように誘導します。
ネットワークレベルでは、すべてのメッセージが変更されずにその宛先に到達し、プログラムが予期せず場所を変更したり消えたりしないことが重要です。プログラムレベルでは、安全なメッセージ交換(例:プログラムが同時送受信しようとしない)やプログラムが受け取ったメッセージに期待どおり応答することも重要です。
Til et annet språk
fra kildeinnhold
arxiv.org
Viktige innsikter hentet fra
by Bas van den ... klokken arxiv.org 03-04-2024
https://arxiv.org/pdf/2402.09595.pdfDypere Spørsmål