Metodika a nástroj na ověření procesů

Abstract

This written concept of diploma thesis is about Methods and Tool for Process Validation. At the first, I have had to study all necessary materials needed for my understanding of this area. Afterwards, I have continued by application of my newly acquired knowledge to development of the tool for Business process modeling. I have been hereafter verifying these business processes on the formerly set of rules defined in OWL language. I have proceeded with the creation of the tool for log records generation for the use in process mining part of this theses. At the end, I have worked with the tool ProM used in the process mining field, where is needed an output from the business process modeling tool and the generated log records. In the conclusion of the thesis is the finding, whether the practical use of the business model complies with its original definition during its modeling.