內容簡介
Web服務組合是SOA&SOC的核心技術，能夠快捷滿足動態、複雜的業務需求，解決套用系統中“隨需應變”的難題，實現套用系統集成和軟體復用，成為分散式軟體開發的新范型。但是，當前對於Wet）服務及其組合的建模、分析與驗證等方面的研究還不完善，許多問題還亟待解決。
（1）提出Web服務組合的語義Petri網模型，為驗證Wet）服務組合的流程正確性和語義一致性奠定基礎。
（2）改進Web服務組合的流程正確性驗證算法。以語義Petri網為基礎，對服務組合流程正確性驗證進行改進，並給出相應的算法。
（3）提出Web服務組合的語義一致性驗證。首先給出組合Web服務與服務組合規劃之間的語義一致性所包含的內容，其次分別給出相應的驗證算法。
（4）將Web服務組合建模與驗證套用於水利領域。對水資源調度的Web服務組合系統進行語義Petri網建模與驗證。
《web服務組合建模與驗證》可供計算機專業或信息類相關專業研究生參閱，也可供從事計算機套用的科技工作者參考。
作者簡介
程永上，1971年4月出生，江蘇連雲港人，副教授，工學博士，南京財經大學信息工程學院教師，目前在河海大學計算機與信息工程學院攻讀計算機軟體與理論博士後，師從著名學者王志堅教授。
主要研究方向：服務計算、軟體測試和軟體自動化。先後參與同家自然科學基金“多任務學習的研究”（60805022），國家自然科學基金項目“基於動態行為的Web構件匹配機制研究”（60573098），國家973項目（2002CB312002）子課題“網構軟體組裝機制研究”，江蘇省自然科學基金項目“基於語義的Web構件檢索匹配方法研究”（BK2006168），江蘇省高新技術項目“基於主動服務的數據集成半台技術研究”（BG2005036）等項目研究工作，以及大量計算機套用開發項目，發表論文20餘篇。
圖書目錄
1 緒論
1.1 研究背景
1.1.1 Web服務
1.1.2 語義Web服務
1.1.3 Web服務組合
1.2 研究現狀
1.2.1 Web服務組合動機
1.2.2 Web服務組合建模
1.2.3 Web服務組合驗證
1.3 本書研究內容和創新點
1.4 本書的組織結構
2 Web服務組合的語義Petri網模型
2.1 Petri網
2.1.1 Petri網概念
2.1.2 Petri網性質
2.1.3 Petri網分析方法
2.2 有色Petri網
2.3 Petri網描述語言PNML
2.3.1 PNML結構
2.3.2 基於XML的PNML語法
2.3.3 Petri網類型定義
2.4 語義Petri網模型
2.4.1 OWL-S
2.4.2 語義Petri網
2.5 語義Petri網的PNML
2.6 Web服務組合模式
2.7 Web組合服務形式化建模套用
2.8 本章小結
3 Web服務組合流程正確性驗證
3.1 Web服務組合形式化驗證
3.1.1 Web服務組合形式化驗證目的
3.1.2 相關Web服務組合形式化驗證方法
3.2 Web服務組合流程正確性驗證
3.2.1 服務組合語法正確性驗證
3.2.2 服務組合可達性驗證
3.2.3 服務組合死鎖驗證
3.2.4 服務組合有界性驗證
3.3 本章小結
4 Web服務組合語義一致性驗證
4.1 Web服務組合語義一致性內容
4.2 Web服務組合功能一致性驗證
4.2.1 服務組合功能一致性
4.2.2 服務組合功能一致性驗證
4.3 Web服務組合行為一致性驗證
4.3.1 服務組合行為一致性
4.3.2 服務組合行為一致性驗證
4.4 Web服務組合QoS一致性驗證
4.4.1 服務組合QoS一致性
4.4.2 服務組合QoS一致性驗證
4.5 本章小結
5 水資源調度組合系統的建模與驗證
5.1 水利領域套用背景
5.2 基於web服務組合的水資源調度系統
5.2.1 水資源調度組合系統的分析
5.2.2 水資源調度組合系統的語義Petri網模型
5.2.3 水資源調度組合系統的PNML描述
5.2.4 水資源調度組合系統的驗證
5.3 本章小結
6 總結和展望
6.1 本書總結
6.2 下一步研究工作
參考文獻
後記
