自適應(yīng)軟件（self-adaptive software）能夠在運(yùn)行時(shí)實(shí)時(shí)監(jiān)測(cè)上下文變化并對(duì)自身進(jìn)行動(dòng)態(tài)調(diào)整，以消除或減輕變化帶來(lái)的不利影響。它能夠有效應(yīng)對(duì)運(yùn)行環(huán)境和用戶需求的頻繁變化，降低軟件維護(hù)壓力，增強(qiáng)自身容錯(cuò)和應(yīng)對(duì)變化的能力，現(xiàn)已成為軟件工程領(lǐng)域的熱點(diǎn)研究問題。

　　為提高自適應(yīng)軟件的可靠性，需對(duì)自適應(yīng)軟件的動(dòng)態(tài)過(guò)程進(jìn)行形式化建模和分析。基于此，國(guó)內(nèi)外學(xué)者針對(duì)自適應(yīng)軟件的形式化方法開展了大量研究，能夠較好地支持自適應(yīng)邏輯和自適應(yīng)行為的刻畫和分析，卻鮮有研究考慮自適應(yīng)動(dòng)態(tài)過(guò)程的時(shí)間約束。然而，實(shí)踐表明，在時(shí)間攸關(guān)應(yīng)用領(lǐng)域，自適應(yīng)軟件系統(tǒng)能否正確運(yùn)行，不僅依賴于自適應(yīng)邏輯的正確性，而且要考慮系統(tǒng)自適應(yīng)過(guò)程的時(shí)間特性。首先，自適應(yīng)軟件的開發(fā)需在原應(yīng)用邏輯之上構(gòu)建自適應(yīng)邏輯，而自適應(yīng)邏輯的引入勢(shì)必會(huì)給原系統(tǒng)帶來(lái)時(shí)間開銷，將自適應(yīng)邏輯的時(shí)間開銷降到最低需綜合考慮自適應(yīng)各個(gè)子過(guò)程（如監(jiān)控、分析、規(guī)劃和執(zhí)行等）的時(shí)間約束；其次，自適應(yīng)軟件的很多應(yīng)用場(chǎng)景具有及時(shí)響應(yīng)性，如課題組前期研究中的自適應(yīng)火災(zāi)應(yīng)急響應(yīng)系統(tǒng)，需要系統(tǒng)能夠及時(shí)捕獲險(xiǎn)情、及時(shí)傳遞險(xiǎn)情并能夠及時(shí)啟動(dòng)應(yīng)急設(shè)備，要刻面這類具有實(shí)時(shí)性的自適應(yīng)場(chǎng)景，時(shí)間特性是一個(gè)重要方面；最后，軟件形式化方法只能分析和驗(yàn)證自適應(yīng)邏輯的正確性，不能衡量自適應(yīng)邏輯的響應(yīng)速度和響應(yīng)效果，現(xiàn)有研究尚缺乏性能指標(biāo)和評(píng)估方法以全面評(píng)估自適應(yīng)邏輯的性能。