Semiformal modeling using formal constraints and transformation between process notations - BPMN notation

Tato diplomová práce se zabývá problematikou neformálního modelování podnikových procesů s využitím formálního přístupu. Konkrétním cílem práce je vytvoření webové aplikace, která modelovacími možnostmi připomíná dostupné, známé nástroje pro modelování podnikových procesů v populární notaci BPMN. Na rozdíl od nich však umožňuje také užitečné transformace mezi různými jazyky podporujícími modelování podnikových procesů pro lepší pochopení a poskytnutí nového pohledu na modelovaný proces použitím obecného meta-modelu. Rozdílem je také možnost použití definované ontologie pro dodržování formálních omezení v podobě nutnosti zachování následností jednotlivých aktivit v daném procesu.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.460 - Katedra informatikyvelmi dobř