中文摘要：

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.