文献

J-GLOBAL ID：202002276539362931   整理番号：20A1345158

基本的行動パターンからのHeard-of述語の導出【JST・京大機械翻訳】

Derivation of Heard-of Predicates from Elementary Behavioral Patterns

著者 (3件)： Shimi Adam (IRIT - Universite de Toulouse, Toulouse, France) ,  Hurault Aurelie (IRIT - Universite de Toulouse, Toulouse, France) ,  Queinnec Philippe (IRIT - Universite de Toulouse, Toulouse, France)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 12136  ページ： 133-149  発行年： 2020年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： 分散コンピューティングの多くのモデルがあり,それらすべてを考慮するための数学的枠組みを統一しない。この課題をサイドステップする一つの方法は,簡単な通信と故障モデルで始まり,それらを建築ブロックとして用いて,フィールドで研究された複雑なモデルを導出することである。したがって,著者らは,結合,継承または反復のような操作を定義し,それは,表現性を維持しながら,単純なものから複雑なモデルの構築をより容易にする。この手法を定式化するために,Heard-Ofモデルにおける複雑なモデルと操作を抽象化した。このモデルは(おそらく非同期)ラウンドに依存する。ダイグラフのシーケンス,各ラウンドの1つ,与えられたラウンドで送られるメッセージを,受信機が次のラウンドに行く前に受信する。述語と呼ばれる一連のシーケンスは,法的通信行動,すなわちコミュニケーションのモデル,を定義する。提案した操作は,操作モデルのこの変換によってよく行動するので,著者らは,構築のための述語の境界,キャラクタリゼーション,および実装を誘導できる。Copyright IFIP International Federation for Information Processing 2020 Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： コミュニケーション ,  有向グラフ ,  受信機 ,  *通信 ,  分散処理 ,  キャラクタリゼーション ,  定式化
準シソーラス用語： 述語 ,  故障モデル ,  表現力 ,  メッセージパッシング , 【Automatic Indexing@JST】

著者キーワード (4件)： メッセージパッシング ,  非同期ラウンド ,  失敗 ,  Heard-ofモデル

分類 (5件)： データ保護  (JD01020V) ,  計算理論  (JB02000A) ,  ディジタル計算機方式一般  (JC02010O) ,  符号理論  (ND02030R) ,  計算機システム開発  (JD02010R)

タイトルに関連する用語 (3件)： 行動パターン ,  述語 ,  導出