Web服務組合是SOA&SOC的核心技術,能夠快捷滿足動態(tài)、復雜的業(yè)務需求,解決應用系統(tǒng)中“隨需應變”的難題,實現應用系統(tǒng)集成和軟件復用,成為分布式軟件開發(fā)的新范型。但是,當前對于Wet)服務及其組合的建模、分析與驗證等方面的研究還不完善,許多問題還亟待解決?!秝eb服務組合建模與驗證》針對Web服務組合建模與驗證方面展開研究,主要內容如下:(1)提出Web服務組合的語義Petri網模型,為驗證Wet)服務組合的流程正確性和語義一致性奠定基礎。(2)改進Web服務組合的流程正確性驗證算法。以語義Petri網為基礎,對服務組合流程正確性驗證進行改進,并給出相應的算法。(3)提出Web服務組合的語義一致性驗證。首先給出組合Web服務與服務組合規(guī)劃之間的語義一致性所包含的內容,其次分別給出相應的驗證算法。(4)將Web服務組合建模與驗證應用于水利領域。對水資源調度的Web服務組合系統(tǒng)進行語義Petri網建模與驗證。本書可供計算機專業(yè)或信息類相關專業(yè)研究生參閱,也可供從事計算機應用的科技工作者參考。