Analiza sukladnosti poslovnog procesa pomoću provjere modela

master's thesis

• Title (english): Business Process Conformance Check with Model Checking
• Author: Dominik Orešković
• Mentor: Bruno Blašković (mentor)
• Committee member: Bruno Blašković (predsjednik povjerenstva)
• Committee member: Mirko Randić (član povjerenstva)
• Committee member: Luka Humski (član povjerenstva)
• Granter: University of Zagreb; Faculty of Electrical Engineering and Computing; Zagreb
• Defense date and country: 2020-07-06, Croatia
• Scientific / art field, discipline and subdiscipline: TECHNICAL SCIENCES; Computing

Abstract

Analiza sukladnosti je jedna od tehnika provedbe dubinske analize poslovnih procesa, a nastoji identificirati različitosti između modela i praktične realizacije procesa. Model se realizira kao automat s konačnim brojem stanja, a praktična realizacija može se očitati iz zapisnika događaja rekonstrukcijom odvijanih scenarija. Analizu je moguće provesti provjerom modela u alatu Spin, na način da se model procesa i testirani scenarij implementiraju kao sinkrono komunicirajući procesi u Promeli.... More Temeljem identificiranih različitosti mogu se donijeti odluke kojima će se poslovni proces unaprijediti. Less

Abstract (english)

Conformance checking is a process mining technique used for identifying deviations between model and practical realization of a business process. The model is represented as a finite state automata, while the practical realization can be represented by traces reconstructed from the event log. Conformance checking can be done using model checking in the Spin tool by implementing the process model and testing trace as synchronous communicating processes in Promela. Based on the identified... More deviations, some decisions can be made towards improving the business process. Less

• Keywords: dubinska analiza; analiza sukladnosti; poslovni proces; provjera modela; zapisnik događaja; scenarij; Spin/Promela; sinkrona komunikacija
• Keywords (english): process mining; conformance checking; business process; model checking; event log; trace; Spin/Promela; synchronous communication
• Language: croatian
• URN:NBN: urn:nbn:hr:168:408301
• Study programme: Title: Computing; Study programme type: university; Study level: graduate; Academic / professional title: magistar/magistra inženjer/inženjerka računarstva (magistar/magistra inženjer/inženjerka računarstva)
• Type of resource: Text
• File origin: Born digital
• Access conditions: Closed access
• Created on: 2023-01-13 10:31:29