文献

J-GLOBAL ID：202202236874404407   整理番号：22A1053042

分散システム再構成のためのSMTベース計画合成【JST・京大機械翻訳】

SMT-Based Planning Synthesis for Distributed System Reconfigurations

著者 (2件)： Robillard Simon (LIRMM, CNRS, Universite de Montpellier, Montpellier, France) ,  Coullon Helene (IMT Atlantique, Inria, LS2N, Nantes, France)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 13241  ページ： 268-287  発行年： 2022年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： 適応性に重点を置く大きな分散システムは,現在,多くのドメインでの必要性と考えられてきたが,これらのシステムの再構成は,まだ,非効率で誤りしやすいプロセスであるアドホック方式で,まだ多く行われている。本論文では,コンポーネントベースの再構成モデルConcertoにおける分散システムの再構成のための計画化問題に取り組んだ。特に,システムの望ましい最終状態を実行するためのいくつかのタスクを与えて,著者らは,コンポーネント間依存性の満足を保証する再構成計画を計算する方法を示し,また並列実行のために最適化した。提案手法は,コンポーネント間の必要な依存性を計算し,最終的に再構成をスケジュールするSMTソルバに依存する。OpenStackシステムの文脈における実際の使用事例と同様に,様々な合成例に対するこの技術の使用を説明した。Copyright The Author(s) 2022 Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 最適化 ,  *計算機システム ,  システム ,  適応性 ,  *再構成 ,  応用プログラム ,  構成モデル
準シソーラス用語： *分散システム ,  ソルバ , 【Automatic Indexing@JST】

著者キーワード (5件)： 再構成 ,  計画 ,  合成 ,  コンポーネントモデル ,  分散システム

分類 (3件)： 計算機システム開発  (JD02010R) ,  ディジタル計算機方式一般  (JC02010O) ,  半導体集積回路  (NC03162T)

タイトルに関連する用語 (4件)： 分散システム ,  再構成 ,  SMT ,  計画