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

利用控制依赖关系算法分析BPEL4WS

Analysis of BPEL4WS Using the Control Dependency Relation Algorithm
下载PDF
导出
摘要 IBM、Microsoft和BEA联合提出的服务组合描述语言BPEL4WS是现有的主要工业标准。本文在分析BPEL4WS控制流程的基础上提出了控制依赖关系概念,并设计了一个复杂度为O(N2)的控制依赖关系图生成算法。最后,基于控制依赖关系图,讨论了如何进行BPEL4WS的控制冲突检查和执行优化。 The service composition specification language BPEL4WS, which was proposed by IBM, Microsoft and BEA, is the state-of-the -art industrial standard. Based on the analysis of control flow, the conception of control dependency relation in BPEL4WS is proposed. An efficient algorithm with the time complexity of O（N2 ） is presented for generating the control dependency relation graph. Finally, based on the control dependency relation graph, the paper discusses how to detect control conflicts in BPEL4WS and how to optimize the runtime performance of BPEL4WS.
作者 王敬亚 朱怀宏 胡琰华 徐洁磐
机构地区 南京大学计算机科学与技术系
出处 《计算机工程与科学》 CSCD 2008年第10期45-47,60,共4页 Computer Engineering & Science
基金 国家自然科学基金资助项目(60721002)
关键词 BPEL4WS 服务组合 控制流 控制依赖 控制冲突 BPEL4WS service composition control flow control dependency control conflict
分类号 TP311 [自动化与计算机技术—计算机软件与理论]
  • 相关文献

参考文献7

  • 1Tsalgatidou A, Pilioura T. An Overview of Standards and Related Technology in Web Services[J]. Distributed and Parallel Databases, 2002,12 (3) : 135-162.
  • 2Koehler J, Srivastava B. Web Service Composition: Current Solutions and Open Problems[C]//Proc of the 13th Int'l Conf on Automated Planning & Scheduling, 2003 : 28-35.
  • 3IBM Corporation. Business Process Execution Language for Web Services BPEL4WS (Version 1. 1)[EB/OL]. [2008-01- 03]. http://www. ibm. com/developerworks/library/wsbpel.
  • 4Rachid H, Boualem B. A Petri Net Based Model for Web Service Composition[C]//Proc of the 14th Australian Database Conf on Database Technologies, 2003.
  • 5Fu X, Bultan T, Su J. Analysis of Interacting BPEL, Web Services[C]//Proc of the 13th Int'l Conf on the World Wide Web, 2004 : 621-630.
  • 6廖军,谭浩,刘锦德.基于Pi-演算的Web服务组合的描述和验证[J].计算机学报,2005,28(4):635-643. 被引量：107
  • 7FerranteJ,Ferrante J,Warren J D. The Program Dependence Graph and Its Use in Optimization[J]. ACM Trans on Programming Languages and Systems, 1987,9(3) : 319-349.

二级参考文献17

  • 1Koehler J., Srivastava B. Web service composition: Current solutions and open problems. In: Proceedings of the 13th International Conference on Automated Planning & Scheduling, Trento, Italy, 2003, 28～35
  • 2Milner R. Communication and Concurrency. Englewood Cliffs: Prentice -Hall, 1989
  • 3Fensel D. The semantic web and its languages. IEEE Intelligent Systems, 2000, 15(6): 67～73
  • 4Milner R. Communicating and Mobile Systems: The Pi-Calculus. Cambridge: Cambridge University Press, 1999
  • 5Milner R., Parrow J., Walker D. A calculus of mobile processes, part I/II. Journal of Information and Computation, 1992, 100(1): 1～77
  • 6Lin Hui-Min. Complete proof systems for observation congruences in finite control pi-calculus. In: Proceedings of the 25th International Colloquium on Automata, Languages and Programming, Aalborg, Denmark, 1998, 443～454
  • 7Jiao Wen-Pin, Zhou Ming-Hui, Wang Qian-Xiang. Formal framework for adaptive multi-agent Systems. In: Proceedings of IEEE/WIC International Conference on Intelligent Agent Technology, Halifax, Canada, 2003, 442～445
  • 8Markus Lumpe. A Pi-calculus based approach to software composition [Ph.D. dissertation]. Institute of Computer Science and Applied Mathematics, University of Bern, Switzerland, 1999
  • 9Orava F., Parrow J. An algebraic verification of a mobile network. Formal Aspect of Computing, 1992, 4(6): 497～543
  • 10Lin Hui-Min. A verification tool for value-passing process algebras. IFIP Transactions C-16: Protocol Specification, Testing and Verification, North-Holland, 1993, 79～92

共引文献106

计算机工程与科学
2008年 第10期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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