An Approach for the Transformation and Verification of BPMN Models to Colored Petri Nets Models

An Approach for the Transformation and Verification of BPMN Models to Colored Petri Nets Models

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 |Pages: 33
DOI: 10.4018/IJSI.2020010102

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.
Article Preview
Top

The BPMN notation is a widely used and largely studied standard for the specification of business processes in an organization. To extract executable specifications from BPMN models in a way suitable for formal verification, one of the easiest ways is to use model transformation.

Complete Article List

Search this Journal:
Reset
Open Access Articles: Forthcoming
Volume 8: 4 Issues (2020): 1 Released, 3 Forthcoming
Volume 7: 4 Issues (2019)
Volume 6: 4 Issues (2018)
Volume 5: 4 Issues (2017)
Volume 4: 4 Issues (2016)
Volume 3: 4 Issues (2015)
Volume 2: 4 Issues (2014)
Volume 1: 4 Issues (2013)
View Complete Journal Contents Listing