Skip to main content
SpringerLink
Log in

Transforming UML Diagrams to YAWL Models for Business Processes Analysis

  • Conference paper
  • First Online:
Modelling and Implementation of Complex Systems (MISC 2020)

Part of the book series: Lecture Notes in Networks and Systems ((LNNS,volume 156))

  • 451 Accesses

Abstract

Business processes modeling and verification are become essential to master and guarantee organization evolution. UML Activity diagrams have been used for this purpose, although they were not designed for that at the beginning. These diagrams lack for formal semantics which prohibits their verification. YAWL is a language developed for modeling workflows. It has a formal semantics based on Petri nets, and it is supported by open source toolsets. Transforming UML activity diagrams to YAWL is very beneficial. It allows profiting from the intuitiveness and widespread use of UML activity diagrams for modeling business processes and workflows, on one hand, and enabling their verification by using YAWL tools on the other hand.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 149.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 199.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Workflow Management Coalition: Workflow management coalition specification-terminology & glossary (WFMC-TC-1011) (1999). www.wfmc.org

  2. Workflow Management Coalition: The workflow reference model (WFMC-TC-1003) (1995). www.wfmc.org

  3. UML (Unified Modeling Language): Superstructure, v2.5. http://www.omg.org/

  4. Yawl (Yet Another Workflow Language). http://www.yawlfoundation.org/

  5. Laurent Audibert: Cours UML. https://laurent-audibert.developpez.com/Cours-UML/?page=diagramme-activites

  6. AToM3 Home Page. http://atom3.cs.mcgill.ca/

  7. Geambaşu, C.V.: BPMN vs UML activity diagram for business process modeling. Account. Manag. Inf. Syst. 11(4), 637–651 (2012)

    Google Scholar 

  8. Peixoto, D., Batista, V., Atayde, A., Borges, E., Resende, R., Pádua, C.I.P.S.: A comparison of BPMN and UML 2.0 activity diagrams. In: VII Simposio Brasileiro de Qualidade de Software, vol. 56, p. 012010 (May 2008)

    Google Scholar 

  9. Gardner, T.: UML modelling of automated business processes with a mapping to BPEL4WS (2003)

    Google Scholar 

  10. Ouyang, C., et al.: Translating standard process models to BPEL. In: Advanced Information Systems Engineering, pp. 417–432 (2006)

    Google Scholar 

  11. Yang, D., Zhang, S.S.: Using π-calculus to formalize UML activity diagrams. In: 10th International Conference and Workshop on the Engineering of Computer-Based Systems, pp. 47–54. IEEE Computer Society (2004)

    Google Scholar 

  12. Lam, V.S.: On π-calculus semantics as a formal basis for UML activity diagrams. Int. J. Softw. Eng. Knowl. Eng. 18(04), 541–567 (2008)

    Article  Google Scholar 

  13. Belghiat, A., Chaoui, A.: A graph transformation of activity diagrams into pi-calculus for verification purpose. In: Proceedings of the 3rd Edition of the International Conference on Advanced Aspects of Software Engineering (ICAASE18), Constantine, Algeria, 1–2 December (2018). http://ceur-ws.org

  14. Bolton, C., Davies, J.: On giving a behavioral semantics to activity graphs. In: UML 2000 Workshop Dynamic Behavior in UML Models: Semantic Questions (2000). http://www.disi.unige.it/person/ReggioG/UMLWORKSHOP/ACCEPTED.html. Accessed 26 July 26 2006

  15. Bolton, C., Davies, J.: Activity graphs and processes. In: 2nd International Conference on Integrated Formal Methods, LNCS 1945, pp. 77–96 (2000)

    Google Scholar 

  16. Storrle, H., Hausmann, J.H.: Towards a formal semantics of UML 2.0 activities. In: German Software Engineering Conference 2005 (2005). http://www.pst.ifi.lmu.de/personen/stoerrle/V/AD-11-Limits.pdf. Accessed 26 July 2006

  17. Barros, J.P., Gomes, L.: Actions as activities and activities as Petri nets. In: UML 2003 Workshop on Critical Systems Development with UML (2003)

    Google Scholar 

  18. Han, Z., Zhang, L., Ling, J.: Transformation of UML activity diagram to yawl. In: Enterprise Interoperability IV, pp. 289–299. Springer, London (2010)

    Google Scholar 

  19. Mendling, J., Moser, M., Neumann, G.: Transformation of yEPC Business Process Models to YAWL. ACM, New York (2006)

    Book  Google Scholar 

  20. Hong, Y.J., et al. Transformation of BPMN to YAWL. In: 2008 International Conference on Computer Science and Software Engineering (2008)

    Google Scholar 

  21. Decker, G., et al.: Transforming BPMN diagrams into YAWL nets. In: Business Process Management, pp. 386–389 (2008)

    Google Scholar 

  22. Brogi, A., Popescu, R.: From BPEL processes to YAWL workflows. In: Web Services and Formal Methods, pp. 107–122 (2006)

    Google Scholar 

  23. https://github.com/yawlfoundation/yawl/blob/master/schema/YAWLSchema:xsd

  24. Rozenberg, G.: Handbook of Graph Grammars and Computing by Graph Transformation. World Scientific, Singapore (1999)

    MATH  Google Scholar 

Download references

Acknowledgements

This work is supported by DGRSDT, Ministry of High Education and scientific research, Algeria.

Author information

Authors and Affiliations

  1. Department of Computer Science, University of Mohamed Seddik Benyahia, Jijel, Algeria

    Aissam Belghiat & Dalal Oukhaf

  2. MISC Laboratory, University of Constantine 2-Abdelhamid Mehri, Constantine, Algeria

    Aissam Belghiat & Allaoua Chaoui

Authors
  1. Aissam Belghiat
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Dalal Oukhaf
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Allaoua Chaoui
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Aissam Belghiat .

Editor information

Editors and Affiliations

  1. Faculty of New Information and Communication Technologies, University of Constantine 2, Constantine, Algeria

    Salim Chikhi

  2. Faculty of Technology, University of Saida, Saida, Algeria

    Abdelmalek Amine

  3. Faculty of New Information and Communication Technologies, University of Constantine 2, Constantine, Algeria

    Allaoua Chaoui

  4. Faculty of New Information and Communication Technologies, University of Constantine 2, Constantine, Algeria

    Djamel Eddine Saidouni

  5. Faculty of Science and Technology, Department of Mathematics and Computer Science, University of El Oued, El-Oued, Algeria

    Mohamed Khireddine Kholladi

Rights and permissions

Reprints and permissions

Copyright information

© 2021 The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Belghiat, A., Oukhaf, D., Chaoui, A. (2021). Transforming UML Diagrams to YAWL Models for Business Processes Analysis. In: Chikhi, S., Amine, A., Chaoui, A., Saidouni, D., Kholladi, M. (eds) Modelling and Implementation of Complex Systems. MISC 2020. Lecture Notes in Networks and Systems, vol 156. Springer, Cham. https://doi.org/10.1007/978-3-030-58861-8_20

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-58861-8_20

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-58860-1

  • Online ISBN: 978-3-030-58861-8

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation