Process mining in software systems: Discovering real-life business transactions and process models from distributed systems