文献

J-GLOBAL ID：202202230649649389   整理番号：22A0977825

イベントBマシンによるプログラマブルNDNデータPlanesへのアプリケーション意図のマッピング【JST・京大機械翻訳】

Mapping Applications Intents to Programmable NDN Data-Planes via Event-B Machines

著者 (3件)： Karrakchou Ouassim (School of Electrical and Computer Engineering, University of Ottawa, Ottawa, ON, Canada) ,  Samaan Nancy (School of Electrical and Computer Engineering, University of Ottawa, Ottawa, ON, Canada) ,  Karmouch Ahmed (School of Electrical and Computer Engineering, University of Ottawa, Ottawa, ON, Canada)
資料名： IEEE Access  (IEEE Access)
巻： 10  ページ： 29668-29686  発行年： 2022年 
JST資料番号： W2422A  ISSN： 2169-3536  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 位置診断コンテンツ配信,ネットワークキャッシング,およびマルチキャスト,移動性,およびセキュリティのためのネイティブサポートは,新規命名データネットワーク(NDN)パラダイムの重要な特徴である。NDNは,インターネット(IoT)やバーチャルリアリティのようなコンテンツ中心次世代アプリケーションをホストするのに理想的である。意図駆動管理は,その管理複雑性を低減しながら,これらのアプリケーションに対する提供NDNサービスの性能を高めるために,ポイズされた。本論文は,NDNのためのデータ平面構成への意図モデリングとマッピングに向けた最初のステップの実現を目指す新しいアーキテクチャであるI2DN,意図駆動NDNを提案する。I2DNにおいて,ネットワークオペレータおよびアプリケーション開発者は,それらの抽象的および宣言的コンテンツ配信およびネットワークサービス目標と,支配音または書かれた意図を用いた制約を表現した。意図はビルトイン意図テンプレートを用いて分類され,スロット充填手順は意図の意味論を同定する。次に,これらの意図とそれらの意味論を表現するために,イベントBマシン(EBM)言語モデリングを採用した。次に,得られたEBMを,NDNプログラマブルデータプレーンにおける構成を表現するために徐々に精密化した。EBMモデリングの提案した採用の利点は2倍である。最初に,EBMは,特定の意図に応じてネットワークの望ましい挙動を正確に捕捉し,自動的にそれをコンクリート構成に精密化する。第2に,その証明義務として参照されるEBMの形式的検証特性は,意図によって定義されるように,ネットワークまたはそのサービスの望ましい特性が,最終データ平面構成を表す洗練されたEBMによって満足されるままであることを確実にする。実験的評価結果は,提案した研究の実現可能性と効率を実証した。Copyright 2022 The Institute of Electrical and Electronics Engineers, Inc. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 意味論 ,  オペレータ ,  ネットワーク ,  音響 ,  モデリング ,  *応用プログラム ,  *イベント ,  計算機アーキテクチャ ,  インターネット ,  バーチャルリアリティ ,  コンテンツ ,  マルチキャスト
準シソーラス用語： ネットワークサービス ,  キャッシング ,  モノのインターネット , 【Automatic Indexing@JST】

分類 (1件)： パターン認識  (JE07000S)

タイトルに関連する用語 (5件)： イベント ,  マシン ,  アプリケーション ,  意図 ,  マッピング