抄録/ポイント:
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
性能と信頼性のようなサービス品質属性は,ソフトウェアが実行される実行時間条件に強く依存する(例えば,作業負荷変動と資源アベイラビリティ)。,これらの実行時変動による設定と挙動を適応できる設計システムに重要である。本論文では,定量的モデルをシステム構成を表現するとして待ち行列ネットワークに基づく新しいアプローチを提案した。実行時条件での連続変化に適合するモデルを見つけるために,記号解析と充足可能性モジュロ理論(SMT)の革新的な組み合わせに依存している。記号解析を通して,非線形実制約の集合として全ての可能なシステム構成を示した。SMT問題を定式化することにより,少ない計算コストで実現可能なシステム構成を考案することができた。は,異なるレベルの冗長性を特徴とする三層Webシステム上で提案アプローチの有効性とスケーラビリティを調べた。Copyright 2017 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】