{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,10]],"date-time":"2026-06-10T15:26:48Z","timestamp":1781105208985,"version":"3.54.1"},"reference-count":31,"publisher":"IGI Global Scientific Publishing","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020,1,1]]},"abstract":"<p>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.<\/p>","DOI":"10.4018\/ijsi.2020010102","type":"journal-article","created":{"date-parts":[[2019,11,25]],"date-time":"2019-11-25T07:38:19Z","timestamp":1574667499000},"page":"17-49","source":"Crossref","is-referenced-by-count":14,"title":["An Approach for the Transformation and Verification of BPMN Models to Colored Petri Nets Models"],"prefix":"10.4018","volume":"8","author":[{"given":"Said","family":"Meghzili","sequence":"first","affiliation":[{"name":"MISC Laboratory, Computer Science Department, University of Constantine 2-Abdelhamid Mehri, Constantine, Algeria"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Allaoua","family":"Chaoui","sequence":"additional","affiliation":[{"name":"University of Constantine 2, Constantine, Algeria"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Martin","family":"Strecker","sequence":"additional","affiliation":[{"name":"IRIT, Toulouse University, Toulouse, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Elhillali","family":"Kerkouche","sequence":"additional","affiliation":[{"name":"Mohammed Seddik Ben Yahia University, Jijel, Algeria"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"2432","reference":[{"key":"IJSI.2020010102-0","doi-asserted-by":"publisher","DOI":"10.5381\/jot.2015.14.3.a1"},{"key":"IJSI.2020010102-1","doi-asserted-by":"publisher","DOI":"10.1145\/1656485.1656487"},{"key":"IJSI.2020010102-2","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2010.42"},{"key":"IJSI.2020010102-3","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2015.03.003"},{"key":"IJSI.2020010102-4","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2013.02.002"},{"key":"IJSI.2020010102-5","doi-asserted-by":"publisher","DOI":"10.1007\/s10796-016-9678-2"},{"key":"IJSI.2020010102-6","doi-asserted-by":"publisher","DOI":"10.1109\/MODELS.2017.12"},{"key":"IJSI.2020010102-7","doi-asserted-by":"publisher","DOI":"10.1016\/j.cl.2015.06.001"},{"key":"IJSI.2020010102-8","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2008.02.006"},{"key":"IJSI.2020010102-9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31984-9_5"},{"key":"IJSI.2020010102-10","unstructured":"Gogolla, M., Hamann, L., & Hilken, F. (2014). Checking Transformation Model Properties with a UML and OCL Model Validator. In VOLT@ STAF (pp. 16-25)."},{"key":"IJSI.2020010102-11","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-012-0102-y"},{"key":"IJSI.2020010102-12","unstructured":"GXL format. http:\/\/www.gupro.de\/GXL\/xmlschema\/xmlschema.html"},{"key":"IJSI.2020010102-13","author":"G. R. O. O. V. E.Home Page","year":"2019"},{"key":"IJSI.2020010102-14","doi-asserted-by":"publisher","DOI":"10.1145\/2663340"},{"key":"IJSI.2020010102-15","unstructured":"Kerkouche, E., Elmansouri, R., Chaoui, A., & Khalfaoui, K. (2014). An Automatic approach to verify business process models using INA petri nets analyzer. International Journal of Computer and Information Technology, 3(4), 2279-0764."},{"key":"IJSI.2020010102-16","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2016.12.044"},{"key":"IJSI.2020010102-17","doi-asserted-by":"publisher","DOI":"10.1109\/RCIS.2013.6577723"},{"key":"IJSI.2020010102-18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33155-8_4"},{"key":"IJSI.2020010102-19","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-014-0313-z"},{"key":"IJSI.2020010102-20","unstructured":"Lipton, P., Lauwers, C., & Tamburri, D. (2017). Oasis topology and orchestration specification for cloud applications (tosca) tc."},{"key":"IJSI.2020010102-21","doi-asserted-by":"publisher","DOI":"10.1109\/ICCTA.2012.6523550"},{"key":"IJSI.2020010102-22","doi-asserted-by":"publisher","DOI":"10.1109\/ICAASE.2016.7843859"},{"key":"IJSI.2020010102-23","doi-asserted-by":"publisher","DOI":"10.1109\/IRI.2017.63"},{"key":"IJSI.2020010102-24","first-page":"1","article-title":"Verification of Model Transformations Using Isabelle\/HOL and Scala.","author":"S.Meghzili","year":"2018","journal-title":"Information Systems Frontiers"},{"issue":"2","key":"IJSI.2020010102-25","doi-asserted-by":"crossref","first-page":"201","DOI":"10.3233\/FI-1998-33204","article-title":"Termination of graph rewriting is undecidable.","volume":"33","author":"D.Plump","year":"1998","journal-title":"Fundamenta Informaticae"},{"key":"IJSI.2020010102-26","doi-asserted-by":"publisher","DOI":"10.20532\/cit.2016.1002774"},{"key":"IJSI.2020010102-27","author":"C. P. N.Tools Homepage","year":"2019"},{"key":"IJSI.2020010102-28","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2012.200"},{"key":"IJSI.2020010102-29","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-003-0050-x"},{"key":"IJSI.2020010102-30","unstructured":"Varr\u00f3, D., & Pataricza, A. (2003). Automated formal verification of model transformations. TUM, 63."}],"container-title":["International Journal of Software Innovation"],"original-title":[],"language":"ng","link":[{"URL":"https:\/\/www.igi-global.com\/viewtitle.aspx?TitleId=243378","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,6]],"date-time":"2022-05-06T12:37:46Z","timestamp":1651840666000},"score":1,"resource":{"primary":{"URL":"https:\/\/services.igi-global.com\/resolvedoi\/resolve.aspx?doi=10.4018\/IJSI.2020010102"}},"subtitle":[""],"short-title":[],"issued":{"date-parts":[[2020,1,1]]},"references-count":31,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2020,1]]}},"URL":"https:\/\/doi.org\/10.4018\/ijsi.2020010102","relation":{},"ISSN":["2166-7160","2166-7179"],"issn-type":[{"value":"2166-7160","type":"print"},{"value":"2166-7179","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,1,1]]}}}