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

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

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

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

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