《基於約束規劃的語義Web服務動態組合技術研究》是依託北京理工大學，由廖樂健擔任項目負責人的面上項目。
基本介紹
- 中文名：基於約束規劃的語義Web服務動態組合技術研究
- 依託單位：北京理工大學
- 項目負責人：廖樂健
- 項目類別：面上項目
- 負責人職稱：教授
- 批准號：60873237
- 研究期限：2009-01-01 至 2011-12-31
- 申請代碼：F0207
- 支持經費：30（萬元）
項目摘要
Web服務組合是Web服務領域用於整合網際網路的異構程式資源的主要技術。目前工業界主要採用的是基於工作流的靜態服務組合，缺乏語義互操作性，而且無法支持開放環境下陌生服務間的發現與執行的全過程自動化。基於語義Web的動態服務組合是Web服務技術的發展方向。動態服務組合可視為動態環境下的不確定規劃問題，模型檢測規劃是求解該問題的有效技術。本項目的主旨目標是針對語義Web動態服務組合的需求與特徵，研究基於模型檢測規劃的動態服務組合。首先研究在語義Web動態服務組合的套用環境下模型檢測規劃的搜尋求解算法與策略效率，包括基於約束傳播與分層搜尋相結合的模型檢測搜尋剪枝策略。同時基於這種策略，研究語義Web服務功能與過程的約束建模，並在此基礎上開發相應的工具，構建包括服務發現選擇、組合規劃、執行監控驗證等一系列動態服務計算功能的完整平台。
