bpel流程解释和验证技术研究

《bpel流程解释和验证技术研究》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、西安电子科技大学硕士学位论文BPEL流程解释和验证技术研究姓名：陈胜申请学位级别：硕士专业：计算机软件与理论指导教师：陈平20080101摘要为了快速高效地建立分布式协作开发环境，满足我国当前在军事和经济领域的迫切需要，集成现有工具和组件而不是开发全新的协作环境是切实有效的解决方案。业务流程执行语言(BusinessProcessExecutionLanguage，BPEL)用于对已有工具和组件进行协同控制，整合现有功能，可以满足分布式协作应用的需求。本文的研究重点在于构建一个可高效执行BPEL流程的解释器，同时给出一个能够提高流程可

2、靠性的数据竞争和死锁检测算法，并将其实现到解释器中。在对已有主流BPEL解释器的架构和实现方式进行分析后，本文给出了一个以分层、可扩展方式设计，基于C++实现的BPEL解释釉Cbpel。在分析已有多线程程序验证方法的基础上，提出并实现了一个适用于BPEL流程的数据竞争和死锁检测算法。实际应用表明，RCbpel可以正确高效地解释BPEL流程并能检测出流程中存在的数据竞争和死锁问题。关键词：业务流程执行语言流程执行流程验证数据竞争和死锁检测ABSTRACTThesensibleandfeasibleapproachtoestablisht

3、heDistributedCollaborativeDevelopmentEnvironment(DCDE)effectively,whichiscrucialtosatisfythependingneedsinthenationalmilitaryandeconomicrealm，isintegratingthetoolsandcomponentsavailableratherthanbuildingitfromscratch．TheBusinessProcessExecutionLanguage(BPEL)，whichisused

4、tocoordinatetheexistingtools，componentsandservices，canservefortherolewhileconstructingDCDE．ThispaperfocusesontheimplementationofaBPELenginethatinterpretstheBPELprocessefficiently．Also，adataraceanddeadlockdetectionalgorithmispresented．Thisalgorithmplaysasignificantrolein

5、enhancingthereliabilityofBPELprocesses·AfteranalyzingthearchitectstyleandimplementationidiomofmainstreamBPELengines，aBPELenginenamedRCbpel，whichislayered，extensibleandimplementedinC++，ispresentedinthispaper．Moreover,adataraceanddeadlockdetectionalgorithmisproposedandrea

6、lizedonthebasisoftechniquesforverifyingtraditionalmultithreadedprograms．TheapplicationsofRCbpeldemonstratethatitiscapableofinterpretingBPELprocessescorrectlyand，atthesametime，itCallcapturesubtledatalacesanddeadIocks．Keywords：BPELprocessexecutionprocessverificationdatara

7、ceanddeadlockdetection创新性声明本人声明所呈交的论文是我个人在导师指导下进行的研究工作及取得的研究成果。尽我所知，除了文中特{l,J／Jrl以标注和致谢中所罗列的内容以外，论文中不包含其他人已经发表或撰写过的研究成果；也不包含为获得西安电子科技大学或其它教育机构的学位或证书而使用过的材料。与我一同工作的同志对本研究所做的任何贡献均己在论文中做了明确的说明并表示了谢意。申请学位论文与资料若有不实之处，本人承担一切相关责任。本人签名：关于论文使用授权的说明本人完全了解西安电子科技大学有关保留和使用学位论文的规定，即：

8、研究生在校攻读学位期间论文工作的知识产权单位属西安电子科技大学。本人保证毕业离校后，发表论文或使用论文工作成果时署名单位仍然为西安电子科技大学。学校有权保留送交论文的复印件，允许查阅和借阅论文：学校可以公布论文的全部或部