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

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

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

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

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