文献

J-GLOBAL ID：201802247869015325   整理番号：18A0587724

大規模分散システムのためのモニタリングと適応のための形式的アプローチの採用【Powered by NICT】

Adopting formal approaches for monitoring and adaptation for large-scale distributed systems

著者 (2件)： Nemes Sorana Tania (Christian Doppler Laboratory for Client-Centric Cloud Computing, Johannes Kepler University of Linz, Software Park 35, 4232 Hagenberg, Austria) ,  Buga Andreea (Christian Doppler Laboratory for Client-Centric Cloud Computing, Johannes Kepler University of Linz, Software Park 35, 4232 Hagenberg, Austria)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2017  号： IISA  ページ： 1-6  発行年： 2017年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： エンドユーザに高品質ソフトウェアソリューションを提供するため,大規模分散システムは様々な提供者からの資源とサービスを調整する。などの技術進歩により生成した空間と構造情報の巨大な源であり,高複雑性と不均一性,これは予期しない故障につながる可能性があることを課している。本論文では,モニタリングと適応プロセスの挙動を捕捉するための形式的アプローチを提案した。モデルを詳しく説明するために抽象状態機械厳密な方法を採用し,著者らはさらに仕様をシミュレートし,検証するためにASMetaフレームワークを利用した。システムの望ましい特性について議論し,定義された計算ツリー論理の支援であった。Copyright 2018 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】

シソーラス用語： *不均一性
準シソーラス用語： 複雑性 ,  高品質 ,  エンドユーザ ,  *分散システム , 【Automatic Indexing@JST】

分類 (1件)： 計算機システム開発  (JD02010R)

タイトルに関連する用語 (5件)： 大規模 ,  分散システム ,  モニタリング ,  適応 ,  採用