構(gòu)件化軟件動(dòng)態(tài)更新關(guān)鍵技術(shù)及形式化研究.pdf

1、在一些任務(wù)關(guān)鍵型應(yīng)用系統(tǒng)中，由于系統(tǒng)具有高可用性需求，在進(jìn)行軟件故障修復(fù)、服務(wù)功能擴(kuò)展或系統(tǒng)性能改進(jìn)等軟件更新操作時(shí)，需要在保持系統(tǒng)持續(xù)運(yùn)行的情況下動(dòng)態(tài)地進(jìn)行。軟件系統(tǒng)如果能夠具備良好的動(dòng)態(tài)更新能力，將有利于提高系統(tǒng)的適應(yīng)性，從而延長軟件生命周期，減少管理和運(yùn)營成本，并滿足不斷增長的軟件復(fù)雜性和適應(yīng)性需求。
　　本文從功能和非功能需求分析著手，研究在構(gòu)件化軟件中提供動(dòng)態(tài)更新支持需要解決的關(guān)鍵技術(shù)問題，并結(jié)合動(dòng)態(tài)模塊化、事務(wù)處理、狀

2、態(tài)遷移等動(dòng)態(tài)更新支持需求，對高階π演算（HOπ）進(jìn)行擴(kuò)展研究，開發(fā)一種可用于刻畫構(gòu)件化軟件動(dòng)態(tài)更新的演算方法，為動(dòng)態(tài)更新安全性、一致性等的保證提供形式化推演機(jī)理。并且，構(gòu)建動(dòng)態(tài)更新支持平臺對解決方案加以技術(shù)實(shí)現(xiàn)，通過原型案例和實(shí)驗(yàn)實(shí)現(xiàn)來驗(yàn)證方法的可行性。本文的研究工作和創(chuàng)新性主要包含以下方面:
　　1.提出一套動(dòng)態(tài)更新支持相關(guān)問題的技術(shù)解決方案，基于軟件構(gòu)件的服務(wù)功能、結(jié)構(gòu)表達(dá)以及構(gòu)件組裝、通信與交互等特征，結(jié)合軟件系統(tǒng)動(dòng)態(tài)更新支

3、持的可用性、正確性等需求，研究構(gòu)件化軟件動(dòng)態(tài)更新中的關(guān)鍵技術(shù)問題?；诎踩ㄐ?、依賴分析、靜態(tài)分析、事務(wù)處理等技術(shù)，給出了更新點(diǎn)確定、更新文件交付、更新時(shí)機(jī)選擇、狀態(tài)提取及遷移、更新失敗恢復(fù)等方面問題的解決方法。
　　2.擴(kuò)展高階π演算以分別刻畫動(dòng)態(tài)模塊化、事務(wù)處理和狀態(tài)保持等動(dòng)態(tài)更新支持機(jī)制，提出一種刻畫構(gòu)件化軟件動(dòng)態(tài)更新的形式化演算（稱為updateπ演算），根據(jù)構(gòu)件化軟件動(dòng)態(tài)更新支持形式化推演的設(shè)計(jì)依據(jù)，引入進(jìn)程序列原語，結(jié)

4、合對高階π演算的動(dòng)態(tài)更新支持?jǐn)U展，給出了updateπ演算的抽象語法、操作語義和推演規(guī)則，并通過應(yīng)用實(shí)例具體刻畫典型動(dòng)態(tài)軟件更新行為，包括更新時(shí)機(jī)選擇、更新執(zhí)行過程、狀態(tài)提取與遷移、更新失敗檢測與恢復(fù)等方面。
　　3.提出一種構(gòu)件化軟件動(dòng)態(tài)更新支持服務(wù)框架，刻畫構(gòu)件開發(fā)管理、底層服務(wù)架構(gòu)、服務(wù)功能實(shí)現(xiàn)、服務(wù)部署與管理和目標(biāo)應(yīng)用系統(tǒng)等部分之間的交互聯(lián)系。其中動(dòng)態(tài)更新支持作為服務(wù)部署與管理模塊的核心功能，實(shí)現(xiàn)了動(dòng)態(tài)更新的各種功能和非功