基于交互模式的軟件體系結構動態(tài)演化方法.pdf

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

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

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