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

Abstract

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.