Article
Journal/Revue :
International Journal of Software Innovation (IJSI)
ISSN : 2166-7160
Publisher :
Informations
Période : January 2020
Volume : 8 Numéro : 1
Pages : 33
Détails
An Approach for the Transformation and Verification of BPMN Models to Colored Petri Nets Models
Said Meghzili Allaoua Chaoui Martin Streckecker Elhillali Kerkouche
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
Mots clés :
BPMN Colored Petri Nets Model Transformation correctness Verification
Texte intégral
ACM :
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.
APA :
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
IEEE :
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.
BibTeX :
@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}
}
RIS :
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 -