期刊文献+

基于BPMN的Web服务并发交互机制 被引量:10

Web Service Concurrent Interaction Mechanism Based on BPMN
下载PDF
导出
摘要 如何抽象描述复杂业务流程的交互是服务计算研究的重要问题。大量的国内外研究虽然关注业务流程建模,但却忽略了建模过程中组件之间的并发交互描述和实现。针对Web服务并发交互,提出一种基于BPMN的Web服务并发交互的形式化模型。首先,采用BPMN描述业务流程中的并发交互模式;其次,将BPMN并发交互模式映射到Orc语言;最后,Web服务实例表明,所提方法可有效支持Web服务并发交互抽象建模。 Business Process Modeling (BPM) aims to describe and abstract the interaction of complex systems associa- ted,is an important part of Service-oriented computing (SOC). While many researches focus on BPM, they ignore the crucial problem how to describe the concurrent interaction between the constituted components. Therefore, this paper presented a formal model of concurrent interaction of Web services based on BPMN. First, we used BPMN to describe the concurrent interaction among Web components. Secondly we maped the concurrent interactive model of BPMN to Orc language,a function language to describe concurrent orchestration of Web service. Finally, we illustrated our ap- proach by mean of an example.
出处 《计算机科学》 CSCD 北大核心 2014年第8期50-54,共5页 Computer Science
基金 国家自然科学基金重大国际合作项目(61020106009)资助
关键词 BPMN ORC Web服务交互 BPMN,Orc,Web service interaction
  • 相关文献

参考文献9

  • 1游珍,薛锦云,应时.Apla语言中并发分布式机制的研究[J].计算机科学,2012,39(1):104-108. 被引量:4
  • 2Chinosi M,Trombetta A.Bpmn:An introduction to the standard[J].Comput.Stand.Interfaces,2012,34 (1):124-134.
  • 3Decker G,Barros A.Interaction modeling using bpmn[C]//Proceedings of the 2007 International Conference on Business Process Management (BPM ' 07).Berlin,Heidelberg:Springer Verlag,2008:208-219.
  • 4Decker G,Puhlmann F,Weske M.Formalizing service interactions[C]// Proceedings of the 4th international conference on Business Process Management (BPM' 06).Berlin,Heidelberg:Springer-Verlag,2006:414-419.
  • 5Goel N,Shyamasundar R K.An executional framework for bpmn using orc[C]// Services Computing Conference (APSCC),2011 IEEE Asia-Pacific.2011:29-36.
  • 6Misra,Jayadev,Cook,et al.Computation orchestration:A basis for wide area computing[J].Software and Systems Modeling (SoSyM),2007,6(1):83-110.
  • 7Van Der Aalst W M P,Ter Hofstede A H M,Kiepuszewski B,et al.Workflow patterns[J].Distrib.Parallel Databases,2003,14(1):5-51.
  • 8Wong P Y,Gibbons J.A process semantics for bpmn[C]//Proceedings of the 10th International Conference on Formal Methods and Software Engineering (ICFEM ' 08).Berlin,Heidelberg:Springer-Verlag,2008:355-374.
  • 9Wong P Y H,Gibbons J.Formalisations and applications of bpmn[J].Sci.Comput.Program.,2011,76 (8):633-650.

二级参考文献18

  • 1张效详.计算机科学技术百科全书[M].北京:清华大学出版社,1998:1-17.
  • 2Sutter H. The Free Lunch is Over:A Fundamental Turn To- ward Concurrency in Software[J]. Dr. Dobb' s Journal, 2005,30 (3) :202-210.
  • 3George C W. The RAISE Specification Language: A Tutorial[C]// Proceedings of VDM' 91, volume 551 of Lecture Notes in Com- puter Science. Springer-Verlag, 1991.
  • 4Woodcock J C P,Cavalcanti A L C. A Concurrent Language for Refinement[C]//Butterfield A, Pahl C, edK IWFM' 01 : 5 th Irish Workshop in Formal Methods. Dublin, Ireland,July 2001.
  • 5Hoare T, Misra J. Verified software: theories, tools, experiments [C]//LNCS 4171. Springer Verlag,July 2005:1-18.
  • 6Chandy K M, Misra J. Parallel Program Design: A Foundation [M]. Addison-Wesley Publishing Co. , 1988.
  • 7Misra J. A Discipline of Multiprogramming: 'A Programming Theory for Distributed Applications [M]. Springer-Verlag, 2001.
  • 8Misra J, Cook W IL Computation Orchestration: A Basis for Wide-Area Computing [J]. Journal of Software and Systems Modeling, March 2007.
  • 9Kitchin D,Quark A. William Cook and Jayadev Misro. The Orc Programming Language [ C ] // Proceedings of FMOODS/ FORTE, LNCS 5522. Springer Verlag, 2009:1-25.
  • 10Ore Language Project [OL]. http://orc, csres, utexas, edu/in- dex shtml, 2011-04-21.

共引文献3

同被引文献53

引证文献10

二级引证文献18

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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