Abstract
Model transformations are frequently applied in business process modeling 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 [1]. 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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
van der Aalst, W.M.P., et al., Workflow Patterns. Distributed and Parallel Databases, 2003. 14(1): p. 5-51.
van der Aalst, W.M.P. and A.H.M. ter Hofstede, YAWL: yet another workflow language. Inf. Syst., 2005. 30(4): p. 245--275.
Mendling, J., M. Moser and G. Neumann. Transformation of yEPC business process models to YAWL. 2006. New York, NY, USA: ACM.
JianHong, Y., et al. Transformation of BPMN to YAWL. in Computer Science and Software Engineering, 2008 International Conference on. 2008.
Decker, G., et al., Transforming BPMN Diagrams into YAWL Nets. Business Process Management, 2008: p. 386-389.
Brogi, A. and R. Popescu, From BPEL Processes to YAWL Workflows. Web Services and Formal Methods, 2006: p. 107-122.
Börger, E., A. Cavarra and E. Riccobene, An ASM Semantics for UML Activity Diagrams. Algebraic Methodology and Software Technology, 2009: p. 293-308.
Storrle, H. Semantics of Control-Flow in UML 2.0 Activities. 2004.
Eshuis, H., Semantics and Verification of UML Activity Diagrams for Workflow Modelling. 2002, Univ. of Twente.
Eshuis, R. and R. Wieringa, A Real-Time Execution Semantics for UML Activity Diagrams. Fundamental Approaches to Software Engineering, 2001: p. 76-90.
Lopez-Grao, J.P., J.E. Merseguer and J. Campos. From UML activity diagrams to Stochastic Petri nets: application to software performance engineering. 2004. New York, NY, USA: ACM. Concurrent Object-Oriented Programming and Petri Nets, 2001: p. 276-304.
Gardner, T. UML modelling of automated business processes with a mapping to BPEL4WS. 2003.
Ouyang, C., et al., Translating Standard Process Models to BPEL. Advanced Information Systems Engineering, 2006: p. 417-432.
Verbeek, E. and W. van der Aalst, Woflan 2.0 A Petri-Net-Based Workflow Diagnosis Tool. Application and Theory of Petri Nets 2000, 2000: p. 475-484.
van der Aalst, W., et al., ProM 4.0: Comprehensive Support for Real Process Analysis. Petri Nets and Other Models of Concurrency – ICATPN 2007, 2007: p. 484-494.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag London Limited
About this paper
Cite this paper
Han, Z., Zhang, L., Ling, J. (2010). Transformation of UML Activity Diagram to YAWL. In: Popplewell, K., Harding, J., Poler, R., Chalmeta, R. (eds) Enterprise Interoperability IV. Springer, London. https://doi.org/10.1007/978-1-84996-257-5_27
Download citation
DOI: https://doi.org/10.1007/978-1-84996-257-5_27
Publisher Name: Springer, London
Print ISBN: 978-1-84996-256-8
Online ISBN: 978-1-84996-257-5
eBook Packages: EngineeringEngineering (R0)