《非確定型Web服務流程重組的可靠性驗證技術》是依託上海大學，由高洪皓擔任項目負責人的青年科學基金項目。
基本介紹
- 中文名：非確定型Web服務流程重組的可靠性驗證技術
- 項目類別：青年科學基金項目
- 項目負責人：高洪皓
- 依託單位：上海大學
中文摘要,結題摘要,
中文摘要
在雲計算和大數據環境下，由於可變粒度、數據密集型、不確定性和時效性等新特徵，非確定型Web服務成員眾多，成員及成員間關係多變，使得服務流程可能隨時發生變化，如何對重組後的服務流程進行可靠性驗證是保障核心業務邏輯可信的關鍵問題。本課題擬採用機率模型檢驗技術研究非確定型Web服務流程重組的建模與定量驗證，重點研究支持描述非確定型服務特徵的服務模型，研究支持非確定型服務的服務流程重組方法，研究支持非確定型服務流程重組的定量驗證與最佳化方法，研製支持非確定型服務可靠性的建模與定量驗證的原型工具平台。本課題從服務流程重組角度對功能性和非功能性進行形式化驗證，能確保非確定型服務流程重組是可靠的。因此，該項研究將豐富定量的模型檢驗技術在服務計算、服務網路等領域的套用和探索，有助於提高網路軟體的可信性，對促進現代服務業發展具有重要的理論指導意義。
結題摘要
非確定型Web服務的表現形式、內部邏輯和互動過程更加複雜，使得Web服務的服務流程重組成為基於SOA的軟體的一種新延伸，需要研究高效、可靠的服務流程重組技術。針對不確定性的環境採用機率模型檢驗技術研究非確定型Web服務流程重組的建模與定量驗證，主要考慮失效機率等隨機不確定性因素在服務流程上的影響。在模型建模方面，主要研究了狀態圖的形式化轉化，基於序列圖的形式化轉化，BPEL模型形式化轉化；同時開發了可視化服務流程驗證平台，該平台集成了PRISM工具支持機率模型檢驗。在動態配置方法，研究了服務數據接口一致性問題，給出了基於工作流的服務流程動態配置，以及服務流程選取和基於模型的移動環境測試方法。在面向具體套用問題方面，研究了監控服務系統可靠性，給出了監控服務系統可靠性方法，探索了套用機率模型檢驗技術到基於服務接口的校園能耗設備監控方法和智慧型交通流和路徑規劃，以及商品評論推薦。此外，針對雲渲染任務調度、異構Hadopp網路的服務載入平衡、阿里巴巴的餘額寶數據分析等具體問題也研究了考慮機率因素來解決。在專利申請方面，申請了狀態圖轉化驗證方法，基於CPU與GPU混合的渲染方法，機率模型的雲渲染平台任務調度系統及方法，面向雲渲染的分散式檔案系統及構建和訪問方法，基於混合雲的雲計算套用架構及雲計算服務方法，面向雲渲染的異構集群管理系統及方法，基於本體庫的標籤管理方法。非確定型Web服務的服務流程重組可靠性驗證技術的研究將對促進Web服務技術的發展、套用和推廣具有重要的理論意義和套用價值，為工業界和學術界認知和利用非確定型服務提供參考。為服務經濟的發展奠定技術基礎，對於促進我國現代服務業的發展具有重要的理論指導意義，也能為我國現代服務業企業的發展提供有力的技術和方法支持。
