Implementace procesní analýzy OR diagramů v metodě BORM

Abstract

Tato práce se zabývá modelováním, analýzou a simulací byznysových procesů v metodě BORM. V její teoretické části je vytvořen formální model pro stávající implementaci OR diagramu, který metoda používá, a popsán jeho převod na prefixový automat, což je zjednodušený formalismus zavedený výzkumy, na které tato práce navazuje. Na těchto základech je vystavěn nový simulační algoritmus, který napravuje významné sémantické nedostatky předchozích implementací. Algoritmus je implementován v rámci webového portálu pro správu procesních diagramů a následně je ověřena jeho funkčnost a výkonnost. Teoretické výsledky práce dále otevírají cestu k realizaci validačních algoritmů využitelných v praxi jak během modelování procesů, tak při jejich simulaci. Powered by TCPDF (www.tcpdf.org)

This thesis concerns itself with modeling, analysis and simulation of business processes using the BORM method. In its theoretical part, we develop a formal model for the current implementation of the OR diagram used by the method, and describe its transformation into the prefix machine, a simplified formalism presented in preceding research on which this thesis builds. Upon this foundation, a new simulation algorithm is developed which addresses and fixes several important shortcomings of previous implementations. The algorithm is implemented as part of a web portal for the management of process diagrams, and its functionality and performance are subsequently verified. This thesis' theoretical results further open the door to future realization of validation algorithms which can be utilized in practice during both modeling and simulation of processes. Powered by TCPDF (www.tcpdf.org)