基于MWB的BPEL到π演算自動(dòng)轉(zhuǎn)換工具的研究與實(shí)現(xiàn).pdf

1、隨著全球化進(jìn)程的加快，Web作為一種重要的溝通手段受到的關(guān)注越來(lái)越多，對(duì)Web服務(wù)描述的正確性投入的精力隨之增加。BPEL(Business Process Execution Language)作為描述Web服務(wù)流程組合語(yǔ)言，可以通過(guò)組合、編排和協(xié)調(diào)等方式將多個(gè)Web服務(wù)組合到一個(gè)新的復(fù)合服務(wù)(稱(chēng)作業(yè)務(wù)流程)中。但是由于BPEL本身是半形式化的，因而它不能有效的描述Web服務(wù)流程間死鎖、缺少同步等諸多問(wèn)題，所以必須通過(guò)形式化方法建模B

2、PEL的方式來(lái)減少Web服務(wù)中出現(xiàn)的此類(lèi)問(wèn)題。
　　 本論文結(jié)合實(shí)驗(yàn)室承擔(dān)的國(guó)家“863”重點(diǎn)項(xiàng)目，分析和參考了π演算建模BPEL語(yǔ)言的相關(guān)理論、研究成果和技術(shù)方法，提出了一個(gè)完整的從BPEL到π的自動(dòng)建模和分析過(guò)程，并在此基礎(chǔ)上實(shí)現(xiàn)了自動(dòng)建模和分析的工具原型。本文的主要工作體現(xiàn)在以下幾個(gè)方面：
　　 1.分析了π演算建模分析BPEL理論和方法的國(guó)內(nèi)外研究現(xiàn)狀，總結(jié)了在自動(dòng)建模方面面臨的問(wèn)題。
　　 2.融合了M

3、WB(the Mobility Work Bench)驗(yàn)證工具的標(biāo)識(shí)符定義，對(duì)手動(dòng)建模理論提出了優(yōu)化；提出了基于MWB的BPEL到π演算的自動(dòng)建模的方法，利用DOM(Document Object Model)樹(shù)解析，構(gòu)建了自動(dòng)建模過(guò)程。
　　 3.分析了自動(dòng)建模過(guò)程中遇到的數(shù)據(jù)兼容性和結(jié)構(gòu)合法化問(wèn)題，提出了通過(guò)詞法分析和語(yǔ)法分析解決問(wèn)題的方法和實(shí)踐。
　　 4.在相關(guān)理論研究基礎(chǔ)上，設(shè)計(jì)和實(shí)現(xiàn)了BPCT(BPEL to