基于交互模式的軟件體系結(jié)構(gòu)動(dòng)態(tài)演化方法.pdf

1、傳統(tǒng)的軟件系統(tǒng)維護(hù)和調(diào)整都是通過(guò)停機(jī)升級(jí)的方式進(jìn)行的。然而對(duì)于航空通訊系統(tǒng)、工業(yè)控制系統(tǒng)、醫(yī)療生命系統(tǒng)等關(guān)鍵性系統(tǒng)而言，停機(jī)升級(jí)將威脅人們的生命安全或者帶來(lái)巨大的經(jīng)濟(jì)損失。另一方面，普適計(jì)算和商務(wù)智能等新的計(jì)算方式的出現(xiàn)導(dǎo)致大量自適應(yīng)軟件系統(tǒng)的出現(xiàn)，這些系統(tǒng)要求具有環(huán)境感知以及相應(yīng)的動(dòng)態(tài)適應(yīng)能力。因此，運(yùn)行時(shí)的動(dòng)態(tài)演化和動(dòng)態(tài)升級(jí)能力成為這些高可用性(highly available)或適應(yīng)性(adaptive)系統(tǒng)的根本需求。

2、現(xiàn)有的一些系統(tǒng)動(dòng)態(tài)演化方法的研究大多從單個(gè)對(duì)象或構(gòu)件的角度出發(fā)，而且缺少相應(yīng)的形式化手段來(lái)保證動(dòng)態(tài)演化的正確性和一致性。且由于軟件系統(tǒng)是由許多構(gòu)件(或?qū)ο?組成，相互之間存在著復(fù)雜的靜態(tài)依賴和動(dòng)態(tài)交互關(guān)系，具體的動(dòng)態(tài)演化實(shí)現(xiàn)方式因系統(tǒng)體系結(jié)構(gòu)風(fēng)格、交互方式等因素的差異而存在很大的不同。針對(duì)這些問(wèn)題，本文從基于構(gòu)件的軟件體系結(jié)構(gòu)動(dòng)態(tài)演化的角度出發(fā)，提出了一種基于交互模式的軟件體系結(jié)構(gòu)動(dòng)態(tài)演化方式。該方法以多個(gè)構(gòu)件之間各種不同的交互模式作為

3、動(dòng)態(tài)演化實(shí)現(xiàn)決策的基礎(chǔ)，針對(duì)不同的構(gòu)件交互模式提出相應(yīng)的動(dòng)態(tài)演化實(shí)現(xiàn)策略。在面對(duì)具體的軟件體系結(jié)構(gòu)演化問(wèn)題時(shí)，就可以對(duì)需要進(jìn)行演化的系統(tǒng)部分的交互模式進(jìn)行分解，然后在每個(gè)基本交互模式動(dòng)態(tài)演化策略的基礎(chǔ)上進(jìn)行整合，并考慮構(gòu)件運(yùn)行環(huán)境的支持性。為了保證動(dòng)態(tài)演化的一致性，還提出了一種基于通信順序進(jìn)程(communicating sequential professes，簡(jiǎn)稱CSP)的構(gòu)件交互行為一致性驗(yàn)證方法。最后，本文還將通過(guò)一個(gè)實(shí)例來(lái)驗(yàn)證