Diagnosing workflow processes using Woflan by