《面向行為約束的可信Web服務組合方法研究》是依託山西大學，由范小芹擔任項目負責人的青年科學基金項目。
基本介紹
- 中文名：面向行為約束的可信Web服務組合方法研究
- 項目類別：青年科學基金項目
- 項目負責人：范小芹
- 依託單位：山西大學
項目摘要,結題摘要,
項目摘要
Web服務組合方法是構建面向服務的新一代軟體系統的理論基礎，具有重要的理論與套用價值。項目擬針對包含功能要求和行為約束的用戶需求，深入剖析現有Web服務組合方法存在的不足，進而面向Web服務的內部執行過程和服務間的互動過程，從行為的角度研究可信的Web服務組合方法。研究內容包括：（1）針對用戶需求中的行為約束和Web服務內部執行過程中的動態行為信息，研究有效的模型構建方法。(2)面向行為約束研究基於鬆弛匹配的Web服務發現方法，進而研究行為意識的語義Web服務組合方法。（3）為了提高組合服務執行行為的預期性，面向服務互動過程，從行為、功能等角度研究有效的組合服務形式化驗證分析方法。（4）基於上述理論成果，面向電子商務領域研製基於行為的可信服務組合原型系統。本項目的研究成果將有助於豐富和發展Web服務計算理論，同時為企業信息化、Web服務業乃至軟體產業提供一定的技術支撐。
結題摘要
在項目研究過程中，圍繞Web服務描述模型構建方法、面向過程的Web服務發現和組合方法、基於行為的Web服務選擇方法、組合服務的形式化驗證分析方法以及套用驗證等內容開展了研究，共發表學術論文12篇，申請軟體著作權登記2項。研究內容不僅涵蓋了全部研究工作計畫，且在對服務選擇也進行了深入的研究。因此，項目研究工作按計畫執行且執行情況良好，課題組完成了任務書中規定的各項考核指標。
