Event correlation for process discovery from web service interaction logs