Control-Flow Pattern Based Transformation from UML Activity Diagram to YAWL

Zhaogang Han,Li Zhang,Jiming Ling,Shihong Huang

doi:10.1007/978-3-642-33068-1_13

Zhaogang Han, Li Zhang + Show 2 more

Open Access

https://doi.org/10.1007/978-3-642-33068-1_13

Copy DOI

Publication Date: Jan 1, 2012
Citations: 8	License type: cc-by

Affiliation: Beihang University, Florida Atlantic University

Abstract

Business process verification is an important topic in business process management (BPM). The verification of standard UML Activity Diagram is not easy due to lack of mature tools. YAWL (yet another workflow language) has a formal semantics based on Petri net; verification of YAWL model seems easier than other modeling languages such as UML-AD. A series of mature verification tools has been released (Woflan, WofYAWL, ProM) based on YAWL to find structural errors, such as deadlocks in the model. These tools can be used for verifying UML-AD models if they can be transformed to YAWL models.

Full Text