Web服務組合建模與驗證

定　價：￥35.00

作　者：	程永上著
出版社：	中國物資出版社
叢編項：
標　簽：	網(wǎng)站開發(fā)

購買這本書可以去

ISBN：	9787504738585	出版時間：	2011-06-01	包裝：	平裝
開本：	16開	頁數(shù)：	181	字數(shù)：

內(nèi)容簡介

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

作者簡介

　　程永上，1971年4月出生，江蘇連云港人，副教授，工學博士，南京財經(jīng)大學信息工程學院教師，目前在河海大學計算機與信息工程學院攻讀計算機軟件與理論博士后，師從著名學者王志堅教授。主要研究方向：服務計算、軟件測試和軟件自動化。先后參與同家自然科學基金“多任務學習的研究”（60805022），國家自然科學基金項目“基于動態(tài)行為的Web構件匹配機制研究”（60573098），國家973項目（2002CB312002）子課題“網(wǎng)構軟件組裝機制研究”，江蘇省自然科學基金項目“基于語義的Web構件檢索匹配方法研究”（BK2006168），江蘇省高新技術項目“基于主動服務的數(shù)據(jù)集成半臺技術研究”（BG2005036）等項目研究工作，以及大量計算機應用開發(fā)項目，發(fā)表論文20余篇。

圖書目錄

1　緒論
　1.1　研究背景
　　1.1.1　Web服務
　　1.1.2　語義Web服務
　　1.1.3　Web服務組合
　1.2　研究現(xiàn)狀
　　1.2.1　Web服務組合動機
　　1.2.2　Web服務組合建模
　　1.2.3　Web服務組合驗證
　1.3　本書研究內(nèi)容和創(chuàng)新點
　1.4　本書的組織結構
2　Web服務組合的語義Petri網(wǎng)模型
　2.1　Petri網(wǎng)
　　2.1.1　Petri網(wǎng)概念
　　2.1.2　Petri網(wǎng)性質
　　2.1.3　Petri網(wǎng)分析方法
　2.2　有色Petri網(wǎng)
　2.3　Petri網(wǎng)描述語言PNML
　　2.3.1　PNML結構
　　2.3.2　基于XML的PNML語法
　　2.3.3　Petri網(wǎng)類型定義
　2.4　語義Petri網(wǎng)模型
　　2.4.1　OWL-S
　　2.4.2　語義Petri網(wǎng)
　2.5　語義Petri網(wǎng)的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服務組合語義一致性內(nèi)容
　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　水資源調(diào)度組合系統(tǒng)的建模與驗證
　5.1　水利領域應用背景
　5.2　基于web服務組合的水資源調(diào)度系統(tǒng)
　　5.2.1　水資源調(diào)度組合系統(tǒng)的分析
　　5.2.2　水資源調(diào)度組合系統(tǒng)的語義Petri網(wǎng)模型
　　5.2.3　水資源調(diào)度組合系統(tǒng)的PNML描述
　　5.2.4　水資源調(diào)度組合系統(tǒng)的驗證
　5.3　本章小結
6　總結和展望
　6.1　本書總結
　6.2　下一步研究工作
參考文獻
后記