Eindhoven University of Technology
Information systems supporting business processes are usually very complex. If the authors have to ensure that certain business rules are enforced in a business process, it is often easier to design a separate system, called a monitor, that collects the events of the business processes and verifies whether the rules are satisfied or not. This requires a Business Rule Language (BRL) that allows verifying business rules over finite histories. They introduce such a BRL and show that it can express many common types of business rules.