

版權說明:本文檔由用戶提供并上傳,收益歸屬內容提供方,若內容存在侵權,請進行舉報或認領
文檔簡介
1、在一些任務關鍵型應用系統(tǒng)中,由于系統(tǒng)具有高可用性需求,在進行軟件故障修復、服務功能擴展或系統(tǒng)性能改進等軟件更新操作時,需要在保持系統(tǒng)持續(xù)運行的情況下動態(tài)地進行。軟件系統(tǒng)如果能夠具備良好的動態(tài)更新能力,將有利于提高系統(tǒng)的適應性,從而延長軟件生命周期,減少管理和運營成本,并滿足不斷增長的軟件復雜性和適應性需求。
本文從功能和非功能需求分析著手,研究在構件化軟件中提供動態(tài)更新支持需要解決的關鍵技術問題,并結合動態(tài)模塊化、事務處理、狀
2、態(tài)遷移等動態(tài)更新支持需求,對高階π演算(HOπ)進行擴展研究,開發(fā)一種可用于刻畫構件化軟件動態(tài)更新的演算方法,為動態(tài)更新安全性、一致性等的保證提供形式化推演機理。并且,構建動態(tài)更新支持平臺對解決方案加以技術實現(xiàn),通過原型案例和實驗實現(xiàn)來驗證方法的可行性。本文的研究工作和創(chuàng)新性主要包含以下方面:
1.提出一套動態(tài)更新支持相關問題的技術解決方案,基于軟件構件的服務功能、結構表達以及構件組裝、通信與交互等特征,結合軟件系統(tǒng)動態(tài)更新支
3、持的可用性、正確性等需求,研究構件化軟件動態(tài)更新中的關鍵技術問題。基于安全通信、依賴分析、靜態(tài)分析、事務處理等技術,給出了更新點確定、更新文件交付、更新時機選擇、狀態(tài)提取及遷移、更新失敗恢復等方面問題的解決方法。
2.擴展高階π演算以分別刻畫動態(tài)模塊化、事務處理和狀態(tài)保持等動態(tài)更新支持機制,提出一種刻畫構件化軟件動態(tài)更新的形式化演算(稱為updateπ演算),根據(jù)構件化軟件動態(tài)更新支持形式化推演的設計依據(jù),引入進程序列原語,結
4、合對高階π演算的動態(tài)更新支持擴展,給出了updateπ演算的抽象語法、操作語義和推演規(guī)則,并通過應用實例具體刻畫典型動態(tài)軟件更新行為,包括更新時機選擇、更新執(zhí)行過程、狀態(tài)提取與遷移、更新失敗檢測與恢復等方面。
3.提出一種構件化軟件動態(tài)更新支持服務框架,刻畫構件開發(fā)管理、底層服務架構、服務功能實現(xiàn)、服務部署與管理和目標應用系統(tǒng)等部分之間的交互聯(lián)系。其中動態(tài)更新支持作為服務部署與管理模塊的核心功能,實現(xiàn)了動態(tài)更新的各種功能和非功
溫馨提示
- 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請聯(lián)系上傳者。文件的所有權益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁內容里面會有圖紙預覽,若沒有圖紙預覽就沒有圖紙。
- 4. 未經(jīng)權益所有人同意不得將文件中的內容挪作商業(yè)或盈利用途。
- 5. 眾賞文庫僅提供信息存儲空間,僅對用戶上傳內容的表現(xiàn)方式做保護處理,對用戶上傳分享的文檔內容本身不做任何修改或編輯,并不能對任何下載內容負責。
- 6. 下載文件中如有侵權或不適當內容,請與我們聯(lián)系,我們立即糾正。
- 7. 本站不保證下載資源的準確性、安全性和完整性, 同時也不承擔用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。
最新文檔
- 普適服務動態(tài)更新的形式化研究.pdf
- 基于形式化構件模型的軟件重用研究.pdf
- 面向產品方案的形式化設計關鍵技術研究.pdf
- 形式化聯(lián)鎖軟件測試技術研究.pdf
- 軟件產品線關鍵技術研究——形式化的產品線體系結構技術.pdf
- 終端軟件管理及其動態(tài)更新關鍵技術研究.pdf
- 軟件分析模式的形式化研究.pdf
- 構件的形式化描述及其組合研究.pdf
- 基于形式化描述的構件庫應用研究.pdf
- 基于形式化方法的軟構件接口規(guī)范.pdf
- 基于構件的形式化需求分析方法研究與實現(xiàn).pdf
- 基于構件的形式化方法在軟件開發(fā)中的應用研究.pdf
- 協(xié)議形式化模型及建模技術研究.pdf
- 軟件體系結構的形式化描述.pdf
- Verilog形式化語義研究.pdf
- 實時服務構件的語義特征和行為組裝形式化技術研究.pdf
- 形式化執(zhí)法問題研究.pdf
- 協(xié)議形式化技術的應用研究.pdf
- 信息融合模型及形式化研究.pdf
- 基于演化構件的形式化需求分析方法研究與應用.pdf
評論
0/150
提交評論