Monitoring business constraints with linear temporal logic : an approach based on colored automata

F.M. Maggi, M. Montali, M. Westergaard, W.M.P. Aalst, van der

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

167 Citaten (Scopus)

Samenvatting

Today’s information systems record real-time information about business processes. This enables the monitoring of business constraints at runtime. In this paper, we present a novel runtime verification framework based on linear temporal logic and colored automata. The framework continuously verifies compliance with respect to a predefined constraint model. Our 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. As demonstrated in this paper, there are several approaches to recover after the first constraint violation. Traditional approaches that simply check constraints are unable to recover after the first violation and still foresee (inevitable) future violations. The framework has been implemented in the process mining tool ProM.
Originele taal-2Engels
TitelBusiness Process Management (9th International Conference, BPM 2011, Clermont-Ferrand, France, August 28-September 2, 2011. Proceedings)
RedacteurenS. Rinderle-Ma, F. Toumani, K. Wolf
Plaats van productieBerlin
UitgeverijSpringer
Pagina's132-147
ISBN van geprinte versie978-3-642-23058-5
DOI's
StatusGepubliceerd - 2011

Publicatie series

NaamLecture Notes in Computer Science
Volume6896
ISSN van geprinte versie0302-9743

Vingerafdruk

Duik in de onderzoeksthema's van 'Monitoring business constraints with linear temporal logic : an approach based on colored automata'. Samen vormen ze een unieke vingerafdruk.

Citeer dit