Methods and Tool for Process Validation

Tato diplomová práce se bude zabývat tématem Metodika a nástroje na ověření procesů. Nejprve jsem musel nastudovat potřebné materiály k pochopení této problematiky. Následně jsem pokračoval přes aplikaci nově získaných poznatků k vytvoření nástroje pro modelování business procesů. Poté jsem ověřoval tyto business procesy přes předem jednoznačně definovanou sadu pravidel zapsaných v jazyce OWL. Dále následovalo vytvoření nástroje pro generaci log záznamů pro vytvořený model pro použití v oblasti process mining. Nakonec práce s nástrojem ProM pro process mining, ve kterém je nutno pracovat s výstupem z modelovacího nástroje a vygenerovanými log záznamy. Závěrem práce je zjištění zda, se vymodelovaný business procesní model v praktickém použití skutečně používá tak, jak bylo definováno při jeho modelování.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.460 - Katedra informatikydobř