prikaz prve stranice dokumenta Analiza sukladnosti poslovnog procesa pomoću provjere modela
No public access
master's thesis
Analiza sukladnosti poslovnog procesa pomoću provjere modela
Zagreb: University of Zagreb, Faculty of Electrical Engineering and Computing, 2020. urn:nbn:hr:168:408301
Orešković, Dominik
University of Zagreb
Faculty of Electrical Engineering and Computing

Institutional repository: FER Repository

Cite this document

Orešković, D. (2020). Analiza sukladnosti poslovnog procesa pomoću provjere modela (Master's thesis). Zagreb: University of Zagreb, Faculty of Electrical Engineering and Computing. Retrieved from https://urn.nsk.hr/urn:nbn:hr:168:408301

Orešković, Dominik. "Analiza sukladnosti poslovnog procesa pomoću provjere modela." Master's thesis, University of Zagreb, Faculty of Electrical Engineering and Computing, 2020. https://urn.nsk.hr/urn:nbn:hr:168:408301

Orešković, Dominik. "Analiza sukladnosti poslovnog procesa pomoću provjere modela." Master's thesis, University of Zagreb, Faculty of Electrical Engineering and Computing, 2020. https://urn.nsk.hr/urn:nbn:hr:168:408301

Orešković, D. (2020). 'Analiza sukladnosti poslovnog procesa pomoću provjere modela', Master's thesis, University of Zagreb, Faculty of Electrical Engineering and Computing, accessed 11 July 2024, https://urn.nsk.hr/urn:nbn:hr:168:408301

Orešković D. Analiza sukladnosti poslovnog procesa pomoću provjere modela [Master's thesis]. Zagreb: University of Zagreb, Faculty of Electrical Engineering and Computing; 2020 [cited 2024 July 11] Available at: https://urn.nsk.hr/urn:nbn:hr:168:408301

D. Orešković, "Analiza sukladnosti poslovnog procesa pomoću provjere modela", Master's thesis, University of Zagreb, Faculty of Electrical Engineering and Computing, Zagreb, 2020. Available at: https://urn.nsk.hr/urn:nbn:hr:168:408301

Metadata
TitleAnaliza sukladnosti poslovnog procesa pomoću provjere modela
Title (english)Business Process Conformance Check with Model Checking
AuthorDominik Orešković
MentorBruno Blašković (mentor)
Committee memberBruno Blašković (predsjednik povjerenstva)
Committee memberMirko Randić (član povjerenstva)
Committee memberLuka Humski (član povjerenstva)
GranterUniversity of Zagreb
Faculty of Electrical Engineering and Computing
Zagreb
Defense date and country2020-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. Temeljem identificiranih različitosti mogu se donijeti odluke kojima će se poslovni proces unaprijediti.
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 deviations, some decisions can be made towards improving the business process.
Keywords
Keywords (english)
Languagecroatian
URN:NBNurn:nbn:hr:168:408301
Study programmeTitle: 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 resourceText
File originBorn digital
Access conditionsClosed access
Terms of useLicence In copyright icon
Public note
Created on2023-01-13 10:31:29