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

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

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

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