Using Event Logs for Local Correction of Process Models
During the life-cycle of an Information System (IS) its actual behaviour may not correspond to the original system model. However, to the IS support it is very important to have the latest model that reflects the current system behaviour. To correct the model, the information from the event log of t...
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Yaroslavl State University
2017-08-01
|
| Series: | Моделирование и анализ информационных систем |
| Subjects: | |
| Online Access: | https://www.mais-journal.ru/jour/article/view/535 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1839573340064317440 |
|---|---|
| author | Alexey A. Mitsyuk Irina A. Lomazova Wil M.P. van der Aalst |
| author_facet | Alexey A. Mitsyuk Irina A. Lomazova Wil M.P. van der Aalst |
| author_sort | Alexey A. Mitsyuk |
| collection | DOAJ |
| description | During the life-cycle of an Information System (IS) its actual behaviour may not correspond to the original system model. However, to the IS support it is very important to have the latest model that reflects the current system behaviour. To correct the model, the information from the event log of the system may be used. In this paper, we consider the problem of process model adjustment (correction) using the information from an event log. The input data for this task are the initial process model (a Petri net) and the event log. The result of correction should be a new process model, better reflecting the real IS behavior than the initial model. The new model could be also built from scratch, for example, with the help of one of the known algorithms for automatic synthesis of the process model from an event log. However, this may lead to crucial changes in the structure of the original model, and it will be difficult to compare the new model with the initial one, hindering its understanding and analysis. It is important to keep the initial structure of the model as much as possible. In this paper, we propose a method for process model correction based on the principle of “divide and conquer”. The initial model is decomposed in several fragments. For each fragment its conformance to the event log is checked. Fragments which do not match the log are replaced by newly synthesized ones. The new model is then assembled from the fragments via transition fusion. The experiments demonstrate that our correction algorithm gives good results when it is used for correcting local discrepancies. The paper presents the description of the algorithm, the formal justification for its correctness, as well as the results of experimental testing by some artificial examples. |
| format | Article |
| id | doaj-art-f58d8f2642cc44b3a661646cc345d38c |
| institution | Matheson Library |
| issn | 1818-1015 2313-5417 |
| language | English |
| publishDate | 2017-08-01 |
| publisher | Yaroslavl State University |
| record_format | Article |
| series | Моделирование и анализ информационных систем |
| spelling | doaj-art-f58d8f2642cc44b3a661646cc345d38c2025-08-04T14:06:37ZengYaroslavl State UniversityМоделирование и анализ информационных систем1818-10152313-54172017-08-0124445948010.18255/1818-1015-2017-4-459-480381Using Event Logs for Local Correction of Process ModelsAlexey A. Mitsyuk0Irina A. Lomazova1Wil M.P. van der Aalst2National Research University Higher School of EconomicsNational Research University Higher School of EconomicsEindhoven University of Technology (TU/e)During the life-cycle of an Information System (IS) its actual behaviour may not correspond to the original system model. However, to the IS support it is very important to have the latest model that reflects the current system behaviour. To correct the model, the information from the event log of the system may be used. In this paper, we consider the problem of process model adjustment (correction) using the information from an event log. The input data for this task are the initial process model (a Petri net) and the event log. The result of correction should be a new process model, better reflecting the real IS behavior than the initial model. The new model could be also built from scratch, for example, with the help of one of the known algorithms for automatic synthesis of the process model from an event log. However, this may lead to crucial changes in the structure of the original model, and it will be difficult to compare the new model with the initial one, hindering its understanding and analysis. It is important to keep the initial structure of the model as much as possible. In this paper, we propose a method for process model correction based on the principle of “divide and conquer”. The initial model is decomposed in several fragments. For each fragment its conformance to the event log is checked. Fragments which do not match the log are replaced by newly synthesized ones. The new model is then assembled from the fragments via transition fusion. The experiments demonstrate that our correction algorithm gives good results when it is used for correcting local discrepancies. The paper presents the description of the algorithm, the formal justification for its correctness, as well as the results of experimental testing by some artificial examples.https://www.mais-journal.ru/jour/article/view/535process miningprocess model repairpetri netsprocess model decompositiondivide and conquer |
| spellingShingle | Alexey A. Mitsyuk Irina A. Lomazova Wil M.P. van der Aalst Using Event Logs for Local Correction of Process Models Моделирование и анализ информационных систем process mining process model repair petri nets process model decomposition divide and conquer |
| title | Using Event Logs for Local Correction of Process Models |
| title_full | Using Event Logs for Local Correction of Process Models |
| title_fullStr | Using Event Logs for Local Correction of Process Models |
| title_full_unstemmed | Using Event Logs for Local Correction of Process Models |
| title_short | Using Event Logs for Local Correction of Process Models |
| title_sort | using event logs for local correction of process models |
| topic | process mining process model repair petri nets process model decomposition divide and conquer |
| url | https://www.mais-journal.ru/jour/article/view/535 |
| work_keys_str_mv | AT alexeyamitsyuk usingeventlogsforlocalcorrectionofprocessmodels AT irinaalomazova usingeventlogsforlocalcorrectionofprocessmodels AT wilmpvanderaalst usingeventlogsforlocalcorrectionofprocessmodels |