面向自適應(yīng)中間件的語義構(gòu)件動態(tài)組合研究與應(yīng)用.pdf

1、隨著普適計(jì)算的提出，以及構(gòu)件化軟件開發(fā)模式的興起，基于構(gòu)件的自適應(yīng)中間件研究越來越受到人們的關(guān)注。然而，傳統(tǒng)構(gòu)件仍缺乏對于構(gòu)件行為與交互的描述，導(dǎo)致構(gòu)件組合不可預(yù)見，難以滿足一些具有復(fù)雜需求的服務(wù)。在進(jìn)行構(gòu)件組合時，對于新舊構(gòu)件行為的等價性判定，以及新構(gòu)件在系統(tǒng)中運(yùn)行的兼容性分析仍存在判定結(jié)果不夠精確、缺乏判定標(biāo)準(zhǔn)等問題。同時，在構(gòu)件動態(tài)組合過程中未對各種組合行為的自適應(yīng)能力進(jìn)行分析，也未對各種自適應(yīng)行為進(jìn)行對比與選擇，從而使得系統(tǒng)整體

2、的可靠性、穩(wěn)定性與高效性大打折扣。
　　 本文著重針對以上這些問題展開研究與實(shí)踐工作，在自適應(yīng)中間件中引入語義構(gòu)件，使系統(tǒng)具備自我調(diào)整能力以適應(yīng)外部環(huán)境的變化。同時，在進(jìn)行構(gòu)件的動態(tài)調(diào)整之前，基于p演算對新舊構(gòu)件間的行為等價性進(jìn)行分析，并要求新構(gòu)件在原系統(tǒng)中運(yùn)行時具備一定的兼容性，同時對每種可能的調(diào)整動作進(jìn)行分析比對并選擇，盡可能保證系統(tǒng)的可靠性、穩(wěn)定性與高效性，滿足用戶的服務(wù)需求。以下是本文的主要工作：
　　 首先，基

3、于p演算的相關(guān)語法與操作語義，對構(gòu)件行為進(jìn)行形式化建模，之后著重分析并判定構(gòu)件行為的等價性與兼容性。在研究構(gòu)件行為等價性時，首先給出等價性判定相關(guān)理論，之后通過具體案例分析構(gòu)件行為等價性，最后運(yùn)用MWB工具建模并驗(yàn)證行為等價性；在研究構(gòu)件行為兼容性時，首先給出兼容性驗(yàn)證的方法，之后通過具體案例分析構(gòu)件行為之間的兼容性。構(gòu)件行為的等價性保證了進(jìn)行構(gòu)件替換操作時構(gòu)件功能性行為的一致性，以及構(gòu)件接口的匹配性；構(gòu)件行為的兼容性保證了構(gòu)件組合內(nèi)部

4、流程結(jié)構(gòu)正確性，避免構(gòu)件交互過程中的死鎖或不可達(dá)狀態(tài)出現(xiàn)，確保系統(tǒng)正常穩(wěn)定可靠運(yùn)行。
　　 其次，基于前幾章的研究工作提出構(gòu)件動態(tài)自適應(yīng)組合方法。我們在該組合方法中加入了自適應(yīng)因子的概念，用于衡量各組合行為的自適應(yīng)能力，并對自適應(yīng)因子進(jìn)行分類與計(jì)算。之后，給出了構(gòu)件動態(tài)組合的流程，可根據(jù)自適應(yīng)因子大小對組合行為進(jìn)行對比并選擇。
　　 最后，將基于語義構(gòu)件的動態(tài)自適應(yīng)組合方法應(yīng)用到移動音樂系統(tǒng)中，并給出具體的系統(tǒng)設(shè)計(jì)以及構(gòu)