1、西北大學(xué)碩士學(xué)位論文基于Petri網(wǎng)的BPEL流程調(diào)試工具的研究與實(shí)現(xiàn)姓名：吳林霜申請(qǐng)學(xué)位級(jí)別：碩士專業(yè)：計(jì)算機(jī)軟件與理論指導(dǎo)教師：葛瑋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