基于構(gòu)件的動(dòng)態(tài)軟件體系結(jié)構(gòu)模型的研究.pdf

1、目前,軟件體系結(jié)構(gòu)的研究主要集中在靜態(tài)體系結(jié)構(gòu)上.對(duì)于一些需要長(zhǎng)期運(yùn)行并具有特殊使命的系統(tǒng)(例如金融系統(tǒng)、航空航天系統(tǒng)等),如果系統(tǒng)需求或環(huán)境了發(fā)生變化需要更新,此時(shí)停止系統(tǒng)運(yùn)行進(jìn)行更新或維護(hù),將會(huì)引起高額的費(fèi)用和巨大的風(fēng)險(xiǎn).靜態(tài)體系結(jié)構(gòu)缺乏表示動(dòng)態(tài)更新的機(jī)制,很難用它來(lái)描述分析這樣的系統(tǒng).因此,動(dòng)態(tài)體系結(jié)構(gòu)的研究應(yīng)運(yùn)而生,它主要研究軟件系統(tǒng)由于特殊需要必須在連續(xù)運(yùn)營(yíng)情況下的體系結(jié)構(gòu)變化與支撐平臺(tái).該文針對(duì)運(yùn)行系統(tǒng)的動(dòng)態(tài)更新問(wèn)題,展開(kāi)了

2、相關(guān)的研究工作.首先介紹了動(dòng)態(tài)體系結(jié)構(gòu)的基本概念、特點(diǎn)以及研究中所涉及的基本問(wèn)題,指出動(dòng)態(tài)體系結(jié)構(gòu)研究中存在的難點(diǎn):缺乏通用的結(jié)構(gòu)模型、有效的形式化描述機(jī)制和分析工具.在上述工作的基礎(chǔ)之上,該文提出了一種基于構(gòu)件的動(dòng)態(tài)體系結(jié)構(gòu)模型CBDA(Component_Based Dynamic Architecture),該模型分為三層,每層各司其職,各自執(zhí)行相應(yīng)的更新請(qǐng)求.該文分析了兩類典型的更新請(qǐng)求實(shí)例,結(jié)果表明CBDA模型能夠很好地支持運(yùn)

3、行系統(tǒng)的動(dòng)態(tài)更新.同時(shí),它具有良好的開(kāi)放性,能夠通過(guò)控制和更新管理機(jī)制進(jìn)行擴(kuò)展.形式化描述動(dòng)態(tài)體系結(jié)構(gòu)的關(guān)鍵在于動(dòng)態(tài)更新時(shí)系統(tǒng)行為之間的交互的描述.該文在CBDA模型的基礎(chǔ)上,結(jié)合Wright和CSP,給出一種對(duì)運(yùn)行系統(tǒng)的動(dòng)態(tài)更新進(jìn)行形式化描述和分析方法.Wright是一種通用的體系結(jié)構(gòu)描述語(yǔ)言,CSP基于進(jìn)程代數(shù),二者的結(jié)合使得這種描述和分析方法具備了通用性和嚴(yán)格的數(shù)學(xué)基礎(chǔ).該文以一個(gè)實(shí)際系統(tǒng)為例,按照CBDA模型對(duì)其進(jìn)行動(dòng)態(tài)更新,并