《大粒度網路服務協同中行為適配機制與算法研究》是依託北京郵電大學，由程渤擔任項目負責人的青年科學基金項目。
基本介紹
- 中文名：大粒度網路服務協同中行為適配機制與算法研究
- 項目類別：青年科學基金項目
- 項目負責人：程渤
- 依託單位：北京郵電大學
項目摘要,結題摘要,
項目摘要
隨著無線通信網路和計算機網路的不斷融合，網路服務環境的多樣性和網路服務邏輯的複雜化推動著網路服務理論的研究向深層次發展，大粒度網路服務作為服務形式的重要發展趨勢，給服務適配的研究帶來了新的挑戰。本課題針對目前大粒度服務協同的適配機制存在適用性不強的特點，結合網路服務的動態性、異構性、分散式、松耦合等特點，深入研究基於行為適配的網路服務協同模型及其構造方法，探究支持網路服務行為適配器的自動構造方法以及動態演化機制和行為一致性驗證的理論基礎和關鍵技術。這一項目的成功實施，將有助於增強大粒度網路服務協同過程的正確性和健壯性，將為網路以用戶為中心的服務模式與創新產生積極的影響。因此，該項研究具有重要理論意義和現實意義。
結題摘要
隨著無線通信網路和計算機網路的不斷融合，網路服務環境的多樣性和網路服務邏輯的複雜化推動著網路服務理論的研究向深層次發展，給大粒度網路服務的協同適配研究帶來了新的挑戰。本項目結合網路服務協同的動態性、異構性、分散式、松耦合等特點，提出了大粒度網路服務協同適配的機理和相關理論體系。具體如下： 1、針對大粒度服務協同的特徵，對傳統的Pi 演算擴展為狀態Pi演算，包括語法擴展、語義、類型系統等擴展方面，提出了狀態Pi 演算的大粒度服務協同的通用行為模型建模方法。同時，針對大粒度服務協同描述語言BPEL，由於BPEL服務組合流程往往從表面上看不出流程設計有何問題，可通過將BPEL轉化為形式化Petri網模型，從而分析的大粒度服務協同過程中出現的死鎖、不可達和不安全問題。 2、提出基於Pi狀態演算的的大粒度服務協同互動行為的正確性驗證方法，通過定義大粒度服務協同進程之間的互動狀態和模擬，以及可能發生異常的未指定接收、死鎖和活鎖三種性質，提出大粒度網路服務協同流程之間的相容性和相容度計算公式。在此基礎上，提出一種使用調解規則對協同行為進行轉換的調解方法。同時，結合行為理論，對大粒度網路服務協同自身的完整行為及其狀態空間進行推演與適配調解。 3、通過引入上下文感知計算，提出了大粒度網路服務協同中的複合事件檢測算法，根據複合事件做出決策，服務流程自適應運行。提出了位置感知的行動網路服務協同適配機制和方法，提出了位置感知的大粒度網路信息服務描述語言和方法，使移動大粒度網路服務提供具有情景感知和動態調配能力。 4、建立了基於SOA技術架構的智慧型業務平台，該服務平台以服務匯流排ESB為核心，包括了服務需求與BPEL生成子系統，多任務並發執行子系統，服務管理子系統以及通信能力及其它Web服務接口子系統等。在平台原型系統基礎上設計了多媒體會議典型服務，並提出了多媒體會議大粒度服務協同的質量保障策略和最佳化算法。目前，相關理論研究成果已經在北京聯通和教育網上開展了驗證和示範套用。項目在所取得的研究成果的基礎上，共發表或錄用學術論文39 篇，其中SCI檢索的國際期刊論文20篇，EI檢索的重要國際學術會議論文19篇。新申請國家發明專利7項。培養博士研究生7名，碩士研究生4名。
