bpel引擎中流程部署技术研究

《bpel引擎中流程部署技术研究》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、西安电子科技大学学位论文独创性(或创新性)声明秉承学校严谨的学风和优良的科学道德，本人声明所呈交的论文是我个人在导师指导下进行的研究工作及取得的研究成果。尽我所知，除了文中特别加以标注和致谢中所罗列的内容以外，论文中不包含其他人已经发表或撰写过的研究成果；也不包含为获得西安电子科技大学或其他教育机构的学位或证书而使用过的材料。与我一同工作的同志对本研究所做的任何贡献均己在论文中做了明确的说明并表示了谢意。申请学位论文与资料若有不实之处，本人承担一切的法律责任。本人签名：聿i21杰窖遥日期盈哩Z：

2、墨：Z关于论文使用授权的说明本人完全了解西安电子科技大学有关保留和使用学位论文的规定，即：研究生在校攻读学位期间论文工作的知识产权单位属西安电子科技大学。学校有权保留送交论文的复印件，允许查阅和借阅论文；学校可以公布论文的全部或部分内容，可以允许采用影印、缩印或其他复制手段保存论文。同时本人保证，毕业后结合学位论文研究课题再攥写的文章一律署名单位为西安电子科技大学。(保密的论文在解密后遵守此规定)本学位论文属于保密，在一年解密后适用本授权书。本人签名：导师签名：钎l毒j0一1日期垄丝2：墨：Z醐

3、甲摘要在分布式协作开发环境中进行系统设计工具集成时，要求不同设计工具之间能够协同工作。Web服务业务流程执行语言(WebServicesBusinessProcessExecutionLanguage，WS．BPEL)具有服务编制功能，可用于对已有设计工具和组件进行协同控制以整合现有功能，从而能够满足分布式协作开发的应用需求。在深入分析了已有主流BPEL引擎的架构和实现方式的基础上，本文给出了一个用C++实现的BPEL引擎叫CBPEL，并重点研究了流程部署阶段的相关技术。论文在分析了RCBPEL

4、的整体架构的基础上，分别设计并实现了流程验证、部署和管理组件。在流程验证阶段，根据BPEL语言特性，结合传统多线程程序数据竞争和死锁检测理论，给出并实现了一个适用于BPEL流程的数据竞争和死锁检测方法。实际应用表明，RCBPEL可以正确高效地部署BPEL流程并能检测出流程中的数据竞争和死锁问题。关键词：业务流程执行语言流程验证流程部署数据竞争，AbstractWhileintegratingsystemdesigntoolsintheDistributedCollaborativeDevelop

5、mentEnvironment(DCDE)，aseriesofinvolveddesigntoolsarerequiredtocolaboratewitheachother．TheWebServiceBusinessProcessExecutionLanguage(ws．BPEL，BPELforshort)，whichisusedtocoordinatetheexistingtoolsandcomponents．isresponsibletoorchestrateservicesandcalls

6、ervefortherolewhileconstructingDCDE．AfteranalyzingthearchitectureandimplementationidiomofmainstreamBPELengines．aBPELenginenamedRCBPELwhichisimplementedinC++isproposed．SomekeytechniqueswhicharerelatedtothedeploystageforBPELarestudiedinthispaper．Analys

7、esoftheRCBPELarchitectureisshownatthebeginningofthepaper，andthenthedesignandimplementationoftheprocessverification，deployandmanagementcomponentsarepresentedseparately．AccordingtothecharacteristicofBPELlanguage，adataraceanddeadlockdetectionapproachisp

8、roposedandrealizedonthebasisoftheoryforverifyingtraditionalmultithreadedprogramsinthedeploystage．TheapplicationofRCBPELdemonstratesthatitiscapableofdeployingBPELprocesscorrectlyand，atthesametime，itCancapturesubtledataracesanddeadlocks．Keyword：BPELpro