《分散式系統中軟體動態更新的形式化研究》是依託上海交通大學，由黃林鵬擔任項目負責人的面上項目。
基本介紹
- 中文名：分散式系統中軟體動態更新的形式化研究
- 項目類別：面上項目
- 項目負責人：黃林鵬
- 依託單位：上海交通大學
- 批准號：60673116
- 申請代碼：F0203
- 負責人職稱：教授
- 研究期限：2007-01-01 至 2009-12-31
- 支持經費：25（萬元）
項目摘要
一些服務於關鍵套用的分散式系統在持續運行中為了適應不斷變化的需求，必須不斷更新以修正軟體故障、擴展服務功能。但目前還缺乏簡單、可靠的形式化方法，以理解、推演、分析、預測和評價分散式系統中軟體動態更新的問題。本項目旨在對分散式系統的軟體更新行為的各類需求和機制進行分析，抽象出獨立於特定語言和運行環境的有一定通用性的框架模型，設計出描述動態更新機制的形式化演算及相關類型系統，通過理論分析和觀察系統原型考察動態更新可能出現的問題，預測系統的演化趨勢，提出相應的解決方案以指導支持動態更新的分散式系統的設計。項目研究將對支持動態更新的分散式系統的開發產生積極的影響，提出的形式化方法將能夠幫助系統設計者和使用者從理論上理解、描述並驗證基於特定程式語言和具體運行環境的分散式系統的軟體動態更新機制，並為可動態更新的分散式系統的開發提供可靠的理論指導和分析工具。
