期刊文献+

基于有色Petri网的BPEL中flow活动建模 被引量:2

Models of BPEL's flow activity based on color Petri nets
下载PDF
导出
摘要 面向Web服务的业务流程执行语言BPEL本身缺乏健壮的语义,构建Web组合服务又是一种易于出错的任务。基于有色赋时Petri网,提出了从BPEL描述的Web组合服务流程中Flow活动到有色Petri网模型的转换方法。在转换过程中考虑了BPEL活动的执行方式和执行环境,如环境属性、活动之间的相互作用等,给出更为精确的模型,为更好地使用工具和现有方法验证以及测试Web组合服务奠定了基础。 BPEL is often used to describe the composition of Web services,but it is lack of sound formal semantic.Web ser-vices are prone errors.Flow activity is very complicated in BPEL,but it plays an important role in describing Web services.Based on color Petri net,proposed transitions from flow activity to color Petri net models,while considered BPEL activities execute ways and environments.These models are more exacter and can be used to verify and test Web services.
作者 王玉英 陈平
出处 《计算机应用研究》 CSCD 北大核心 2011年第2期632-635,共4页 Application Research of Computers
基金 国家"十一五"国防预研基金资助项目( 513060601)
关键词 组合服务 BPEL 流程活动 模型 CPN Web service BPEL flow activity model CPN
  • 相关文献

参考文献8

  • 1OASIS Standard,Web services business process execution languageversion2.0[EB/OL].(2008-05-22).http://docs.oasis-open.org/wsbpel/2.0/OS/wsbpel-v2.0-OS.pdf.
  • 2FORSTER H, UCHITEL S, MAGEE J, et al. Model-based verification of Web service composition[C]//Proc of the 18th IEEE International Conference on Automated Software Engineering. Montreal:IEEE Computer Society, 2003:152-161.
  • 3STAHL C. A Petri net semantics for BPEL, Technical Report 188[R].Berlin:Humboldt-University at zu Berlin, Institut f¨ur Informatik, 2005.
  • 4FU Xiang, BULTAN T, SU Jian-wen. Analysis of interacting BPEL Web services[C]//Proc of the 13th International Conference on World Wide Web. New York:ACM Press, 2004: 621-630.
  • 5KANG Hui, YANG Xiu-li, YUAN Sin-miao. Modeling and verification of Web services composition based on CPN[C]//Proc of IFIP International Conference on Network and Parallel Computing Workshops. Washington DC:IEEE Computer Society, 2007:613-617.
  • 6OUYANG C, VERBEEK E, AALST van der W, et al. Formal semantics and analysis of control flow in WS-BPEL[J].Science of Computer Programming, 2007,67(2-3):162-198.
  • 7CPNtools[EB/OL].(2009).http://wiki.daimi.au.dk/cpntools/cpntools.wiki.
  • 8Cpntools-help[EB/OL].(2008-11-24).http://wiki.daimi.au.dk/cpntools-help/simulator_functions.wiki?cmd=get&anchor=Simulator+functions.

同被引文献11

  • 1郝克刚,葛玮.论高级Petri网系统的等价谱系[J].计算机学报,1993,16(7):553-558. 被引量:9
  • 2Ouyang C ,Verbeek E,van der Aalst W M P,et al. Formal semantics and analysis of control flow in WS-BPEL[ J]. Science of Computer Programming, 2007,67 ( 2/3 ) : 162-198.
  • 3Yang Y P,Tan Q P,Xiao Y. Verifying web services composition based on hierarchical colored Petri nets[ C]//Proceedings of the First International Workshop on Interoperability of Heterogeneous Information Systems. New York :ACM ,2005:47-54.
  • 4LiuX,LiJH,LiX,eta1.BPELmodelingbasedonextendedsynchronizedPetrinet[J].计算机工程,2011(37):57-59.
  • 5Niels Lohmann. A feature-complete Petri net semantics for WS-BPEL 2.0[J]. Lecture Notes in Computer Science,2008(4 937) : 77-91.
  • 6Henrique Jorge A Holanda, Barroso G C, Serra A, et al. SPEWS:a framework for the performance analysis of web services or- chestrated with BPEL4WS [ C ]//Fourth International Conference on Internet and Web Applications and Services. Venice, 2009 : 363 -369.
  • 7Wang W P,Gao Z L,Bao S Y,et al. The development of reliability modeling and analysis tool based on stochastic Petri nets[J]. Ad- vanced Materials Research,2010 (118/120) :566-570.
  • 8Xia Y, Liu Y, Lin J,et al. Modeling and performance evaluation of BPEL processes:A stochastic-Petri-net-based approach [ J ]. IEEE Transactions on Systems, Man and Cybernetics-Part A:Systems and Humans ,2012 (42) :503-510.
  • 9Pastor E, Roig O, Cortadella J, et al. Petri net analysis using Boolean manipulation in Proc Appl [ J ]. Theory Petri Nets, 1994( 1 ) :416-435.
  • 10郝克刚,丁剑洁.层次结构的Petri网[J].计算机科学与探索,2008,2(2):123-130. 被引量:13

引证文献2

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部