基于Petri網(wǎng)的Web服務(wù)組合相關(guān)技術(shù)研究.pdf

1、Web服務(wù)作為面向服務(wù)體系結(jié)構(gòu)（Service Oriented Architecture，SOA）的主要實(shí)現(xiàn)方式，得到了工業(yè)界和學(xué)術(shù)界的普遍重視。它的出現(xiàn)使得“軟件就是服務(wù)”的設(shè)計(jì)理念逐漸轉(zhuǎn)變成一種切實(shí)可行的系統(tǒng)構(gòu)架模式。采用Web服務(wù)組合技術(shù)能夠快速靈活的構(gòu)建具有新功能的Web服務(wù)。目前，組合Web服務(wù)的形式化驗(yàn)證以及自動(dòng)Web服務(wù)組合是Web服務(wù)研究領(lǐng)域兩個(gè)重要的問(wèn)題。本文以Petri網(wǎng)為理論基礎(chǔ)，針對(duì)這兩方面問(wèn)題進(jìn)行深入的研究，

2、具體研究成果如下： 1．改進(jìn)了一種著色Petri網(wǎng)的模型檢測(cè)方法。在著色Petri網(wǎng)原有的基于CTL的局部模型檢測(cè)算法基礎(chǔ)上，給出了獲取模型檢測(cè)證據(jù)/反例的算法，并在著色Petri網(wǎng)模型檢測(cè)工具-CPN Tools中使用ML（Metal Language）語(yǔ)言實(shí)現(xiàn)這些算法。該方法不僅可以驗(yàn)證系統(tǒng)是否存在邏輯錯(cuò)誤，還能告訴用戶發(fā)生錯(cuò)誤的原因，為組合Web服務(wù)的驗(yàn)證提供了技術(shù)上的保障。實(shí)驗(yàn)表明對(duì)著色Petri網(wǎng)的模型檢測(cè)工具的擴(kuò)展是

3、正確、有效的。 2．提出一種基于層次著色Petri網(wǎng)的組合 Web服務(wù)驗(yàn)證方法。分別針對(duì)編制/編排方式構(gòu)造的組合Web服務(wù)進(jìn)行建模、仿真以及驗(yàn)證。首先，給出BPEL規(guī)范和WSCI規(guī)范到層次著色Petri網(wǎng)的映射規(guī)則以及建模方法。然后使用著色Petri網(wǎng)的模型檢測(cè)技術(shù)分析、驗(yàn)證具體的組合Web服務(wù)，發(fā)現(xiàn)其中潛在的邏輯錯(cuò)誤。實(shí)驗(yàn)表明使用層次著色Petri網(wǎng)對(duì)Web服務(wù)組合驗(yàn)證的方法是切實(shí)、可靠、有效的。 3．提出了一種新的基

4、于代數(shù)的模糊Petri網(wǎng)逆向推理算法。該算法充分利用了Petri網(wǎng)的數(shù)學(xué)理論基礎(chǔ)和描述并發(fā)系統(tǒng)的能力，其數(shù)據(jù)結(jié)構(gòu)簡(jiǎn)單，便于計(jì)算機(jī)編程處理。此外，采用逆向推理策略將系統(tǒng)轉(zhuǎn)化為一個(gè)只與問(wèn)題有關(guān)的簡(jiǎn)單的系統(tǒng)，減小空間復(fù)雜度。實(shí)踐證明該方法是可行的。為評(píng)估動(dòng)態(tài)組合Web服務(wù)的語(yǔ)義匹配度提供技術(shù)上的支持。 4．提出了一種基于Petri網(wǎng)模型的自動(dòng)Web服務(wù)組合方法。根據(jù)用戶需求使用Petri網(wǎng)描述原子服務(wù)之間的數(shù)據(jù)依賴關(guān)系；從中選擇出各種