Flexible Pattern Monitoring for WS-BPEL through Stateful Aspect Extension | IEEE Conference Publication | IEEE Xplore