1. A computer-implemented method for monitoring transactions in a computer system, comprising: monitoring events reported by components of the computer system responsively to a flow of the transactions through the system; jointly applying a state machine model and a rule-based model to the monitored events, so as to identify respective transaction-level events and business-level events; and assessing a status of the flow of the transactions responsively to the transaction-level events and the business-level events.