高可用性系統(tǒng)設計中的量化分析方法.pdf

1、本論文研究的主要內(nèi)容是運用數(shù)學建模的方法，對高可用性系統(tǒng)的設計進行量化分析。主要研究了高可用性系統(tǒng)設計中的量化分析方法。針對高可用性系統(tǒng)的設計提出了一個量化分析的框架：以UML建模為基礎，從UML轉(zhuǎn)換到隨機Petri網(wǎng)(SPN)的建模方案。將提出一個UML轉(zhuǎn)換SPN的算法，并基于SPN，運用與SPN同構(gòu)的馬爾可夫(Markov)隨機過程來進行量化數(shù)值分析，得出系統(tǒng)設計的性能參數(shù)，并且利用這些性能參數(shù)來優(yōu)化系統(tǒng)設計。 隨著計算機應

2、用的不斷深入，企業(yè)對計算機系統(tǒng)的依賴程度也日漸增加。尤其在一些關(guān)鍵行業(yè)的關(guān)鍵應用上，應用的后臺核心系統(tǒng)是否具有保護業(yè)務關(guān)鍵數(shù)據(jù)的完整和維持應用程序的高可用性的能力，已經(jīng)成為影響一個公司業(yè)務成敗的關(guān)鍵因素。高可用性是目前對于計算機系統(tǒng)的一個重要的非功能性需求。 高可用性系統(tǒng)的設計比一般的軟件設計要復雜得多。如何在設計階段來預測目標系統(tǒng)的量化參數(shù)是一個問題。這就是本論文的出發(fā)點。 在高可用性系統(tǒng)的設計階段引入量化分析的方法，