Runtime Verification of LTL-Based Declarative Process Models

Provided by: Springer Healthcare
Topic: Big Data
Format: PDF
Linear Temporal Logic (LTL) on finite traces has proven to be a good basis for the analysis and enactment of flexible constraint based business processes. The declare language and system benefit from this basis. Moreover, LTL-based languages like declare can also be used for runtime verification. As there are often many interacting constraints, it is important to keep track of individual constraints and combinations of potentially conflicting constraints. In this paper, the authors operationalize the notion of conflicting constraints and demonstrate how innovative automata-based techniques can be applied to monitor running process instances.

Find By Topic