抄録/ポイント:
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
データ駆動協調ワークフローの調査を追求した。このモデルでは,ピアは局所データをアクセスし更新し,他のピアのデータに副作用を引き起こす。本論文では,ランタイムと静的の両方で,グローバルランのピアの局所的視点を説明する方法を研究した。著者らは,そのピアに対するオリジナルなランと等価であるサブランである,与えられたピアに対する「シナリオ」の概念を考察した。そのようなシナリオは,時々実際の運転で起きるものと著しく異なるので,誤った説明を提供し,大域的な実行へのより密接なアドヒアランスを確実にする忠実性要件を導入し,研究する。著者らは,ピアに関連する部分だけを抽出することによって,グローバルランにおいて起こることを説明するユニークな最小忠実シナリオがあることを示した。静的説明に関して,著者らは,各ピアに対して,その実行がグローバルランのピアの観測を正確に生成する「ビュープログラム」を,合成する問題を考察した。それ自身の権利,すなわち透明性と有界性に望ましいいくつかの条件を仮定して,そのようなビュープログラムが存在し,合成できることを示した。追加利益として,ビュープログラム規則は,ピアによって観測された更新のための起源情報を提供する。Please refer to this article’s citation page on the publisher website for specific rights information. Translated from English into Japanese by JST.【JST・京大機械翻訳】