資源描述：
《基于Petri網(wǎng)的語(yǔ)義Web服務(wù)自動(dòng)組合方法.doc》由會(huì)員上傳分享，免費(fèi)在線閱讀，更多相關(guān)內(nèi)容在行業(yè)資料-天天文庫(kù)。
1、.word格式.基于Petri網(wǎng)的語(yǔ)義Web服務(wù)自動(dòng)組合方法 利用Web服務(wù)，開發(fā)人員可以進(jìn)行應(yīng)用程序的快速創(chuàng)建。而在Web服務(wù)數(shù)目逐漸增多的情況下，Web服務(wù)的組合就變得相對(duì)復(fù)雜。所以，有必要進(jìn)行一種語(yǔ)義Web服務(wù)的自動(dòng)組合方法的研究，從而解決Web服務(wù)組合困難的問題。因此，本文在利用Petri網(wǎng)的基礎(chǔ)之上，對(duì)語(yǔ)義Web服務(wù)自動(dòng)組合方法進(jìn)行了研究，從而提出了一種算法來(lái)滿足用戶的請(qǐng)求的同時(shí)，進(jìn)行用戶行為的約束，進(jìn)而為關(guān)注這一話題的人們提供一些參考?！ 娟P(guān)鍵詞】Petri網(wǎng)語(yǔ)義Web服務(wù)自動(dòng)組合方法 由于Web服務(wù)具有松散耦合、語(yǔ)言重力和開放性等多種優(yōu)勢(shì)，所以利用We
2、b服務(wù)可以進(jìn)行平臺(tái)異構(gòu)和互操作等問題的解決。但是，為了保證服務(wù)的可用性，單個(gè)Web服務(wù)一般不會(huì)太復(fù)雜。所以，想要進(jìn)行復(fù)雜應(yīng)用的時(shí)間，就要使多個(gè)Web服務(wù)組合起來(lái)。而通過(guò)語(yǔ)義Web服務(wù)組合建模，可以使服務(wù)以Horn子句形規(guī)則表示，從而將合成服務(wù)問題轉(zhuǎn)化成Horn子句推理問題來(lái)進(jìn)行解決?！ ?Petri網(wǎng)與語(yǔ)義Web服務(wù) 1.1Petri網(wǎng).專業(yè).專注..word格式. Petri網(wǎng)常常被當(dāng)做工作流、Web服務(wù)等不確定的形式化模型，因?yàn)槠渚哂辛己玫牟僮髡Z(yǔ)義。而在Petri網(wǎng)的理論中，有效的結(jié)構(gòu)分析法為T-不變量。而在進(jìn)行服務(wù)組合相比時(shí)，利用此方法較有效。而所謂的Petri
3、網(wǎng)，則可以利用一個(gè)五元式來(lái)表示，既。其中，P指的是庫(kù)的有限集合，T為變遷有限集合，F(xiàn)則為弧的集合，Mo為初始標(biāo)識(shí)，而W為弧的關(guān)聯(lián)權(quán)函數(shù)?！ ?.2語(yǔ)義Web服務(wù) 所謂的語(yǔ)義Web服務(wù)，其實(shí)就是一個(gè)原子Web服務(wù)。從本質(zhì)上來(lái)講，其實(shí)Web服務(wù)是SAWSDL中的一個(gè)操作，可以利用四元組來(lái)表示。而該四元組為。其中，I指的是服務(wù)的輸入?yún)?shù)的語(yǔ)義概念的集合，O指的是服務(wù)輸出參數(shù)的語(yǔ)義概念的集合，BC指的是服務(wù)行為約束集合，而QoS則指的是服務(wù)質(zhì)量參數(shù)集合?！ ?基于Petri網(wǎng)的語(yǔ)義Web服務(wù)自動(dòng)組合方法 2.1組合建模 進(jìn)行語(yǔ)義Web服務(wù)的組合問題的解決時(shí)，可以利一組Hor
4、n子句形進(jìn)行用戶請(qǐng)求和Web服務(wù)的表示。而使用的Horn子句形規(guī)則為：利用一組命題Horn子句及其附屬子句參數(shù)進(jìn)行一個(gè)原子服務(wù)的表示。其中，可以將服務(wù)的輸入/輸出（I，O）以這樣一條命題規(guī)則表示。而由于該服務(wù)的名字、行為約束和質(zhì)量都是每條規(guī)則的附屬參數(shù)，所以可以將這樣的規(guī)則稱之為服務(wù)規(guī)則。而按照.專業(yè).專注..word格式.標(biāo)準(zhǔn)的Horn子句形的規(guī)則來(lái)表示，這條規(guī)則則可以表示為 2.2自動(dòng)組合方法 在進(jìn)行語(yǔ)義Web服務(wù)的組合問題的解決時(shí)，本文利用Petri網(wǎng)進(jìn)行了Horn子句推理形式化模型的建立。在建立這一模型時(shí)，可以利用一定的轉(zhuǎn)換程序進(jìn)行與Petri網(wǎng)模型相對(duì)應(yīng)的H
5、orn子句集的關(guān)聯(lián)矩陣的獲得。而所遵循的轉(zhuǎn)換程序則為每個(gè)子句與關(guān)聯(lián)矩陣的一行相對(duì)應(yīng)、每個(gè)文字與關(guān)聯(lián)矩陣的一列相對(duì)應(yīng)[3]。而在得出的Horn子句集中，文字則代表的是語(yǔ)義的概念，而子句則代表Web服務(wù)或參數(shù)類型的兼容性。而在得到關(guān)聯(lián)矩陣后，則可以進(jìn)行Petri網(wǎng)的T-不變量的確定，從而進(jìn)行Horn子句的矛盾與否的確定，進(jìn)而進(jìn)行該種功能是否能成為符合用戶請(qǐng)求的合成服務(wù)的確定。正常的情況下，一個(gè)原子Web服務(wù)不會(huì)過(guò)于復(fù)雜，因?yàn)槠湔Z(yǔ)義概念僅為服務(wù)庫(kù)中的一小部分。而極小支柱T-不變量則對(duì)應(yīng)著潛在的合成服務(wù)，所以需要進(jìn)行T-不變量的求解。就目前來(lái)看，可以采用輸入組合對(duì)應(yīng)Petri網(wǎng)模
6、型PN的支柱中的目標(biāo)變遷tg的T-不變量集合的算法來(lái)進(jìn)行T-不變量的求解，而輸出的結(jié)果就為與用戶定義行為約束兼容的T-不變量集合XSC。在完成對(duì)極小T-不變量的計(jì)算后，就可以求出所有的潛在合成服務(wù)的Petri網(wǎng)模型。但是需要注意的是，這里的服務(wù)是潛在的合成服務(wù)，因?yàn)槠潆m.專業(yè).專注..word格式.然能夠進(jìn)行用戶輸入/輸出請(qǐng)求的滿足，并且可以對(duì)用戶行為進(jìn)行約束兼容，但是仍不具有可以肯定的正確性。此外，該種合成服務(wù)還沒有進(jìn)行QoS的評(píng)估，也是其無(wú)法成為真正的合成服務(wù)的原因。而在與潛在合成服務(wù)對(duì)應(yīng)的Petri網(wǎng)中，用戶輸入動(dòng)作則以源變遷表示，而用戶期待輸出的動(dòng)作則以匯變遷表示
7、。此外，內(nèi)部變遷可以表示服務(wù)的調(diào)用，也可以表示數(shù)據(jù)的傳遞，而庫(kù)則是服務(wù)組合涉及的語(yǔ)義概念。而在進(jìn)行合成服務(wù)驗(yàn)證時(shí)，則可以進(jìn)行類似于變遷的引發(fā)序列的求出，并且根據(jù)該序列進(jìn)行服務(wù)的QoS參數(shù)的計(jì)算，從而選出滿足用戶QoS要求的最優(yōu)合成服務(wù)?！ ?結(jié)論 總而言之，本文通過(guò)轉(zhuǎn)化Web服務(wù)自動(dòng)組合問題，并利用Petri網(wǎng)進(jìn)行Horn子句邏輯推理形式化模型的建立的同時(shí)，利用了Petri網(wǎng)的T-不變量技術(shù)進(jìn)行合成服務(wù)的確定。而在此基礎(chǔ)之上，則進(jìn)行了用戶給定合成服務(wù)的行為約束的考量，從而利用一種算法來(lái)進(jìn)行合成服務(wù)的Petri網(wǎng)模型的約束的同
