《大粒度服務協同的適配機制與算法研究》是依託浙江大學，由鄧水光擔任項目負責人的青年科學基金項目。
基本介紹
- 中文名：大粒度服務協同的適配機制與算法研究
- 依託單位：浙江大學
- 項目負責人：鄧水光
- 項目類別：青年科學基金項目
- 批准號：60803004
- 申請代碼：F0203
- 負責人職稱：教授
- 研究期限：2009-01-01 至 2011-12-31
- 支持經費：19（萬元）
項目摘要
服務適配是提高服務協同健壯性的關鍵，也是構建面向服務的新一代軟體系統的基礎，具有巨大的研究與套用價值。大粒度服務作為服務形式的重要發展趨勢，因集成了大量基本服務且包含了複雜業務過程，致使大粒度服務的協同尤為複雜，這給服務適配的研究帶來了新的挑戰。項目擬針對現有大粒度服務的適配機制存在適用性不強、缺乏對協同上下文的考慮、不支持對死鎖情況下的適配等不足展開研究。在對已有大粒度服務模型進行分析和比較的基礎上，總結出大粒度服務行為及其協同特點，建立大粒度服務通用行為模型，並採用π演算對其進行形式化表達；利用π演算的操作語義和自動推演研究大粒度服務協同失配的自動檢測；基於失配檢測結果與通用行為模型，採用π演算的行為理論以及π演算對動態演變的軟體體系的刻畫能力，研究適配器的自動生成與協同演化。最後，我們將研製一個大粒度服務組合的原型系統，並以此作為試驗平台對適配機制與算法進行分析和評估。
