《Web服務組合建模和驗證技術研究》是依託東南大學，由李必信擔任項目負責人的面上項目。
基本介紹
- 中文名：Web服務組合建模和驗證技術研究
- 項目類別：面上項目
- 項目負責人：李必信
- 依託單位：東南大學
中文摘要,結題摘要,
中文摘要
Web服務作為一種自治、開放和平台無關的網路化構件，使得軟體開發技術和分散式套用具有更好的復用性。將已有的服務以靜態或動態方式組合成一個新服務的思想，已影響到當今軟體產品開發方式。然而，在如何保證服務組合的質量問題上，正面臨著一些挑戰：如何在網路環境中保證獨立的服務構件之間互操作行為和數據交換的正確性，如何解決傳送方傳送的訊息可能永遠不會被接受方接收，傳送方和接收方存在死鎖，兩個服務進行互動時行為或數據不兼容等問題。所以在Web服務的設計階段，保證Web服務組合建模的正確性尤為重要。基於形式化方法的Web服務組合建模技術就很有用，因為形式化方法具有清晰的語義，能夠使用相應的工具來自動地分析和驗證一個系統是否具有想要的屬性，或者不具有不想要的屬性。本課題從Web服務的動態組合出發，利用形式化和圖形化結合的方式，研究如何對Web服務的行為一致性、時態屬性、時間屬性和機率屬性進行建模和驗證。
結題摘要
本項目在充分理解WEB服務組合行為機理的基礎上，研究了如何利用相關的形式化機制刻畫組合服務的互動行為，研究了如何從用戶端對WEB服務進行集成測試和回歸測試，研究如何對WEB服務的各種場景進行建模，研究了如何描述服務組合過程中的各種屬性描述機制，研究了如何對動態服務組合進行監控和屬性驗證等，並建立了一套比較完整的面向WEB服務測試、監控和驗證的理論框架和試驗支撐平台。 通過三年的研究和探索，本項目在理論和實驗方面取得了如下主要成果： （1）提出一種擴展的層次的有色Petri網（稱為EH-CPN）對組合服務的行為進行建模，並在此基礎上生成用於集成測試的測試用例； （2） 提出了一種BPEL控制流圖（稱為XBFG），針對WEB服務的各種演化情況，實現了對組合服務回歸測試的測試用例選擇和生成； （3）提出了屬性序列圖（PSC）的理論和方法，針對各種屬性（包括安全性、行為一致性、時態屬性、實時屬性和機率屬性等）進行監控和驗證，取得良好的效果； （4）提出了一種全路徑剖析方法，使得對WEB服務的執行路徑的分析和控制得到有效管理； （5）提出了基於形式概念格的修改影響分析方法和基於切片譜的故障定位方法，使得在WEB動態演化過程中修改傳播和故障定位更加有效。 （6）開發了一個面向WEB服務測試、監控和驗證的理論框架和試驗支撐平台。 主要成果統計（1）出版專著1部；（2）錄用和發表論文60篇，其中SCI國際期刊論文8篇（SCI已檢索6篇），EI期刊和國際會議論文58篇（EI已檢索40篇），ISTP檢索6篇；（3）申報發明專利18項（其中2項已經獲得授權）；（4）軟體著作權登記11項；（5）培養博士生12名（其中2名已經獲得博士學位），培養碩士生25名（其中10人已獲得碩士學位），指導本科畢業設計10人；（6）6名青年教師在本項目中獲得鍛鍊和提高。
