《web服務組合建模與驗證》是2011年中國物資出版社出版的圖書，作者是程永上。該書可供計算機專業或信息類相關專業研究生參閱，也可供從事計算機套用的科技工作者參考。
基本介紹
- 書名：web服務組合建模與驗證
- 作者：程永上
- ISBN：9787504738585
- 頁數：181
- 定價：35.00元
- 出版社：中國物資出版社
- 出版時間：2011年6月1日
- 裝幀：平裝
- 開本：16開
內容簡介,圖書目錄,作者簡介,
內容簡介
Web服務組合是SOA&SOC的核心技術，能夠快捷滿足動態、複雜的業務需求，解決套用系統中“隨需應變”的難題，實現套用系統集成和軟體復用，成為分散式軟體開發的新范型。但是，當前對於Wet）服務及其組合的建模、分析與驗證等方面的研究還不完善，許多問題還亟待解決。
（1）提出Web服務組合的語義Petri網模型，為驗證Wet）服務組合的流程正確性和語義一致性奠定基礎。
（2）改進Web服務組合的流程正確性驗證算法。以語義Petri網為基礎，對服務組合流程正確性驗證進行改進，並給出相應的算法。
（3）提出Web服務組合的語義一致性驗證。首先給出組合Web服務與服務組合規劃之間的語義一致性所包含的內容，其次分別給出相應的驗證算法。
（4）將Web服務組合建模與驗證套用於水利領域。對水資源調度的Web服務組合系統進行語義Petri網建模與驗證。
圖書目錄
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 下一步研究工作
參考文獻
後記
作者簡介
程永上，1971年4月出生，江蘇連雲港人，副教授，工學博士，南京財經大學信息工程學院教師，在河海大學計算機與信息工程學院攻讀計算機軟體與理論博士後，師從著名學者王志堅教授。
主要研究方向：服務計算、軟體測試和軟體自動化。先後參與同家自然科學基金“多任務學習的研究”（60805022），國家自然科學基金項目“基於動態行為的Web構件匹配機制研究”（60573098），國家973項目（2002CB312002）子課題“網構軟體組裝機制研究”，江蘇省自然科學基金項目“基於語義的Web構件檢索匹配方法研究”（BK2006168），江蘇省高新技術項目“基於主動服務的數據集成半台技術研究”（BG2005036）等項目研究工作，以及大量計算機套用開發項目，發表論文20餘篇。
