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.
A. Belghiat, D. Oukhaf and A. Chaoui. 2020. Transforming UML Diagrams to YAWL models for Business Processes Analysis. In Proceedings of the Modelling and Implementation of Complex Systems, Batna, Algeria. Lecture Notes in Networks and Systems (LNNS), Transforming UML Diagrams to YAWL models for Business Processes Analysis, Salim Chikh; Abdelmalek Amine; Allaoua Chaoui; Djamel Eddine Saidouni; Mohamed Khireddine Kholladi, Ed., 156 (October 2020), Springer-Verlag, 279-293. DOI: https://doi.org/10.1007/978-3-030-58861-8_20.
APA :
Belghiat, A., Oukhaf, D. & Chaoui, A. (2020, October). Transforming UML Diagrams to YAWL models for Business Processes Analysis. In Proceedings of the Modelling and Implementation of Complex Systems, Batna, Algeria. In Salim Chikh; Abdelmalek Amine; Allaoua Chaoui; Djamel Eddine Saidouni; Mohamed Khireddine Kholladi (Ed.). Lecture Notes in Networks and Systems (LNNS), Transforming UML Diagrams to YAWL models for Business Processes Analysis, 156, Springer-Verlag, 279-293. DOI: https://doi.org/10.1007/978-3-030-58861-8_20
IEEE :
A. Belghiat, D. Oukhaf and A. Chaoui, "Transforming UML Diagrams to YAWL models for Business Processes Analysis". In Proceedings of the Modelling and Implementation of Complex Systems, Batna, Algeria. Lecture Notes in Networks and Systems (LNNS), Transforming UML Diagrams to YAWL models for Business Processes Analysis, vol. 156, Springer-Verlag, pp. 279-293, October, 2020. DOI: https://doi.org/10.1007/978-3-030-58861-8_20.
BibTeX :
@inbook{misc-lab-345, author = {Belghiat, Aissam and Oukhaf, Dalal and Chaoui, Allaoua}, title = {Transforming UML Diagrams to YAWL models for Business Processes Analysis}, volume = {156}, booktitle = {Modelling and Implementation of Complex Systems}, series = {Lecture Notes in Networks and Systems (LNNS)}, chapter = {Transforming UML Diagrams to YAWL models for Business Processes Analysis}, location = {Batna, Algeria}, isbn = {978-3-030-58860-1}, pages = {279--293}, editor = {Chikh, Salim and Amine, Abdelmalek and Chaoui, Allaoua and Saidouni, Djamel Eddine and Kholladi, Mohamed Khireddine}, publisher = {Springer-Verlag}, year = {2020}, month = {October}, doi = {10.1007/978-3-030-58861-8\_20}, url = {https://link.springer.com/book/10.1007%2F978-3-030-58861-8}, keywords = {Business process, MDE, UML activity diagram, YAWL} }
RIS :
TY - CHAP TI - Transforming UML Diagrams to YAWL models for Business Processes Analysis AU - A. Belghiat AU - D. Oukhaf AU - A. Chaoui PY - 2020 VL - 156 BT - Modelling and Implementation of Complex Systems, Batna, Algeria SN - 978-3-030-58860-1 SP - 279 EP - 293 ED - S. Chikh ED - A. Amine ED - A. Chaoui ED - D. E. Saidouni ED - M. K. Kholladi PB - Springer-Verlag AB - 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. KW - Business process KW - MDE KW - UML activity diagram KW - YAWL DO - 10.1007/978-3-030-58861-8_20 UR - https://link.springer.com/book/10.1007%2F978-3-030-58861-8 ID - misc-lab-345 ER -