Geodesic
Object-centric replay-based conformance checking: unveiling desire lines and local deviations
Modelirovanie i analiz informacionnyh sistem, Tome 28 (2021) no. 2, pp. 146-168.

Voir la notice de l'article provenant de la source Math-Net.Ru

Conformance checking methods diagnose to which extent a real system, whose behavior is recorded in an event log, complies with its specification model, e.g., a Petri net. Nonetheless, the majority of these methods focus on checking isolated process instances, neglecting interaction between instances in a system. Addressing this limitation, a series of object-centric approaches have been proposed in the field of process mining. These approaches are based on the holistic analysis of the multiple process instances interacting in a system, where each instance is centered on the handling of an object. Inspired by the object-centric paradigm, this paper presents a replay-based conformance checking method which uses a class of colored Petri nets (CPNs) – a Petri net extension where tokens in the model carry values of some types (colors). Particularly, we consider conservative workflow CPNs which allow to describe the expected behavior of a system whose components are centered on the end-to-end processing of distinguishable objects. For describing a system's real behavior, we consider event logs whose events have sets of objects involved in the execution of activities. For replay, we consider a jump strategy where tokens absent from input places of a transition to fire move from their current place of the model to the requested places. Token jumps allow to identify desire lines, i.e., object paths unforeseen in the specification. Also, we introduce local diagnostics based on the proportion of jumps in specific model components. The metrics allow to inform the severity of deviations in precise system parts. Finally, we report experiments supported by a prototype of our method. To show the practical value of our method, we employ a case study on trading systems, where orders from users are matched to trade.
Keywords: process mining, conformance checking, Petri nets, colored Petri nets. 
@article{MAIS_2021_28_2_a2,
     author = {J. C. Carrasquel and K. Mecheraoui},
     title = {Object-centric replay-based conformance checking: unveiling desire lines and local deviations},
     journal = {Modelirovanie i analiz informacionnyh sistem},
     pages = {146--168},
     publisher = {mathdoc},
     volume = {28},
     number = {2},
     year = {2021},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/MAIS_2021_28_2_a2/}
}
TY  - JOUR
AU  - J. C. Carrasquel
AU  - K. Mecheraoui
TI  - Object-centric replay-based conformance checking: unveiling desire lines and local deviations
JO  - Modelirovanie i analiz informacionnyh sistem
PY  - 2021
SP  - 146
EP  - 168
VL  - 28
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MAIS_2021_28_2_a2/
LA  - en
ID  - MAIS_2021_28_2_a2
ER  - 
%0 Journal Article
%A J. C. Carrasquel
%A K. Mecheraoui
%T Object-centric replay-based conformance checking: unveiling desire lines and local deviations
%J Modelirovanie i analiz informacionnyh sistem
%D 2021
%P 146-168
%V 28
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAIS_2021_28_2_a2/
%G en
%F MAIS_2021_28_2_a2
J. C. Carrasquel; K. Mecheraoui. Object-centric replay-based conformance checking: unveiling desire lines and local deviations. Modelirovanie i analiz informacionnyh sistem, Tome 28 (2021) no. 2, pp. 146-168. http://geodesic.mathdoc.fr/item/MAIS_2021_28_2_a2/

[1] W. van der Aalst, Process Mining: Data Science in Action, 2nd, Springer, 2016

[2] T. Murata, “Petri nets: Properties, analysis and applications”, Proceedings of the IEEE, 77:4 (1989), 541–580 | DOI

[3] J. Carmona, B. van Dongen, A. Solti, M. Weidlich, Conformance Checking: Relating Processes and Models, 1st, Springer, 2018

[4] L. Reinkemeyer, Process Mining: Principles, Uses Cases, and Outlook, Springer, 2020

[5] V. Rubin, A. Mitsyuk, I. Lomazova, W. van der Aalst, Process Mining Can Be Applied to Software Too!, Proceedings of the 8th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, ACM, 2014

[6] F. Leotta, M. Mecella, J. Mendling, “Applying Process Mining to Smart Spaces: Perspectives and Research Challenges”, Advanced Information Systems Engineering Workshops, LNBIP, 215, eds. A. Persson, J. Stirna, Springer, 2015, 298–304

[7] F. Mannhardt, P. Arnesen, A. D. Landmark, “Estimating the Impact of Incidents on Process Delay”, 2019 International Conference on Process Mining, ICPM, IEEE, 2019, 49–56 | DOI

[8] W. van der Aalst, “Object-Centric Process Mining: Dealing with Divergence and Convergence in Event Data”, Software Engineering and Formal Methods, LNCS, 11724, eds. P.C. Ölveczky, G. Salaün, Springer, 2019, 3–25

[9] D. Fahland, “Artifact-Centric Process Mining”, Encyclopedia of Big Data Technologies, eds. S. Sakr, A. Y. Zomaya, Springer, 2019, 108–117 | DOI

[10] J. M. E. M. van der Werf, A. Polyvyanyy, “The Information Systems Modeling Suite”, Application andeory of Petri Nets and Concurrency, LNCS, 12152, eds. R. Janicki, N. Sidorova, T. Chatain, Springer, 2020, 414–425

[11] D. Fahland, “Describing Behavior of Processes with Many-to-Many Interactions”, Application andeory of Petri Nets and Concurrency, LNCS, 11522, eds. S. Donatelli, S. Haar, Springer, 2019, 3–24 | MR

[12] W. M. P. van der Aalst, A. Berti, “Discovering Object-centric Petri Nets”, Fundamenta informaticae, 175:1/4 (2020), 1–40 | MR | Zbl

[13] S. Ghilardi, A. Gianola, M. Montali, A. Rivkin, “Petri Nets with Parameterised Data”, Business Process Management, LNCS, 12168, eds. D. Fahland, C. Ghidini, J. Becker, M. Dumas, Springer, 2020, 55–74

[14] F. Mannhardt, M. Leoni, de, H. Reijers, W. van der Aalst, “Balanced multi-perspective checking of process conformance”, Computer, 98, Springer, 2015, 407–437 | DOI | MR

[15] M. de Leoni, W. van der Aalst, “Data-Aware Process Mining: Discovering Decisions in Processes Using Alignments”, Symposium on Applied Computing, SAC 2013, ACM, 2013, 1454–1461

[16] K. Jensen, L. M. Kristensen, Coloured Petri Nets: Modelling and Validation of Concurrent Systems, 1st, Springer, 2009 | MR

[17] W. van der Aalst, “Desire Lines in Big Data”, Encyclopedia of Social Network Analysis and Mining, eds. R. Alhajj, J. Rokne, 2014, 351–364 | DOI

[18] L. Harris, Trading and Exchanges: Market Microstructure for Practitioners, Oxford University Press, 2003

[19] F. Pommereau, “SNAKES: A Flexible High-Level Petri Nets Library”, Application and Theory of Petri Nets and Concurrency, LNCS, 9115, eds. R. Devillers, A. Valmari, Springer, 2015, 254–265 | MR | Zbl

[20] Object-centric Replay-based Conformance Checking Project Repository, , Github https://github.com/jcarrasquel/hse-uamc-conformance-checking

[21] G. Meroni, L. Baresi, M. Montali, P. Plebani, “Multi-party business process compliance monitoring through IoT-enabled artifacts”, Information Systems, 73 (2018), 61–78 | DOI

[22] R. Seiger, F. Zerbato, A. Burattin, L. García-Banuelos, B. Weber, “Towards IoT-driven Process Event Log Generation for Conformance Checking in Smart Factories”, 2020 IEEE 24th International Enterprise Distributed Object Computing Workshop, EDOCW, IEEE, 2020, 20–26 | DOI

[23] W. van der Aalst, P. Barthelmess, C. Ellis, J. Wainer, “Proclets: A Framework for Lightweight Interacting Workflow Processes”, International Journal of Cooperative Information Systems, 10:04 (2001), 443–481 | DOI

[24] D. Fahland, M. de Leoni, B. van Dongen, W. van der Aalst, “Behavioral Conformance of Artifact-Centric Process Models”, LNBIP, 87, ed. W. Abramowicz, Springer, Berlin–Heidelberg, 2011, 37–49

[25] D. Fahland, M. de Leoni, B. van Dongen, W. van der Aalst, “Conformance Checking of Interacting Processes with Overlapping Instances”, Business Process Management, LNCS, 6896, eds. S. Rinderle-Ma, F. Toumani, K. Wolf, Springer, 2011, 345–361

[26] M. Estañol, J. Munoz-Gama, J. Carmona, E. Teniente, “Conformance Checking in UML Artifact-Centric Business Process Models”, Software and Systems Modeling, 18:4 (2019), 2531–2555 | DOI

[27] W. van der Aalst, A. Berti, “Discovering Object-Centric Petri Nets”, Fundamenta Informaticae, 175 (2020) | MR

[28] G. Li, E. G. L. de Murillas, R. M. de Carvalho, W. van der Aalst, “Extracting Object-Centric Event Logs to Support Process Mining on Databases”, Information Systems in the Big Data Era, eds. J. Mendling, H. Mouratidis, Springer, 2018, 182–199

[29] A. Adriansyah, Aligning observed, modeled behavior, PhD thesis, Eindhoven University of Technology (TU/e), 2014 | MR

[30] A. Rozinat, R. Mans, M. Song, W. van der Aalst, “Discovering colored Petri nets from event logs”, International Journal on So-ware Tools for Technology Transfer, 10:1 (2008), 57–74 | DOI

[31] A. Rozinat, R. Mans, M. Song, W. van der Aalst, “Discovering simulation models”, Information Systems, 34:3 (2009), 305–327 | DOI

[32] J. C. Carrasquel, K. Mecheraoui, I. A. Lomazova, “Checking Conformance Between Colored Petri Nets and Event Logs”, Analysis of Images, Social Networks and Texts, LNCS, 12602, eds. W. van der Aalst, V. Batagelj, D. I. Ignatov, M. Khachay, O. Koltsova, A. Kutuzov, S. O. Kuznetsov, I. A. Lomazova, N. Loukachevitch, A. Napoli, A. Panchenko, P. M. Pardalos, M. Pelillo, A. V. Savchenko, E. Tutubalina, Springer, 2021, 435–452 | MR

[33] J. C. Carrasquel, S. Chuburov, I. A. Lomazova, “Pre-processing Network Messages of Trading Systems into Event Logs for Process Mining”, Tools and Methods of Program Analysis, CCIS, 1288, Springer, 2021, 88–100

[34] J. C. Carrasquel, I. A. Lomazova, I. L. Itkin, “Towards a Formal Modelling of Order-driven Trading Systems using Petri Nets: A Multi-Agent Approach”, Modeling and Analysis of Complex Systems and Processes, MACSPro, v. I, CEUR, 2478, eds. A. Lomazova, A. Kalenkova, R. Yavorsky, 2019 | MR

[35] J. C. Carrasquel, I. A. Lomazova, “Modelling and Validation of Trading and Multi-Agent Systems: An Approach Based on Process Mining and Petri Nets”, Proc. of the ICPM Doctoral Consortium, CEUR, 2432, eds. B. van Dongen, J. Claes, 2019

[36] J. C. Carrasquel, I. A. Lomazova, A. Rivkin, “Modeling Trading Systems using Petri Net Extensions”, Int. Workshop on Petri Nets and Software Engineering, PNSE, CEUR, 2651, eds. M. Köhler-Bussmeier, E. Kindler, H. Rolke, 2020

[37] I. A. Lomazova, “Nested Petri Nets a Formalism for Specification and Verification of Multi-Agent Distributed Systems”, Fundamenta Informaticae, 43 (2000), 195–214 | DOI | MR | Zbl

[38] K. Mecheraoui, J. C. Carrasquel, I. A. Lomazova, “Compositional Conformance Checking of Nested Petri Nets and Event Logs of Multi-Agent Systems”, Modeling and Analysis of Complex Systems and Processes, MACSPro, CEUR, 2795, eds. A. Shapoval, V. Popov, I. Makarov, 2020

[39] I. A. Lomazova, “Nested Petri Nets for Adaptive Process Modeling”, Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday, LNCS, 4800, eds. A. Avron, N. Dershowitz, A. Rabinovich, Springer, 2008, 460–474 | MR | Zbl

[40] K. V. Hee, O. Oanea, A. Serebrenik, N. Sidorova, M. Voorhoeve, I. Lomazova, “Checking Properties of Adaptive Workflow Nets”, Fundam. Informaticae, 79 (2007), 347–362 | MR | Zbl

[41] J. M. E. M. van der Werf, A. Polyvyanyy, “The Information Systems Modeling Suite”, Application andeory of Petri Nets and Concurrency, LNCS, 12152, eds. R. Janicki, N. Sidorova, T. Chatain, Springer, 2020, 414–425

[42] S. Ghilardi, A. Gianola, M. Montali, A. Rivkin, “Petri Nets with Parameterised Data”, Business Process Management, LNCS, 12168, eds. D. Fahland, C. Ghidini, J. Becker, M. Dumas, Springer, 2020, 55–74