Eindhoven University of Technology
Business information systems are mostly very complex and difficult to modify. As a consequence, if the authors would like to ensure that certain business rules are enforced in a business, it is often easier to design a separate information system, called a monitor that collects the business events from the business information system in a log and verifies whether the rules are satisfied. If not, the monitor can report the problem or it can intervene in the business information system. This requires that the business rules are specified in a precise language that allows verifying them over log files.