Nástroj pro verifikaci workflow sítě

Abstract

Conception of workflow was found in 1980. Since that time it has became very frequently used term in everyday work in bigger companies. This thesis deals with possibilities of workflow specification using chosen subsection of UML 2.0 modeling language, more precisely it deals with modeling of workflow using subset of UML 2.0 activity diagram elements. It also describes possibilities of verification of such defined workflows, firstly it is mentioned possibility of semiformal verification using defined UML 2.0 activity diagram rules and secondly it is mentioned how to possibly do formal verification of specified workflow using workflow transformation into Workflow net, an extension of Petri net, and subsequent verification of such Workflow net using formal methods described in Petri net theory. Implementation of workflow tool for editing workflow based on chosen subset of UML 2.0 modeling language and for its semiformal and formal verification is described in the second part. It describes in detail possibility to use Eclipse GEF as implementation framework for such graphical editor tool and also describes how to use Eclipse RCP platform for standalone application.