《基於機率模型檢驗的Web服務動態自適應配置》是依託上海大學，由繆淮扣擔任項目負責人的面上項目。
基本介紹
- 中文名：基於機率模型檢驗的Web服務動態自適應配置
- 項目類別：面上項目
- 項目負責人：繆淮扣
- 依託單位：上海大學
中文摘要,結題摘要,
中文摘要
以動態自適應配置作為處理服務失效的手段，採用機率模型檢驗方法保證配置的正確性和可靠性，研究Web服務軟體的監控、動態配置、形式驗證以及失效服務預測等問題。主要包括：在機率時間自動機模型框架下對運行時服務進行建模。採用擴展的LSC分類描述威脅模型，從威脅模型自動抽取滿足足夠正確性和可靠性的性質。用機率模型檢驗器檢驗服務模型，實現服務監控。研究服務實例池的形式化描述，實現服務實例管理和服務依賴關係管理自動化。研究基於QoS的倒排索引方法實現服務快速檢索。研究基於單源服務的動態配置方法和基於多源服務的動態配置方法局部地處理失效服務。研究兩階段機率相容性檢驗方法，採用抽象精化手段最佳化和組合驗證技術緩減狀態空間爆炸問題。構造服務依賴圖，給出服務信譽，採用回歸分析方法預測服務可靠性；研究分層式預測方法。開發與集成相應的支持工具。該項研究對於提高Web服務的可信性和質量有重大意義。
結題摘要
可信的Web服務軟體不僅需要滿足預期用戶對服務軟體的功能性需求，而且在受到干擾(外部攻擊、錯誤操作或環境影響)時，還需要具有連續提供服務的能力，不會出現用戶需求以外的錯誤行為。定量模型檢驗方法作為模型檢驗技術的擴展，可以對計算機網路系統的時間約束，通信系統引起的不可靠、不可預測性行為進行建模和檢驗，實現性能評估。本課題針對Web服務軟體的動態配置及可信性保障，以動態自適應配置作為處理服務失效的手段，採用機率模型檢驗方法保證配置的正確性和可靠性，研究Web服務軟體的監控、動態配置、形式驗證以及失效服務預測等問題。項目在Web服務組合可靠性建模與驗證、服務系統可靠性分析與服務質量驗證、服務流程的動態替換與驗證、基於反例引導的抽象精化驗證方法、使用機率模型檢驗的服務推薦、基於服務的系統設計的自動化定量驗證支持工具以及移動計算與服務軟體的測試驗證方法等方面取得了研究成果。公開發表了期刊論文14篇、學術會議論文18篇，合計學術論文32篇，其中SCI檢索6篇，EI檢索22篇。獲得授權發明專利2項、軟體著作權1項。培養了研究生10多名，2名獲博士學位，9名獲碩士學位。承辦了2個國際學術會議。該項目研究對於提高Web服務的可信性和質量有重要意義。
