Diploma Thesis: Workflow Monitor for BPEL processes