Monitoring business constraints with the event calculus