移動計算環境下服務不確定性的語義建模與鎮定

《移動計算環境下服務不確定性的語義建模與鎮定》是依託華南師範大學，由黃昌勤擔任項目負責人的面上項目。

基本介紹

• 中文名：移動計算環境下服務不確定性的語義建模與鎮定
• 項目類別：面上項目
• 項目負責人：黃昌勤
• 依託單位：華南師範大學

項目摘要

提高服務可用、可靠及性能等方面的穩定性是當前移動服務計算中急待解決的挑戰性問題。本項目以前期研究成果- - 移動計算中服務不確定性模型為基礎，針對該模型對服務動態語義表達和驗證的不足，結合移動計算環境下服務狀態變遷和互動行為的特點，拓展直覺類型論，使其能兼顧服務互動行為描述和動態語義驗證兩方面的效能，並以拓展的直覺類型論、貝葉斯網路和本體為基礎理論工具，建立移動計算環境下服務不確定性語義模型和服務不確定性描述語言，實現服務不確定性的語義形式化描述。以此為基礎，完善基於拓展直覺類型論的語義驗證理論與機制，並結合已有推理技術和研究團隊已取得的平台基礎，建立移動計算環境下降低或者消除服務不確定性的策略、服務不確定性預警機制、服務（含相關資源）行為協調與調度機制（含實現算法），並基於移動電子支付服務進行驗證與示範。項目的實施對可移動雲服務發展具有重要理論意義和實際套用價值。

結題摘要

提高服務可用、可靠及性能等方面的穩定性是當前移動服務計算中急待解決的挑戰性問題。本項目主要研究移動計算環境下服務不確定的語義建模與鎮定技術，主要研究成果如下。 1.針對現有方法對服務動態語義表達和驗證的不足，研究移動計算環境下服務狀態變遷和互動行為邏輯，基於行為類型拓展了Martin-Löf’s類型論，實現服務互動行為描述和動態語義驗證。 2.根據宿居上下文因素或獨立因素，通過形式化方法構建移動環境下服務機率模型，實現統一服務不確定性語義模型建模。 3.完善基於訊息語義的服務驗證理論與機制，建立面向移動計算的服務不確定性描述語言規範，提出基於拓展類型論的服務描述語言。 4.研究服務不確定性理論，解決移動計算環境下服務及其不確定性的語義驗證問題，結合已取得的平台基礎，建立移動計算環境下降低或者消除服務不確定性的策略、服務不確定性預警機制、服務行為協調與調度機制，提出了以數據保障、服務替換為代表的輔助方法，實現移動服務的不確定性驗證與鎮定。 項目以服務建模為中心完善了不確定性基礎理論，並已從語義模型、描述語言及語義驗證、不確定性鎮定等方面展開研究，在移動支付、資源存儲、健康管理等方面對移動服務進行驗證與示範，取得了較好的研究成果。項目的實施對可移動雲服務發展具有重要理論意義和實際套用價值。