Aligning Modeled and Observed Behavior: A Compromise Between Complexity and Quality

Boudewijn Van Dongen 1 Josep Carmona 2 Thomas Chatain 3, 4 Farbod Taymouri 2
4 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 : Certifying that a process model is aligned with the real process executions is perhaps the most desired feature a process model may have: aligned process models are crucial for organizations, since strategic decisions can be made easier on models instead of on plain data. In spite of its importance, the current algorithmic support for computing alignments is limited: either techniques that explicitly explore the model behavior (which may be worst-case exponential with respect to the model size), or heuristic approaches that cannot guarantee a solution, are the only alternatives. In this paper we propose a solution that sits right in the middle in the complexity spectrum of alignment techniques; it can always guarantee a solution, whose quality depends on the exploration depth used and local decisions taken at each step. We use linear algebraic techniques in combination with an iterative search which focuses on progressing towards a solution. The experiments show a clear reduction in the time required for reaching a solution, without sacrificing significantly the quality of the alignment obtained.
Type de document :
Communication dans un congrès
CAiSE 2017 - 29th International Conference on Advanced Information Systems Engineering, Jun 2017, Essen, Germany. Springer, LNCS, 10253, pp.94-109, CAiSE 2017: Advanced Information Systems Engineering. 〈http://caise2017.paluno.de/welcome/〉. 〈10.1007/978-3-319-59536-8_7〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01664240
Contributeur : Thomas Chatain <>
Soumis le : jeudi 14 décembre 2017 - 16:14:43
Dernière modification le : jeudi 11 janvier 2018 - 06:23:37

Fichier

VCCT-caise17.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Boudewijn Van Dongen, Josep Carmona, Thomas Chatain, Farbod Taymouri. Aligning Modeled and Observed Behavior: A Compromise Between Complexity and Quality. CAiSE 2017 - 29th International Conference on Advanced Information Systems Engineering, Jun 2017, Essen, Germany. Springer, LNCS, 10253, pp.94-109, CAiSE 2017: Advanced Information Systems Engineering. 〈http://caise2017.paluno.de/welcome/〉. 〈10.1007/978-3-319-59536-8_7〉. 〈hal-01664240〉

Partager

Métriques

Consultations de la notice

199

Téléchargements de fichiers

36