《面向大粒度服務軟體的動態配置模型與方法研究》是依託杭州電子科技大學，由殷昱煜擔任項目負責人的青年科學基金項目。
基本介紹
- 中文名：面向大粒度服務軟體的動態配置模型與方法研究
- 項目類別：青年科學基金項目
- 項目負責人：殷昱煜
- 依託單位：杭州電子科技大學
項目摘要,結題摘要,
項目摘要
動態配置技術被視作軟體自適應、自演化和自管理的基礎。基於SOA的軟體動態配置方法是提高其可用性的重要手段。大粒度服務作為服務形式的重要發展，因行為及協同過程尤為複雜，給基於SOA的軟體動態配置方法研究帶來了新的挑戰。課題擬針對現有方法未能從巨觀層面對動態配置過程進行指導，缺乏對大粒度服務的考慮，不能對大粒度服務軟體的動態配置需求進行全面支持等不足展開研究。通過分析和總結大粒度服務軟體的行為及協同特點，建立大粒度服務軟體的動態配置模型，對動態配置過程進行巨觀指導，並使用馬丁洛夫類型論對其形式化描述，為保證動態配置過程的正確奠定基礎；之後根據大粒度服務軟體對動態配置的不同需求，基於動態配置域選擇與重組方式，提出靈活、可靠的功能需求驅動的動態配置機制；引入動態配置因子的概念，提出高效柔性的QoS需求驅動的動態配置機制。最後，課題將研製一個大粒度服務軟體動態配置平台，對所提出的方法進行分析與評估。
結題摘要
在課題執行的三年時間裡，各項研究內容均按研究計畫順利開展，並取得了一定的成果。在理論層面上，首先，本課題引入Martin-Löf’s類型論(Martin-Löf’s Type Theory, MLTT)作為研究理論基礎，在深入分析大粒度服務特點的基礎上，提出反向接口依賴關係的概念，並從內外部行為兩方面，使用並擴展MLTT對大粒度服務進行建模，同時給出可以支持大粒度服務可替換性定義及其判定方法，該理論成果為大粒度服務軟體研究奠定了基礎。其次，基於模型檢測技術，提出了一種適用於集成了規則引擎的企業服務匯流排中的訊息規則路由的正確性驗證方法。最後，考慮到服務間爆炸性增長的數據，本課題提出了一種基於模型的數據密集型服務抽象精化方法對數據密集型服務進行建模和驗證。在方法層面，首先，本課題提出了功能驅動的動態配置方法，並給出了動態配置域的定義和動態配置域的識別算法。動態配置的實施以域為單位進行，降低了動態配置的代價。其次，為了保證大粒度服務軟體的非功能性，提出了一種靈活的動態配置方法，該方法首先嘗試單個服務的替換，然後嘗試多個服務的替換直到用戶的QoS需求得到滿足。其中，動態配置因子的概念被提出以便找到最適合被替換的成員服務。再次，課題還對服務QoS預測方法進行了研究，先後提出了多種QoS預測方法，提出了基於混合協同過濾的服務QoS預測方法，通過對服務和用戶分類，並根據不同的分類使用不同的預測方法；考慮服務和用戶網路位置，提出了基於矩陣分解的服務QoS預測方法；提出了基於潛在因子模型的服務QoS預測方法，該方法將可能隱含網路質量因素，如國家和服務提供商的信息考慮在內。本課題共發表14篇學術論文，其中SCI檢索5篇，國內一級期刊2篇，EI期刊3篇，服務計算頂級會議2篇，同時獲得國家發明專利1項。
