期刊文献+

一种WS—BPEL流程的运行时监控方法 被引量:4

An Approach for Runtime Monitoring of WS-BPEL Processes
下载PDF
导出
摘要 WS-BPEL作为一种webservice组合语言,如今在企业解决方案中已经得到了广泛的应用.但是,由于WS-BPEL所依赖的外部服务的自治性以及流程本身的动态性和灵活性,其执行行为在运行前是不可预知的,流程的执行进行监控.本文提出了一种对WS-BPEL流程执行期进行动态监控的方法.该方法基于Past Linear Temporal Language(PLTL)描述监控规则,采用Aspect Oriented Programming(AOP)技术作为对BPEL引擎扩展监控功能的机制,从而实现对WS-BPEL流程实例的灵活有效监控.该方法在中国科学院软件研究所自主研发的OnceBPEL引擎上已经实现,能够满足灵活有效的监控需求. As a service-based language, WS-BPEL is widely adopted into enterprise solutions. However, because of the intrinsic flexibility and dynamism of the web services it used, its behavior couldn' t be foreseen until it is running, runfime monitoring is needed. The paper introduces an approach of dynamic monitoring of WS-BPEL processes.It uses Past Linear Temporal Language (PLTL) to describe monitor rules, with the support of Aspect Oriented Programming ( AOP ). This approach , which has been implemented on OnceBPEL, a BPEL engine designed by ISCAS, can be applied to runtime monitoring of WS-BPEL processes effectively.
出处 《电子学报》 EI CAS CSCD 北大核心 2007年第B12期174-178,共5页 Acta Electronica Sinica
基金 国家自然科学基金(No.60673112) 国家973重点基础研究发展规划(No.2002CB312005) 国家863高技术研究发展计划(N02006AA01219B.No.2006AA012163)
关键词 WS-BPEL 运行时监控 面向方面编程 PAST LTL WS-BPEL runtime monitoring aspect-oriented programming past LTL
  • 相关文献

参考文献8

  • 1Georgakopoulos D, Hornick M F, Sheth A P. An overview of workflow management: from process modeling to workflow automation infrastructure [J]. Distdbuted and Parallel Databases, 1995,3(2) : 119 - 153.
  • 2Kiczales G, Lamping J, Mendhekar A, et al. Aspect-oriented programming[A]. Proc of the 11th European Comference on Object-Oriented Programming (ECOOP) [C]. Jyvaskyla, Finland, June 1997, LNCS, 1241,220 - 242. Springer, Berlin Heidelberg New York(1997)
  • 3Clark J, DeRose S.XML Path Language (XPath) Version 1.0, W3C Recommendation, 16 November, 1999.
  • 4Alexander Lazovik. Marco Aiello. Mike Papazoglou. Associating Assertions with Business Processes and Monitoring their Execution[M]. ICSOC'04,2004.15 - 19.
  • 5E A Emerson. Temporal and modal logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, Volume B: Formal Models and Semantics. Elsevier, 1990.
  • 6F Barbon,M Pistore,M Trainotti, P Traverso. Run-Time Monitoring of Instances and Classes of Web Service Gampositions, Proceedings of the IEEE International Conference on Web Services (ICWS), 2006.
  • 7Klaus Havelundl, Grigore Ro_ su2. Synthesizing Monitors for Safety Properties, 2005
  • 8Oliver Enseling. Build your own languages with JavaCC, Java World, 2000.

同被引文献41

  • 1廖军,谭浩,刘锦德.基于Pi-演算的Web服务组合的描述和验证[J].计算机学报,2005,28(4):635-643. 被引量:107
  • 2闫春钢,蒋昌俊,李启炎.基于Petri网的Web服务组合与分析[J].计算机科学,2007,34(2):100-103. 被引量:16
  • 3OASIS. Web service business process execution language version 2.0 [ EB/OL], http://docs. oasis-open. org /wsbpel/2.0/OS/ws-bpelv2.0-OS. html.
  • 4IBM, BEA System, Miscrosft, et al. Business process execution language for Web services versionl. I [ EB/OL]. http://www-128.ibm. com/ developerworks/library/specification/ws-bpel/.
  • 5EZENWOYE O, MASOUD SADJADI S. Enabling robustness in existing BPEL processes[ EB/OL]. http://www. cs. fi u. edu/-sadjadi/Publications/TechRep-FIU -SCIS-2005-08 -RobustBPEL. pdf.
  • 6EZENWOYE O, MASOUD SADJADI S. RobustBP EL2:transparent autonomization in business processes through dynamic proxies [ C ]// Proc of the 8th International Symposium on Autonomous Decentralized Systems. 2007 : 17- 24.
  • 7BARES1 L, GUINEA S, PASQU- ALE L. Self-healing BPEL processes with Dynamo and the JBoss rule engine [ C ]//Proc of International Workshop on Engineering of Software Services for Pervasive Environments. [ S. l. ] :ACM Press,2007:11-20.
  • 8Active Endpoints. ActiveBPEL engine[EB/OL]. http://www. Activevos.com
  • 9LARMAN C.UML和模式应用[M].2版.方梁,等译.北京:机械工业出版社.2004:176-182.
  • 10GRUBER T R. A translation approach to portable ontology specifications[ J]. Knowledge Acquisition, 1993,5(2) :199-220.

引证文献4

二级引证文献10

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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