S. Meghzili, A. Chaoui, M. Streckecker and E. Kerkouche. 2020. An Approach for the Transformation and Verification of BPMN Models to Colored Petri Nets Models. International Journal of Software Innovation (IJSI), 8, 1 (January 2020), IGI Global, 33. DOI: https://doi.org/10.4018/IJSI.2020010102.

Meghzili, S., Chaoui, A., Streckecker, M. & Kerkouche, E. (2020, January). An Approach for the Transformation and Verification of BPMN Models to Colored Petri Nets Models. International Journal of Software Innovation (IJSI), 8(1), IGI Global, 33. DOI: https://doi.org/10.4018/IJSI.2020010102

S. Meghzili, A. Chaoui, M. Streckecker and E. Kerkouche, "An Approach for the Transformation and Verification of BPMN Models to Colored Petri Nets Models". International Journal of Software Innovation (IJSI), vol. 8, no. 1, IGI Global, pp. 33, January, 2020. DOI: https://doi.org/10.4018/IJSI.2020010102.

@article{misc-lab-256,
author = {Meghzili, Said and Chaoui, Allaoua and Streckecker, Martin and Kerkouche, Elhillali},
title = {An Approach for the Transformation and Verification of BPMN Models to Colored Petri Nets Models},
journal = {International Journal of Software Innovation (IJSI)},
volume = {8},
number = {1},
issn = {2166-7160},
pages = {33},
publisher = {IGI Global},
year = {2020},
month = {January},
doi = {10.4018/IJSI.2020010102},
url = {https://www.igi-global.com/article/an-approach-for-the-transformation-and-verification-of-bpmn-models-to-colored-petri-nets-models/243378},
keywords = {BPMN, Colored Petri Nets, Model Transformation correctness, Verification}
}

TI  - An Approach for the Transformation and Verification of BPMN Models to Colored Petri Nets Models
AU  - S. Meghzili
AU  - A. Chaoui
AU  - M. Streckecker
AU  - E. Kerkouche
PY  - 2020
SN  - 2166-7160
JO  - International Journal of Software Innovation (IJSI)
VL  - 8
IS  - 1
SP  - 33
PB  - IGI Global
AB  - The correctness of transformations has recently begun to attract the attention of the researchers in Model Driven Engineering (MDE). The objective of this article is twofold. First, it presents an approach for transforming BPMN models to Colored Petri nets models using GROOVE and EMF/Xpand tools. Second, it proposes an approach for checking the correctness of the transformation itself. More precisely, we have defined the termination property of the transformation and the preservation of some structural properties of BPMN models by the transformation using the GROOVE graph transformation tool. The authors have also applied the approach on a case study through which the authors have verified the successful termination of the transformation using GROOVE Model Checker and the target model properties using CPN Tools
KW  - BPMN
KW  - Colored Petri Nets
KW  - Model Transformation correctness
KW  - Verification
DO  - 10.4018/IJSI.2020010102
UR  - https://www.igi-global.com/article/an-approach-for-the-transformation-and-verification-of-bpmn-models-to-colored-petri-nets-models/243378
ID  - misc-lab-256
ER  -