Anti-Alignments in Conformance Checking – The Dark Side of Process Models

Thomas Chatain 1, 2 Josep Carmona 3
1 MEXICO - Modeling and Exploitation of Interaction and Concurrency
LSV - Laboratoire Spécification et Vérification [Cachan], ENS Cachan - École normale supérieure - Cachan, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8643
Abstract : Conformance checking techniques asses the suitability of a process model in representing an underlying process, observed through a collection of real executions. These techniques suffer from the well-known state space explosion problem, hence handling process models exhibiting large or even infinite state spaces remains a challenge. One important metric in conformance checking is to asses the precision of the model with respect to the observed executions, i.e., characterize the ability of the model to produce behavior unrelated to the one observed. By avoiding the computation of the full state space of a model, current techniques only provide estimations of the precision metric, which in some situations tend to be very optimistic, thus hiding real problems a process model may have. In this paper we present the notion of anti-alignment as a concept to help unveiling traces in the model that may deviate significantly from the observed behavior. Using anti-alignments, current estimations can be improved, e.g., in precision checking. We show how to express the problem of finding anti-alignments as the satisfiability of a Boolean formula, and provide a tool which can deal with large models efficiently.
Type de document :
Rapport
[Research Report] LSV, ENS Cachan, CNRS, INRIA, Université Paris-Saclay, Cachan (France); Universitat Politècnica de Catalunya, Barcelona (Spain). 2016
Liste complète des métadonnées

Littérature citée [17 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01267015
Contributeur : Thomas Chatain <>
Soumis le : mercredi 3 février 2016 - 17:01:16
Dernière modification le : jeudi 11 janvier 2018 - 06:23:37
Document(s) archivé(s) le : samedi 12 novembre 2016 - 07:03:59

Fichier

main.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01267015, version 1

Citation

Thomas Chatain, Josep Carmona. Anti-Alignments in Conformance Checking – The Dark Side of Process Models. [Research Report] LSV, ENS Cachan, CNRS, INRIA, Université Paris-Saclay, Cachan (France); Universitat Politècnica de Catalunya, Barcelona (Spain). 2016. 〈hal-01267015〉

Partager

Métriques

Consultations de la notice

244

Téléchargements de fichiers

86