hrcak mascot   Srce   HID

Izvorni znanstveni članak
https://doi.org/https://doi.org/10.1080/00051144.2020.1734716

Automated simulation and verification of process models discovered by process mining

Ivona Zakarija ; Department of Electrical Engineering and Computing, University of Dubrovnik, Dubrovnik, Croatia
Frano Škopljanac-Mačina ; Faculty of Electrical Engineering and Computing, University of Zagreb, Zagreb, Croatia
Bruno Blašković ; Faculty of Electrical Engineering and Computing, University of Zagreb, Zagreb, Croatia

Puni tekst: engleski, pdf (4 MB) str. 312-324 preuzimanja: 11* citiraj
APA 6th Edition
Zakarija, I., Škopljanac-Mačina, F. i Blašković, B. (2020). Automated simulation and verification of process models discovered by process mining. Automatika, 61 (2), 312-324. Preuzeto s https://hrcak.srce.hr/239873
MLA 8th Edition
Zakarija, Ivona, et al. "Automated simulation and verification of process models discovered by process mining." Automatika, vol. 61, br. 2, 2020, str. 312-324. https://hrcak.srce.hr/239873. Citirano 08.08.2020.
Chicago 17th Edition
Zakarija, Ivona, Frano Škopljanac-Mačina i Bruno Blašković. "Automated simulation and verification of process models discovered by process mining." Automatika 61, br. 2 (2020): 312-324. https://hrcak.srce.hr/239873
Harvard
Zakarija, I., Škopljanac-Mačina, F., i Blašković, B. (2020). 'Automated simulation and verification of process models discovered by process mining', Automatika, 61(2), str. 312-324. Preuzeto s: https://hrcak.srce.hr/239873 (Datum pristupa: 08.08.2020.)
Vancouver
Zakarija I, Škopljanac-Mačina F, Blašković B. Automated simulation and verification of process models discovered by process mining. Automatika [Internet]. 2020 [pristupljeno 08.08.2020.];61(2):312-324. Dostupno na: https://hrcak.srce.hr/239873
IEEE
I. Zakarija, F. Škopljanac-Mačina i B. Blašković, "Automated simulation and verification of process models discovered by process mining", Automatika, vol.61, br. 2, str. 312-324, 2020. [Online]. Dostupno na: https://hrcak.srce.hr/239873. [Citirano: 08.08.2020.]

Sažetak
This paper presents a novel approach for automated analysis of process models discovered using process mining techniques. Process mining explores underlying processes hidden in the event data generated by various devices. Our proposed Inductive machine learning method was used to build business process models based on actual event log data obtained from a hotel's Property Management System (PMS). The PMS can be considered as a Multi Agent System (MAS) because it is integrated with a variety of external systems and IoT devices. Collected event log combines data on guests stay recorded by hotel staff, as well as data streams captured from telephone exchange and other external IoT devices. Next, we performed automated analysis of the discovered process models using formal methods. Spin model checker was used to simulate process model executions and automatically verify the process model. We proposed an algorithm for the automatic transformation of the discovered process model into a verification model. Additionally, we developed a generator of positive and negative examples. In the verification stage, we have also used Linear temporal logic (LTL) to define requested system specifications. We find that the analysis results will be well suited for process model repair.

Ključne riječi
Process mining; IoT; model checking; inductive machine learning; Big Data; MAS

Hrčak ID: 239873

URI
https://hrcak.srce.hr/239873

Posjeta: 25 *