Discovering and checking how business processes actually run by analysing the event logs that systems record.