邏輯Petri網(wǎng)分析方法及在Web服務(wù)組合中的應(yīng)用.pdf

1、隨著Web服務(wù)技術(shù)的發(fā)展與應(yīng)用的普及，服務(wù)數(shù)量迅猛增加，給信息服務(wù)帶來(lái)越來(lái)越大的壓力，這就需要通過(guò)改進(jìn) Web服務(wù)的描述方法，對(duì)Web服務(wù)進(jìn)行有效的管理，消除服務(wù)冗余，減輕網(wǎng)絡(luò)負(fù)擔(dān)，提高服務(wù)的發(fā)現(xiàn)效率.此外，由于單個(gè)的Web服務(wù)很難滿足用戶的需求，因此對(duì)Web服務(wù)組合的研究也越來(lái)越多.
　　本文基于邏輯Petri網(wǎng)(logical Petri nets-LPNs)理論以及現(xiàn)有的Web服務(wù)聚類技術(shù)的研究，提出了一種形式化機(jī)制，以支持

2、基于服務(wù)簇的服務(wù)組合的建模和驗(yàn)證，把一組功能相同或相似的服務(wù)映射為一個(gè)服務(wù)簇，利用服務(wù)簇作為服務(wù)請(qǐng)求和響應(yīng)的基本單位，進(jìn)而增大了服務(wù)請(qǐng)求和響應(yīng)粒度，降低了服務(wù)查找和綁定難度，并利用LPNs建模驗(yàn)證了組合服務(wù)的正確性.
　　首先，LPNs能夠有效地描述協(xié)同系統(tǒng)中的批處理功能和傳值不確定性，為了完善LPNs理論，提出了一種基于向量匹配的分析方法，通過(guò)定義變遷使能向量集合給出了向量匹配的方法，用以判定使能變遷；定義了LPNs的關(guān)聯(lián)矩陣，

3、給出了一步可達(dá)標(biāo)識(shí)計(jì)算公式，狀態(tài)方程及可達(dá)樹(shù)的構(gòu)造方法，實(shí)現(xiàn)了對(duì)LPNs的活性、可達(dá)性等性質(zhì)的分析，從而達(dá)到應(yīng)用LPNs解決網(wǎng)系統(tǒng)狀態(tài)空間爆炸問(wèn)題的目的.其次，為了降低Web服務(wù)搜索空間，借鑒一些學(xué)者提出的服務(wù)聚類的思想，把一組功能相同或相似的服務(wù)映射為一個(gè)特定粒度服務(wù)簇，確定了服務(wù)簇和簇中服務(wù)的映射關(guān)系.再次，針對(duì)服務(wù)簇中服務(wù)的輸入輸出參數(shù)不確定性，基于LPNs定義了一個(gè)邏輯網(wǎng)元(logical net unit，LNU)對(duì)服務(wù)簇進(jìn)行

4、建模，其中，簇中服務(wù)的輸入和輸出參數(shù)的不確定性能夠用邏輯輸入和輸出表達(dá)式分別進(jìn)行描述；給出了服務(wù)網(wǎng)元模型組合的順序、并行、選擇和循環(huán)結(jié)構(gòu)，在順序結(jié)構(gòu)中，詳細(xì)論述了兩個(gè)網(wǎng)元之間存在的四種匹配關(guān)系，給出了組合模型的健壯性分析；為了構(gòu)造并行結(jié)構(gòu)，提出了一種庫(kù)所分裂技術(shù).最后通過(guò)一個(gè)旅游服務(wù)實(shí)例證明了本文建模方法的可行性和有效性.
　　本文主要完善了LPNs的建模理論，給出了一種向量匹配的LPNs分析方法；提出了基于服務(wù)簇的的服務(wù)組合思想