Towards Dynamic Monitoring of WS-BPEL Processes