201. From UML 2.0 Activity Diagram to YAWL: The Controlflow Aspect.
- Author
-
Han, Zhaogang and Zhang, Li
- Subjects
MATHEMATICAL transformations ,MATHEMATICAL mappings ,MATHEMATICAL models ,BUSINESS models ,ALGORITHMS ,WORKFLOW - Abstract
Abstract: Model transformations are frequently applied in model-driven development to bridge between languages on a different level of abstraction and formality. In This paper, we define a transformation from UML 2.0 Activity diagram(UML-AD for short) to YAWL, a formal workflow language that is able to capture all of the 20 workflow patterns reported in. The transformation is mainly concerned on the control-flow aspects of UML-AD models. We illustrate the transformation challenges and present a suitable transformation algorithm. The benefit of the transformation is threefold. First, it clarifies the semantics of UML-AD via a mapping to YAWL. Second, the deployment of UML-AD business process models as workflows is simplified. Third, UML-AD models can be analyzed with YAWL verification tools. a [Copyright &y& Elsevier]
- Published
- 2011
- Full Text
- View/download PDF