Implementace procesní analýzy OR diagramů v metodě BORM
Implementation of process analysis of BORM OR diagrams
bakalářská práce (OBHÁJENO)
Zobrazit/ otevřít
Trvalý odkaz
http://hdl.handle.net/20.500.11956/75758Identifikátory
SIS: 143406
Kolekce
- Kvalifikační práce [10691]
Autor
Vedoucí práce
Oponent práce
Pergl, Robert
Fakulta / součást
Matematicko-fyzikální fakulta
Obor
Programování
Katedra / ústav / klinika
Katedra softwarového inženýrství
Datum obhajoby
7. 9. 2015
Nakladatel
Univerzita Karlova, Matematicko-fyzikální fakultaJazyk
Čeština
Známka
Výborně
Klíčová slova (česky)
BORM, OR diagram, modelování byznysových procesů, simulace byznysových procesůKlíčová slova (anglicky)
BORM, OR diagram, business process modeling, business process simulationTato 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)