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

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

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

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

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