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

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

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