Semiformálne modelovanie s využitím formálnych obmedzení a transformácie medzi notáciami procesov - diagram aktivít UML

Abstract

This diploma thesis deals with semiformal modeling using process modeling notation of the UML activity diagram, subsequent transformation of this diagram into other process notations and, last but not least, combining semiformal modeling in connection with defined formal constraints. In the introductory part, the reader is introduced to the issue of modeling, which explains the concepts associated with this thesis. Subsequently, a survey of the current situation of the issue within the market is performed. Next comes the approach to the problem of transformation and formal constraints. The penultimate part presents the main goal of the thesis, which was to create a tool in which it will be possible to model in the notation of the UML activity diagram, while it will be possible to transform the activity diagram into arbitrary process notations and also allow to limit modeling in the given notation through formal constraints. In the end, the achieved results and suggestions for further progress of this issue will be evaluated.