The IRMA Community
Newsletters
Research IRM
Click a keyword to search titles using our InfoSci-OnDemand powered search:
|
An Approach for the Transformation and Verification of BPMN Models to Colored Petri Nets Models
|
Author(s): Said Meghzili (MISC Laboratory, Computer Science Department, University of Constantine 2-Abdelhamid Mehri, Constantine, Algeria), Allaoua Chaoui (University of Constantine 2, Constantine, Algeria), Martin Strecker (IRIT, Toulouse University, Toulouse, France)and Elhillali Kerkouche (Mohammed Seddik Ben Yahia University, Jijel, Algeria)
Copyright: 2020
Volume: 8
Issue: 1
Pages: 33
Source title:
International Journal of Software Innovation (IJSI)
Editor(s)-in-Chief: Roger Y. Lee (Central Michigan University, USA)and Lawrence Chung (The University of Texas at Dallas, USA)
DOI: 10.4018/IJSI.2020010102
Purchase
|
Abstract
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.
Related Content
Yogesh M. Kamble, Raj B. Kulkarni.
© 2024.
10 pages.
|
Zachary Estreito, Vinh Le, Frederick C. Harris Jr., Sergiu M. Dascalu.
© 2024.
15 pages.
|
Chase D. Carthen, Araam Zaremehrjardi, Vinh Le, Carlos Cardillo, Scotty Strachan, Alireza Tavakkoli, Frederick C. Harris Jr., Sergiu M. Dascalu.
© 2024.
14 pages.
|
Partha Ghosh, Takaaki Goto, Leena Jana Ghosh, Giridhar Maji, Soumya Sen.
© 2024.
15 pages.
|
Megha Bhushan, Utkarsh Verma, Chetna Garg, Arun Negi.
© 2024.
14 pages.
|
Kuo Jong-Yih, Hsieh Ti-Feng, Lin Yu-De, Lin Hui-Chi.
© 2024.
17 pages.
|
.
© 2024.
|
|
|