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

Abstract

Tato diplomová práce se zabývá semiformálním modelováním prostřednictvím procesní modelovací notace diagramu aktivit UML, následnou transformací tohoto diagramu do jiných procesních notací, a v neposlední řadě kombinováním semiformálního modelování ve spojení s definovanými formálními omezeními. V úvodní části je čtenáři představena i problematika modelování, kde jsou vysvětleny pojmy spojené s touto diplomovou prací. Následně je proveden průzkum aktuální situace řešené problematiky v rámci trhu. Dále následuje přiblížení řešení problematiky transformace a formálních omezení. V předposlední části je představen hlavní cíl diplomové práce, čímž bylo vytvoření nástroje, ve kterém bude možné modelovat v notaci diagramu aktivit UML, přičemž bude možné transformací převádět diagram aktivit do libovolných procesních notací a také bude umožněno omezit modelování v dané notaci prostřednictvím formálních omezení. Na závěr budou zhodnoceny dosažené výsledky a návrhy pro další postup řešení této problematiky.

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.