期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

基于Pi演算的Web服务组合过程框架 被引量：2

A Pi-calculus Based Process Framework for Web Service Composition
下载PDF
导出
摘要 文章从Web服务的编排、验证、部署角度提出了基于Pi演算的Web服务组合过程框架,说明了这个框架中每一步骤涉及的理论和工具应用。并在现有研究的基础上,针对框架中人工参与较多形式化验证环节提出了其向自动化、可视化方向发展的改进方法。 Based on discussing the orchestration, process framework is proposed and every step＇s theories an improvement methods aiming at realizing automation is proposed. verification and deployment of Web services, a Pbcalculus based and tools are explicated. Also on the basis of the existing research, and visualization of manual participation in many formal verifications
作者 毛瑞雪
机构地区 武汉大学电子信息学院
出处 《计算机与数字工程》 2011年第7期12-16,174,共6页 Computer & Digital Engineering
关键词 WEB服务组合 过程框架 PI演算 BPEL Web service composition process framework Pi-calculus, BPEL
分类号 TP393 [自动化与计算机技术—计算机应用技术]
  • 相关文献

参考文献6

二级参考文献49

  • 1钱柱中,陆桑璐,谢立.基于Petri网的Web服务自动组合研究[J].计算机学报,2006,29(7):1057-1066. 被引量：60
  • 2HOU Lishan1,3,JIN ZHi1,2 & WU Budan1,4 1. Academy of Mathematics and Systems Science, Chinese Academy of Sciences, Beijing 100080, China,2. Institute of Computing Technology, Chinese Academy of Sciences, Beijing 100080, China,3. Institute of Software, Chinese Academy of Sciences, Beijing 100080, China,4. Graduate University of Chinese Academy of Sciences, Beijing 100049, China.Modeling and verifying Web services driven by requirements:An ontology-based approach[J].Science in China(Series F),2006,49(6):792-820. 被引量：15
  • 3张广泉.广义反应系统形式化方法研究[M].重庆:重庆大学的计算机学院,1999..
  • 4van der Aalst W, van Hee K. Workflow Management Models, methods and systems[M]. The MIT Press,2000.
  • 5Li Shuyou, Song Binheng. Normalized workflow net ( NWF - net) :Its definition and properties, doi: 10. 1016/j. future. 2005. 02. 003.
  • 6Milner R, Parrow J, Walker D. A Calculus of Mobile Processes Information and Computation. 1992.
  • 7Derek M E. Best Practice B P M. ACM QUEUE,March 2006.
  • 8Milner R. Communicating and Mobile Systems: The Pi Calculus [M]. Cambridge, UK: Cambridge University Press, 1999.
  • 9Gamma,et al. Design pattern[M].北京:机械工业出版社,2002.
  • 10Luechi R, Mazzara M. A pi - calculus based semantics for WSBPEL[J]. The Journal of Logic and Algebraic Programming, 2007,70:96-118.

共引文献68

同被引文献23

  • 1廖军,谭浩,刘锦德.基于Pi-演算的Web服务组合的描述和验证[J].计算机学报,2005,28(4):635-643. 被引量：107
  • 2饶元,冯博琴,李尊朝.基于Web Services的服务合成技术研究综述[J].系统工程与电子技术,2005,27(8):1481-1489. 被引量：37
  • 3郭小群,郝克刚.Web服务的Pi演算描述[J].计算机科学,2006,33(3):261-262. 被引量：8
  • 4张佩云,孙亚民.动态Web服务组合研究[J].计算机科学,2007,34(5):4-7. 被引量：10
  • 5ALVES A, ARKIN A, ASKARY S, et al. Web services business process execution language version 2.0 [ EB/OL ]. (2007-04- 11 ) [2012-08-19]. http://docs, oasis-open, org/wsbpel/2.0/OS/wsb- pel-v2.0-OS, html.
  • 6LOGRIPPO L, FACI M, HAJ-HUSSEIN M. An introduction to LO- TOS: learning by examples[ D]. Ottawa: University of Ottawa, 1999.
  • 7TURNER K J. The formal specification language LOTOS : a course for users [D]. Scotland : University of Stifling, 1996.
  • 8BOLOGNESI T, BRINKSMA E. Introduction to the ISO specification language LOTOS[D]. Enschede: University of Twente,1988.
  • 9SALAIIN G, FERRARA A, CHIRICHIELLO A. Negotiation among Web services using LOTOS/CADP [ C ]//Lecture Notes in Computer Science. Berlin: Spring-Verlag,2004:198-212.
  • 10FERRARA A. Web services: a process algebra approach [ C ]//Proc of the 2nd International Conference on Service Oriented Computing. New York : ACM Press,2004:242- 251.

引证文献2

二级引证文献7

计算机与数字工程
2011年 第7期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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