预览加载中，请您耐心等待几秒...

基于模块化可达图的服务组合验证及BPEL代码生成_杜彦华.pdf

预览
1/10
2/10
3/10
4/10
5/10
6/10
7/10
8/10
9/10
10/10

在线预览结束，喜欢就下载吧，查找使用更方便

下载提示 文本预览

如果您无法下载资料，请参考说明：

1、部分资料下载需要金币，请确保您的账户上有足够的金币

2、已购买过的文档，再次下载不重复扣费

3、资料包下载后请先用软件解压，在使用对应软件打开

ISSN1000-9825,CODENRUXUEWE-mail:jos@iscas.ac.cn JournalofSoftware,Vol.21,No.8,August2010,pp.1810−1819http://www.jos.org.cn doi:10.3724/SP.J.1001.2010.03618Tel/Fax:+86-10-62562563 ©byInstituteofSoftware,theChineseAcademyofSciences.Allrightsreserved. ∗ 基于模块化可达图的服务组合验证及BPEL代码生成 杜彦华1+,范玉顺2,李喜彤2 1(北京科技大学机械工程学院,北京100083) 2(清华大学自动化系,北京100084) VerifyingServiceCompositionBasedonModularReachabilityGraphandGeneratingBPEL Codes DUYan-Hua1+,FANYu-Shun2,LIXi-Tong2 1(SchoolofMechanicalEngineering,UniversityofScienceandTechnologyBeijing,Beijing100083,China) 2(DepartmentofAutomation,TsinghuaUniversity,Beijing100084,China) +Correspondingauthor:E-mail:duyanhua@ustb.edu.cn DuYH,FanYS,LiXT.Verifyingservicecompositionbasedonmodularreachabilitygraphandgenerating BPELcodes.JournalofSoftware,2010,21(8):1810−1819.http://www.jos.org.cn/1000-9825/3618.htm Abstract:ToaddressstatespaceexplosionandtheinabilitytoautomaticallygeneratetheBPEL(businessprocess executionlanguage)codesoftheexistingmethodsofcomposingservicesbasedonmediators,thispaperpresentsan approachtoverifythePetrinetmodelsofservicecompositionbymodularreachabilitygraphs.Inthisapproach,the Petrinetmodelsofservicecompositionaredividedintosub-modelsinamodularway,andverifythefeasibilityof compositionbyanalyzingthestatespacesofindividualsub-models,withoutunfoldingtotheordinarystatespace. Usingthismodulartechniquecanavoidthestatespaceexplosion.Afterverificationofthefeasibility,thepaper proposesamethodofautomaticallygeneratingtheBPELcodesofthewholecompositeservicefromthePetrinet modelsofcomposition.ThemainideaistogeneratetheBEPLcodesfromthefusedtransitionsbetweenthe sub-modelsbasedonECArules.Finally,anapplicationofthemethodsisillustratedthoughacasestudyinan e-businessenterprise. Keywords:mediator;servicecomposition;verification;modularreachabilitygraph;ECArule 摘要:为了解决基于中介器服务组合方法的状态爆炸和不能自动生成BPEL(businessprocessexecution language)的问题,提出了一种基于Petri网模块化可达图的服务组合验证方法.服务组合的Petri网模型通过中介变迁 进行模型分割,分别对各个部分构建可达图,再对模块化可达图进行服务组合可行性分析.采用模块化可达图可以大