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.

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

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.

@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}
}

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  -