Object-Centric Replay-Based Conformance Checking: Unveiling Desire Lines and Local Deviations
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...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Yaroslavl State University
2021-06-01
|
| Series: | Моделирование и анализ информационных систем |
| Subjects: | |
| Online Access: | https://www.mais-journal.ru/jour/article/view/1485 |
| _version_ | 1797877857313095680 |
|---|---|
| author | Julio C Carrasquel Khalil Mecheraoui |
| author_facet | Julio C Carrasquel Khalil Mecheraoui |
| author_sort | Julio C Carrasquel |
| collection | DOAJ |
| description | 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. |
| first_indexed | 2024-04-10T02:23:50Z |
| format | Article |
| id | doaj.art-23741ddf1011447fb2c5dac227b7765f |
| institution | Directory Open Access Journal |
| issn | 1818-1015 2313-5417 |
| language | English |
| last_indexed | 2024-04-10T02:23:50Z |
| publishDate | 2021-06-01 |
| publisher | Yaroslavl State University |
| record_format | Article |
| series | Моделирование и анализ информационных систем |
| spelling | doaj.art-23741ddf1011447fb2c5dac227b7765f2023-03-13T08:07:35ZengYaroslavl State UniversityМоделирование и анализ информационных систем1818-10152313-54172021-06-0128214616810.18255/1818-1015-2021-2-146-1681128Object-Centric Replay-Based Conformance Checking: Unveiling Desire Lines and Local DeviationsJulio C Carrasquel0Khalil Mecheraoui1Национальный исследовательский университет “Высшая школа экономики”Университет Константина 2 - Абделхамид Мехри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.https://www.mais-journal.ru/jour/article/view/1485process miningпроверка соответствиясети петрираскрашенные сети петри |
| spellingShingle | Julio C Carrasquel Khalil Mecheraoui Object-Centric Replay-Based Conformance Checking: Unveiling Desire Lines and Local Deviations Моделирование и анализ информационных систем process mining проверка соответствия сети петри раскрашенные сети петри |
| title | Object-Centric Replay-Based Conformance Checking: Unveiling Desire Lines and Local Deviations |
| title_full | Object-Centric Replay-Based Conformance Checking: Unveiling Desire Lines and Local Deviations |
| title_fullStr | Object-Centric Replay-Based Conformance Checking: Unveiling Desire Lines and Local Deviations |
| title_full_unstemmed | Object-Centric Replay-Based Conformance Checking: Unveiling Desire Lines and Local Deviations |
| title_short | Object-Centric Replay-Based Conformance Checking: Unveiling Desire Lines and Local Deviations |
| title_sort | object centric replay based conformance checking unveiling desire lines and local deviations |
| topic | process mining проверка соответствия сети петри раскрашенные сети петри |
| url | https://www.mais-journal.ru/jour/article/view/1485 |
| work_keys_str_mv | AT julioccarrasquel objectcentricreplaybasedconformancecheckingunveilingdesirelinesandlocaldeviations AT khalilmecheraoui objectcentricreplaybasedconformancecheckingunveilingdesirelinesandlocaldeviations |