WS-BPEL作为一种web service组合语言,如今在企业解决方案中已经得到了广泛的应用.但是,由于WS-BPEL所依赖的外部服务的自治性以及流程本身的动态性和灵活性,其执行行为在运行前是不可预知的,流程的执行进行监控.本文提出了一种对WS-BPEL流程执行期进行动态监控的方法.该方法基于Past Linear Temporal Language (PLTL)描述监控规则,采用Aspect Oriented Programming(AOP)技术作为对BPEL引擎扩展监控功能的机制,从而实现对WS-BPEL流程实例的灵活有效监控.该方法在中国科学院软件研究所自主研发的OnceBPEL引擎上已经实现,能够满足灵活有效的监控需求.