1、西北大學碩士學位論文基于Petri網的BPEL流程調試工具的研究與實現(xiàn)姓名：吳林霜申請學位級別：碩士專業(yè)：計算機軟件與理論指導教師：葛瑋20090601ResearchandImplementationofaBPELProcessDebuggingToolBasedonPetri—NetAbstractsWebServicecompositionhassolvedtheproblemsoftheintegrationandcollabo

2、rationoftheheterogeneousapplicationoninternetModelingofWebServiceintergrationisacomplexanderrorproneprocessIfamistakeisfoundafteraservicewasbroughtintooperation，itwouldtakehighcosttorecifythismistakeMoreovertheefficiency

3、ofbusinessisdirectlyassociatedwiththecorrectnessofprocessstructureThereforetheverificationofBPELprocessstmctureisanimportantissueintheresearchfieldofWebServiceSofarresearchinthisareaislimitedonthetheoreticallevelandthere

4、islackofpracticaltoolsInthispaperaBPELprocessdebuggingtoolbasedonanimprovedmodelofPetri—net，whichisdefinedasPNBP(PetriNetforBPELProcess)，isproposedtoachievetheverificationandsimulationofBPELprocessThedetailsareasfollows：

5、(1)BasedontheanalysisesofPetrinettheoryPNBPisputforwardtomodelingBPELprocessAccordingtothedefinition，themodelingsofprocessnormalsequence，simultaneousness，branchandcycleareimplemented(2)Aftermodeling，theBPELprocessisvalid

6、atedbythreemethodsforeachtimeTheyareCoverabilityTree，IncidenceMatrixandStateEquation，TransferMatrixAllofthemvalidatedthesecurityreachabilityanddeadlocks(3)Furthermore，thedebuggingtoolisdesignedandfinallyimplementedFromth

7、eangleofimplementation，thedemostrationofthispapermainlyfocusesonsomespecificpartsTheyaretransformationfromBPELfilestoPNML(PetriNetMarkupLanguage)files，theanalysisofPNMLfilesandthevalificationprocedureBasedonthedebuggingp

8、rocessofacaseofloanapproval，themodeling，verificationandsimulationofBPELareshowedThetoolhasbeenverifiedintheresearchcalled”BusinessProcess—orientedsoftwareproductline”，whichisthesubtopicofthenationalhightechdevelopmentpro