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

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

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

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