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

Abstract

The main goal of this thesis was to create a tool that would allow graphical representation of processes while adhering to certain formal and semi-formal constraints using the BPMN notation. In the theoretical part, reader is introduced to existing tools used in this field, along with a closer explanation of basic terms and approaches in process modeling. In the next section, reader is presented with the requirements of the application, as well as the architecture of the developed tool. The following section of the thesis is devoted to a detailed description of the implemented application functionalities. The conclusion of the work is dedicated to specific examples of the application’s usage and evaluation of the development of the proposed tool, together with possible suggestions for its improvement.