Runtime Verification of LTL-Based Declarative Process Models

Download Now
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.
Download Now

Find By Topic