Monitoring Business Constraints with Linear Temporal Logic: An Approach Based on Colored Automata

Provided by: Eindhoven University of Technology
Topic: Big Data
Format: PDF
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.

Find By Topic