From UML 2.0 Activity Diagram to YAWL:A Control-flow Aspect
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|l. 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. 1
Model-driven development Model transformation Workflow UML Activity Diagram YAWL
Zhaogang Han Li Zhang
Department of Computer Science and Engineering University of BUAA Beijing, China
国际会议
重庆
英文
439-443
2011-01-21（万方平台首次上网日期，不代表论文的发表时间）