文献

J-GLOBAL ID：201902269568649141   整理番号：19A1189922

応用されたコレオグラフィー【JST・京大機械翻訳】

Applied Choreographies

著者 (3件)： Giallorenzo Saverio (University of Southern Denmark, Odense, Denmark) ,  Montesi Fabrizio (University of Southern Denmark, Odense, Denmark) ,  Gabbrielli Maurizio (Universita di Bologna/Inria, Bologna, Italy)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 10854  ページ： 21-40  発行年： 2018年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： 通信の高レベル「アリスとボブ」の記述(choreograpies)を用いて,構築プログラムを合成する分散プログラミングのためのパラダイムである。しかしながら,choreographicモデルの実装は,それらの関連する理論モデル(例えば,CSA/[数式:原文を参照]チャネル)から離れたメッセージ経路選定技術を使用する。これにより,証明されていない適応を通して理論との矛盾を仲介し,それらの実装の信頼性を弱めることができる。解として,Applied choreographies(AC)のフレームワークを提案した。ACにおいて,プログラマは,以前の研究の標準構文論と意味論に従う言語において,chograpを書き込む。次に,サービス指向コンピューティング(SOC)のための実世界実行モデルに対して,暗号をコンパイルした。このタスクの複雑さを管理するために,著者らの編集は,SOCで見出された具体的なメカニズムを用いたnameベースの通信の実行,プロセスのセットへの暗号化,およびサービスに関する分散実装への翻訳プロセスの3段階で行われる。Copyright 2018 IFIP International Federation for Information Processing Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 構文論 ,  *暗号 ,  信頼性 ,  チャネル ,  意味論 ,  経路選定 ,  言語 ,  プログラマ
準シソーラス用語： サービス指向アーキテクチャ ,  理論モデル ,  分散プログラミング ,  *コレオグラフィー , 【Automatic Indexing@JST】

分類 (2件)： 人工知能  (JE08000Z) ,  計算理論  (JB02000A)

タイトルに関連する用語 (2件)： 応用 ,  コレオグラフィー