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

Abstract

This diploma thesis deals with the problematics of business process modeling and validation. The aim is to use the UML diagramming technique based on an activity diagram. Thanks to the handling drawed data, it was created the activity diagram with requested features. The fundamental logic of the algorithm is to model the diagram and then to verify it according to the predetermined rules of ontology. It was created the system which can store models and diagrams. The diagram has a strong model that validate its correctness. The results of this research provide the data of the business process for process mining analysis.