web服務(wù)組合建模與驗(yàn)證

內(nèi)容概要

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

作者簡(jiǎn)介

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

書(shū)籍目錄

1　緒論
　1.1　研究背景
　　1.1.1　Web服務(wù)
　　1.1.2　語(yǔ)義Web服務(wù)
　　1.1.3　Web服務(wù)組合
　1.2　研究現(xiàn)狀
　　1.2.1　Web服務(wù)組合動(dòng)機(jī)
　　1.2.2　Web服務(wù)組合建模
　　1.2.3　Web服務(wù)組合驗(yàn)證
　1.3　本書(shū)研究?jī)?nèi)容和創(chuàng)新點(diǎn)
　1.4　本書(shū)的組織結(jié)構(gòu)
2　Web服務(wù)組合的語(yǔ)義Petri網(wǎng)模型
　2.1　Petri網(wǎng)
　　2.1.1　Petri網(wǎng)概念
　　2.1.2　Petri網(wǎng)性質(zhì)
　　2.1.3　Petri網(wǎng)分析方法
　2.2　有色Petri網(wǎng)
　2.3　Petri網(wǎng)描述語(yǔ)言PNML
　　2.3.1　PNML結(jié)構(gòu)
　　2.3.2　基于XML的PNML語(yǔ)法
　　2.3.3　Petri網(wǎng)類型定義
　2.4　語(yǔ)義Petri網(wǎng)模型
　　2.4.1　OWL-S
　　2.4.2　語(yǔ)義Petri網(wǎng)
　2.5　語(yǔ)義Petri網(wǎng)的PNML
　2.6　Web服務(wù)組合模式
　2.7　Web組合服務(wù)形式化建模應(yīng)用
　2.8　本章小結(jié)
3　Web服務(wù)組合流程正確性驗(yàn)證
　3.1　Web服務(wù)組合形式化驗(yàn)證
　　3.1.1　Web服務(wù)組合形式化驗(yàn)證目的
　　3.1.2　相關(guān)Web服務(wù)組合形式化驗(yàn)證方法
　3.2　Web服務(wù)組合流程正確性驗(yàn)證
　　3.2.1　服務(wù)組合語(yǔ)法正確性驗(yàn)證
　　3.2.2　服務(wù)組合可達(dá)性驗(yàn)證
　　3.2.3　服務(wù)組合死鎖驗(yàn)證
　　3.2.4　服務(wù)組合有界性驗(yàn)證
　3.3　本章小結(jié)
4　Web服務(wù)組合語(yǔ)義一致性驗(yàn)證
　4.1　Web服務(wù)組合語(yǔ)義一致性內(nèi)容
　4.2　Web服務(wù)組合功能一致性驗(yàn)證
　　4.2.1　服務(wù)組合功能一致性
　　4.2.2　服務(wù)組合功能一致性驗(yàn)證
　4.3　Web服務(wù)組合行為一致性驗(yàn)證
　　4.3.1　服務(wù)組合行為一致性
　　4.3.2　服務(wù)組合行為一致性驗(yàn)證
　4.4　Web服務(wù)組合QoS一致性驗(yàn)證
　　4.4.1　服務(wù)組合QoS一致性
　　4.4.2　服務(wù)組合QoS一致性驗(yàn)證
　4.5　本章小結(jié)
5　水資源調(diào)度組合系統(tǒng)的建模與驗(yàn)證
　5.1　水利領(lǐng)域應(yīng)用背景
　5.2　基于web服務(wù)組合的水資源調(diào)度系統(tǒng)
　　5.2.1　水資源調(diào)度組合系統(tǒng)的分析
　　5.2.2　水資源調(diào)度組合系統(tǒng)的語(yǔ)義Petri網(wǎng)模型
　　5.2.3　水資源調(diào)度組合系統(tǒng)的PNML描述
　　5.2.4　水資源調(diào)度組合系統(tǒng)的驗(yàn)證
　5.3　本章小結(jié)
6　總結(jié)和展望
　6.1　本書(shū)總結(jié)
　6.2　下一步研究工作
參考文獻(xiàn)
后記

編輯推薦

　　《Web服務(wù)組合建模與驗(yàn)證》所做的研究主要集中在Web服務(wù)組合建模和驗(yàn)證上。首先，對(duì)有色Petri網(wǎng)進(jìn)行了擴(kuò)展，增加了語(yǔ)義和非功能屬性的標(biāo)注，提出了語(yǔ)義Petri網(wǎng)模型來(lái)對(duì)Web服務(wù)及其組合進(jìn)行形式化建模，并用Petri網(wǎng)標(biāo)記語(yǔ)言PNML對(duì)其進(jìn)行描述。其次，基于語(yǔ)義Petri網(wǎng)的定義、網(wǎng)結(jié)構(gòu)特征和網(wǎng)運(yùn)行規(guī)則，完善了Web服務(wù)組合的語(yǔ)法正確性驗(yàn)證算法，以工作流技術(shù)為基礎(chǔ)，改進(jìn)了Web服務(wù)組合的流程正確性驗(yàn)證算法。再次，從Web服務(wù)組合的功能和非功能屬性考慮用戶的滿意度，給出了服務(wù)組合語(yǔ)義一致性含義，并從服務(wù)組合功能一致性、行為一致性和QoS一致性三個(gè)方面驗(yàn)證了Web服務(wù)組合語(yǔ)義一致性，給出了相應(yīng)的算法。最后，將基于語(yǔ)義Petri網(wǎng)的服務(wù)組合建模與驗(yàn)證應(yīng)用于水利領(lǐng)域，給出了水資源調(diào)度組合系統(tǒng)的語(yǔ)義Petri網(wǎng)模型，并給出了模型的PNML描述，服務(wù)組合系統(tǒng)的流程正確性和語(yǔ)義一致性也被分析驗(yàn)證。

圖書(shū)封面

評(píng)論、評(píng)分、閱讀與下載

---

    web服務(wù)組合建模與驗(yàn)證 PDF格式下載

---