Semiformálne modelovanie s využitím formálnych obmedzení a transformácie medzi notáciami procesov - notácia BPMN

Abstract

This thesis deals with the problem of informal modeling of business processes using a formal approach. The specific goal is creation of a web application that uses modeling options to resemble available, well-known business process modeling tools in the popular BPMN notation. However, unlike them, it also allows useful transformations between different languages that support business process modeling to better understand and provide a new perspective on the modeled process using a general meta-model. The difference is also in the possibility of using a defined ontology to comply with formal restrictions in the form of the need to maintain the sequence of individual activities in the process.