Eindhoven University of Technology
Today's information systems record real-time information about business processes. This enables the monitoring of business constraints at runtime. In this paper, the authors present a novel runtime verification framework based on linear temporal logic and colored automata. The framework continuously verifies compliance with respect to a pre-defined constraint model. Their approach is able to provide meaningful diagnostics even after a constraint is violated. This is important as in reality people and organizations will deviate and in many situations it is not desirable or even impossible to circumvent constraint violations.