Verification support for workflow design with UML activity graphs
Proceedings of the 24th International Conference on Software Engineering
UML Activity Diagrams as a Workflow Specification Language
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
From UML activity diagrams to Stochastic Petri nets: application to software performance engineering
WOSP '04 Proceedings of the 4th international workshop on Software and performance
Workflow Management: Models, Methods, and Systems
Workflow Management: Models, Methods, and Systems
Hi-index | 0.01 |
Recently, workflow management system has been widely accepted in most enterprises as one of enabling technologies for process innovation or BPR (Business Process Reengineering). It is quite essential to customer satisfaction and productivity enhancement that structural errors in workflow instances must be detected before their enactments. For a qualitative workflow analysis, this paper combines the strengths of UML activity diagram and Petri Net, proposes a mapping scheme from UML activity diagrams to Petri Nets, and finally demonstrates the transformation results by using two workflow scenarios. The transformed Petri Net is used for the reachability tree analysis for the detection of structural errors of workflows.