Semiformální modelování procesů na základě formálních omezení

Abstract

Tato diplomová práce se zaměřuje na využití moderních technologií při návrhu a vývoji webové aplikace pro semiformální modelování procesů na základě formálních omezení. V rámci teoretické části práce je popsána problematika modelování procesů a představena metodika UPMM vyvíjená katedrou informatiky. V praktické částí je poté provedena analýza požadavků, návrh architektury, definice technologií a implementace částí systému. Výsledkem práce je funkční moderní webová aplikace pro modelování procesů pomocí BPMN na základě UPMM omezení.

This thesis focuses on the use of modern technologies in the design and development of a web application for semi-formal process modeling based on formal constraints. The theoretical part of the thesis describes the issues of process modeling and introduces the UPMM methodology developed by the Department of Computer Science. The practical part includes analysis of requirements, architecture design, technology definition, and implementation of system components. The result of this work is a functional modern web application for process modeling using BPMN based on UPMM constraints.