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

Abstract

Hlavním cílem této práce bylo vytvořit nástroj, který by umožňoval grafické zobrazování procesů při dodržování určitých formálních a semiformálních omezení za využití notace BPMN. V teoretické části jsou čtenáři přiblíženy již existující nástroje používané v této oblasti společně s bližším vysvětlením základních pojmů a přístupů v oblasti modelování procesů. V další části jsou čtenáři přiblíženy samotné požadavky aplikace společně s architekturou vyvíjeného nástroje. Následující část práce je věnována detailnímu popisu implementovaných funkcionalit aplikace. Závěr práce je věnován konkrétním ukázkám používání aplikace a zhodnocení vývoje navrženého nástroje společně s možnými návrhy pro jeho vylepšení.

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.