nach oben

Erschienen in:

2021 | OriginalPaper | Buchkapitel

A Discounted Cost Function for Fast Alignments of Business Processes

verfasst von : Mathilde Boltenhagen, Thomas Chatain, Josep Carmona

Erschienen in: Business Process Management

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Aus

Abstract

Alignments are a central notion in conformance checking. They establish the best possible connection between an observed trace and a process model, exhibiting the closest model run to the trace. Computing these alignments for huge amounts of traces, coming from big logs, is a computational bottleneck. We show that, for a slightly modified version of the distance function between traces and model runs, we significantly improve the execution time of an A*-based search algorithm. We show experimentally that the alignments found with our modified distance approximate very nicely the optimal alignments for the classical distance.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Vorheriges Kapitel Aligning Data-Aware Declarative Process Models and Event Logs

Nächstes Kapitel Task Clustering Method Using User Interaction Logs to Plan RPA Introduction

Currently available at https://github.com/BoltMaud/pm4py-core.

Available at https://github.com/BoltMaud/A-Discounted-Cost-Function-for-Fast-Alignments-of-Business-Processes-Sources.

Prototype Selection plugin of ProM software with default settings.

Available at https://github.com/BoltMaud/A-Discounted-Cost-Function-for-Fast-Alignments-of-Business-Processes-Sources.

Adriansyah, A.: Aligning observed and modeled behavior, Ph.D. thesis. Technische Universiteit Eindhoven (2014)

Adriansyah, A., van Dongen, B.F., van der Aalst, W.M.P.: Memory-efficient alignment of observed and modeled behavior. BPM Center Report, vol. 3, pp. 1–44 (2013)

Augusto, A., Conforti, R., Dumas, M., La Rosa, M., Polyvyanyy, A.: Split miner: automated discovery of accurate and simple business process models from event logs. Knowl. Inf. Syst. 59(2), 251–284 (2019)CrossRef

Berti, A., van der Aalst, W.M.P.: Reviving token-based replay: increasing speed while improving diagnostics. In: ATAED@ Petri Nets/ACSD, pp. 87–103 (2019)

Bloemen, V., van Zelst, S.J., van der Aalst, W.M.P., van Dongen, B.F., van de Pol, J.: Maximizing synchronization for aligning observed and modelled behaviour. In: Proceedings of the 16th International Conference on Business Process Management, BPM 2018, Sydney, NSW, Australia, 9–14 September 2018, pp. 233–249 (2018)

Carmona, J., van Dongen, B.F., Solti, A., Weidlich, M.: Conformance Checking - Relating Processes and Models. Springer, Switzerland (2018). https://doi.org/10.1007/978-3-319-99414-7

de Leoni, M., Marrella, A.: Aligning real process executions and prescriptive process models through automated planning. Exp. Syst. Appl. 82, 162–183 (2017)CrossRef

Sani, M.F., Boltenhagen, M., van der Aalst, W.: Prototype selection based on clustering and conformance metrics for model discovery. arXiv (2019)

Lee, W.L.J., Verbeek, H.M.W., Munoz-Gama, J., van der Aalst, W.M.P., Sepúlveda, M.: Recomposing conformance: closing the circle on decomposed alignment-based conformance checking in process mining. Inf. Sci. 466, 55–91 (2018)CrossRef

10.

Leemans, S.J.J., Fahland, D., Wil, M.P.: van der Aalst. Scalable process discovery and conformance checking. Softw. Syst. Model. 17(2), 599–631 (2018)CrossRef

11.

Leemans, S.J.J., Fahland, D., van der Aalst, W.M.P.: Discovering block-structured process models from event logs containing infrequent behaviour. In: Lohmann, N., Song, M., Wohed, P. (eds.) BPM 2013. LNBIP, vol. 171, pp. 66–78. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-06257-0_6CrossRef

12.

Munoz-Gama, J., Carmona, J., van der Aalst, W.M.P.: Single-entry single-exit decomposed conformance checking. Inf. Syst. 46, 102–122 (2014)CrossRef

13.

Murata, T.: Petri Nets: properties, analysis and applications. Proc. IEEE 77(4), 541–574 (1989)CrossRef

14.

Reijers, H.A., Liman Mansar, S.: Best practices in business process redesign: an overview and qualitative evaluation of successful redesign heuristics. Omega 33(4), 283–306 (2005)CrossRef

15.

Reißner, D., Conforti, R., Dumas, M., Rosa, M.L., Armas-Cervantes, A.: Scalable conformance checking of business processes. In: OTM CoopIS, Rhodes, Greece, pp. 607–627 (2017)

16.

Reißner, D., Armas-Cervantes, A., Conforti, R., Dumas, M., Fahland, D., La Rosa, M.: Scalable alignment of process models and event logs: an approach based on automata and s-componentsd. Inf. Syst. 94, 101561 (2020)CrossRef

17.

Ribeiro, J., Carmona, J., Mısır, M., Sebag, M.: A recommender system for process discovery. In: Sadiq, S., Soffer, P., Völzer, H. (eds.) BPM 2014. LNCS, vol. 8659, pp. 67–83. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-10172-9_5CrossRef

18.

Taymouri, F., Carmona, J.: Model and event log reductions to boost the computation of alignments. In: Ceravolo, P., Guetl, C., Rinderle-Ma, S. (eds.) SIMPDA 2016. LNBIP, vol. 307, pp. 1–21. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-74161-1_1CrossRef

19.

Taymouri, F., Carmona, J.: A recursive paradigm for aligning observed behavior of large structured process models. In 14th International Conference of Business Process Management (BPM), Rio de Janeiro, Brazil, 18–22 September, pp. 197–214 (2016)

20.

21.

Taymouri, F., Carmona, J.: Computing alignments of well-formed process models using local search. ACM Trans. Softw. Eng. Methodol. 29(3), 15:1–15:41 (2020)

22.

van der Aalst, W.M.P.: Decomposing Petri Nets for process mining: a generic approach. Distrib. Parallel Databases 31(4), 471–507 (2013)CrossRef

23.

van der Aalst, W.M.P.: Process Mining - Data Science in Action, 2nd edn. Springer, Heidelberg (2016). https://doi.org/10.1007/978-3-662-49851-4

24.

van der Aalst, W.M.P.: Re-engineering knock-out processes. Decis. Support Syst. 30(4), 451–468 (2001)CrossRef

25.

van Zelst, S.J., Bolt, A., Hassani, M., van Dongen, B.F., Wil, M.P.: van der Aalst. Online conformance checking: relating event streams to process models using prefix-alignments. Int. J. Data Sci. Anal. 8(3), 269–284 (2019)CrossRef

26.

van Zelst, S.J., Bolt, A., van Dongen, B.F.: Tuning alignment computation: an experimental evaluation. In: ATAED@ Petri Nets/ACSD, pp. 6–20 (2017)

27.

Verbeek, H.M.W., van der Aalst, W.M.P.: Merging alignments for decomposed replay. In: Kordon, F., Moldt, D. (eds.) PETRI NETS 2016. LNCS, vol. 9698, pp. 219–239. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-39086-4_14CrossRef

28.

Winskel, G.: Petri Nets, algebras, morphisms, and compositionality. Inf. Comput. 72(3), 197–238 (1987)MathSciNetCrossRef

Titel: A Discounted Cost Function for Fast Alignments of Business Processes
verfasst von: Mathilde Boltenhagen
Thomas Chatain
Josep Carmona
Verlag: Springer International Publishing
Buch: Business Process Management
Print ISBN: 978-3-030-85468-3

Electronic ISBN: 978-3-030-85469-0

Copyright-Jahr: 2021
DOI: https://doi.org/10.1007/978-3-030-85469-0_17

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"