從BPEL到Petri網(wǎng)映射的研究.pdf

1、Web服務(wù)（Web Services）為網(wǎng)絡(luò)時(shí)代的分布式計(jì)算定義了統(tǒng)一的接口和調(diào)用模式，使得不同系統(tǒng)提供的服務(wù)能夠以同樣的方式進(jìn)行調(diào)用，從而成為構(gòu)建復(fù)雜而靈活的商業(yè)系統(tǒng)的基礎(chǔ)。 BPEL（Business Process Execution Language）是目前Web服務(wù)組合（Web Services composition）的標(biāo)準(zhǔn)，是一種基于Web服務(wù)的商業(yè)過程建模語言。BPEL可以將現(xiàn)實(shí)中異構(gòu)的，松耦合的Web服務(wù)按照

2、一定的邏輯有機(jī)地結(jié)合起來，形成一個(gè)更大規(guī)模的，靈活的Web服務(wù)，并且提供會話狀態(tài)管理、錯(cuò)誤處理、補(bǔ)償處理等高等級的機(jī)制。然而BPEL，本身不包含驗(yàn)證機(jī)制，無法對所產(chǎn)生的過程進(jìn)行必要的分析和驗(yàn)證。為解決這個(gè)問題，W．M．P．vander Aalst提出將BPEL，過程映射至Petri網(wǎng)，從而可以利用Petri網(wǎng)完備的理論體系和豐富的工具實(shí)現(xiàn)對BPEL過程的驗(yàn)證。在此之后，隨著對將BPEL映射到Petri網(wǎng)的研究的不斷深入，新的映射方式也不

3、斷地出現(xiàn)，但是目前還未形成一個(gè)被普遍認(rèn)可的標(biāo)準(zhǔn)，并且在映射BPEL，錯(cuò)誤處理模塊和并行結(jié)構(gòu)中的同步模塊等方面都存在一些缺陷。 本文在分析和研究現(xiàn)有的映射方法的基礎(chǔ)上，提出了一種新的映射BPEL過程至Petri網(wǎng)的方法。此方法和現(xiàn)有的許多映射方法相比，在以下幾個(gè)方面進(jìn)行了創(chuàng)新： 1．本文使用Petri模式映射BPEL元素，整個(gè)模式被一個(gè)虛線框包含，內(nèi)部是BPEL元素的邏輯部分的映射，虛線框上是BPEL元素的接口，從而可以很

4、好的表示BPEL過程的層次結(jié)構(gòu)。 2．本文使用stop組件和相應(yīng)的接口映射BPEL中隱含的錯(cuò)誤處理模塊，從而能很好的將BPEL中的錯(cuò)誤處理的流程用Petri網(wǎng)表示。 3．本文使用新的映射模式映射flow結(jié)構(gòu)中的links結(jié)構(gòu)，此映射模式可以很好的映射links結(jié)構(gòu)的joinCondition和transitionCondition，并且能檢測links操作不當(dāng)時(shí)引發(fā)的錯(cuò)誤。 4．另外，本文還給出了對BPEL過程的