{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,7]],"date-time":"2025-11-07T09:41:59Z","timestamp":1762508519562,"version":"3.37.3"},"reference-count":56,"publisher":"Wiley","license":[{"start":{"date-parts":[[2021,6,15]],"date-time":"2021-06-15T00:00:00Z","timestamp":1623715200000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61902141","19YJCZH095","18KJB520006"],"award-info":[{"award-number":["61902141","19YJCZH095","18KJB520006"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100002338","name":"Ministry of Education of the People's Republic of China","doi-asserted-by":"publisher","award":["61902141","19YJCZH095","18KJB520006"],"award-info":[{"award-number":["61902141","19YJCZH095","18KJB520006"]}],"id":[{"id":"10.13039\/501100002338","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100007166","name":"Jiangsu Provincial Department of Education","doi-asserted-by":"publisher","award":["61902141","19YJCZH095","18KJB520006"],"award-info":[{"award-number":["61902141","19YJCZH095","18KJB520006"]}],"id":[{"id":"10.13039\/501100007166","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Scientific Programming"],"published-print":{"date-parts":[[2021,6,15]]},"abstract":"<jats:p>The correctness of the business process modelling notation (BPMN) is essential for software success, and the BPMN formalization is the foundation of the correctness verification process. However, dynamically adapting the formalized BPMN model to changes in the BPMN model and protecting tokens from being lost in the remapping formalization are the main limitations of the BPMN formalization under changing business requirements. To overcome these limitations, an approach for evolving a Petri nets model according to the BPMN changes is proposed in this paper. In this approach, a check algorithm is designed to identify the differences between the original BPMN model and the updated BPMN model. Then, the evolution rules of the extended Petri nets (EPN) model are defined according to the results of the checking program. Finally, these evolution rules are described in the query\/view\/transformation operational mapping (QVTo) language and implemented in the Eclipse platform. We demonstrate the effectiveness of the evolution of the BPMN formalization using a case study of the Web Payment business system. Moreover, the dynamic evolution of the BPMN formalization can maintain the consistency between the original model and the updated model, and this consistency has been successfully verified.<\/jats:p>","DOI":"10.1155\/2021\/6610795","type":"journal-article","created":{"date-parts":[[2021,6,16]],"date-time":"2021-06-16T19:20:08Z","timestamp":1623871208000},"page":"1-16","source":"Crossref","is-referenced-by-count":4,"title":["A Petri Nets Evolution Method that Supports BPMN Model Changes"],"prefix":"10.1155","volume":"2021","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8883-4071","authenticated-orcid":true,"given":"Zonghua","family":"Li","sequence":"first","affiliation":[{"name":"School of Computer Science and Technology, Huaiyin Normal University, 223300 Huai\u2019an, Jiangsu, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6867-0890","authenticated-orcid":true,"given":"Zhengwei","family":"Ye","sequence":"additional","affiliation":[{"name":"School of Urban and Environmental Sciences, Huaiyin Normal University, 223300 Huai\u2019an, Jiangsu, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","reference":[{"key":"1","doi-asserted-by":"publisher","DOI":"10.1016\/j.csi.2011.06.002"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1016\/j.protcy.2012.09.045"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2020.110594"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2008.02.006"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1016\/j.cose.2013.10.002"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2015.02.010"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-16298-5_4"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2012.08.014"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2019.01.005"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2011.08.004"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlamp.2020.100630"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44919-1_31"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1002\/cpe.1795"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2004.02.002"},{"key":"15","first-page":"47","article-title":"The petri net markup language","volume-title":"Workshop Algorithmen und Werkzeuge f\u00fcr Petrinetze","author":"M. J\u00fcngel","year":"2000"},{"issue":"3","key":"16","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1016\/j.is.2017.11.005","article-title":"MEdit4CEP-CPN: an approach for complex event processing modeling by prioritized colored petri nets","volume":"18","author":"J. Boubeta-Puig","year":"2019","journal-title":"Information Systems"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1016\/s1665-6423(14)71631-1"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2005.12.022"},{"key":"19","doi-asserted-by":"publisher","DOI":"10.1016\/j.accinf.2017.09.002"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2011.01.002"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1145\/1228268.1228273"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2016.08.053"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2010.08.001"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1016\/j.dss.2020.113284"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2015.04.003"},{"issue":"2","key":"26","first-page":"1","article-title":"A methodology for CIM modelling and its transformation to PIM","volume":"3","author":"B. Bousetta","year":"2013","journal-title":"Journal of Thermal Science and Engineering Applications"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2010.09.002"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-75183-0_30"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijpe.2008.09.019"},{"first-page":"284","article-title":"Formal semantics and verification of BPMN transaction and compensation","author":"T. Takemura","key":"30"},{"key":"31","doi-asserted-by":"publisher","DOI":"10.3923\/jse.2014.58.74"},{"key":"32","doi-asserted-by":"publisher","DOI":"10.1109\/access.2019.2892958"},{"key":"33","doi-asserted-by":"publisher","DOI":"10.1109\/access.2018.2853669"},{"key":"34","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2010.09.007"},{"key":"35","doi-asserted-by":"publisher","DOI":"10.1016\/j.procs.2015.05.072"},{"key":"36","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15898-8_3"},{"key":"37","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2016.05.004"},{"key":"38","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2017.09.003"},{"key":"39","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2019.101459"},{"key":"40","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2019.03.012"},{"key":"41","doi-asserted-by":"publisher","DOI":"10.1109\/ACSD.2019.00013"},{"key":"42","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysarc.2020.101817"},{"first-page":"392","article-title":"Model checking-based safety verification of a petri net representation of train interlocking systems","author":"B. Aristyo","key":"43"},{"key":"44","doi-asserted-by":"publisher","DOI":"10.1109\/QRS-C.2018.00095"},{"key":"45","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2014.07.001"},{"key":"46","doi-asserted-by":"publisher","DOI":"10.1016\/j.engappai.2019.03.009"},{"key":"47","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2013.10.014"},{"key":"48","doi-asserted-by":"publisher","DOI":"10.1109\/FSKD.2017.8393156"},{"key":"49","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2018.06.343"},{"key":"50","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2011.12.027"},{"key":"51","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40894-6_6"},{"key":"52","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2018.09.007"},{"key":"53","doi-asserted-by":"publisher","DOI":"10.1016\/j.dss.2015.12.003"},{"key":"54","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2013.07.013"},{"key":"55","unstructured":"EinarssonH. P.Refactoring UML diagrams and models with model-to-model transformations2011Reykjavik, IcelandUniversity of IcelandMaster thesis"},{"key":"56","doi-asserted-by":"publisher","DOI":"10.1016\/j.eswa.2011.02.097"}],"container-title":["Scientific Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/downloads.hindawi.com\/journals\/sp\/2021\/6610795.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/downloads.hindawi.com\/journals\/sp\/2021\/6610795.xml","content-type":"application\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/downloads.hindawi.com\/journals\/sp\/2021\/6610795.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,6,16]],"date-time":"2021-06-16T19:20:17Z","timestamp":1623871217000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.hindawi.com\/journals\/sp\/2021\/6610795\/"}},"subtitle":[],"editor":[{"given":"Mu-Chen","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"editor","vocabulary":"crossref"}]}],"short-title":[],"issued":{"date-parts":[[2021,6,15]]},"references-count":56,"alternative-id":["6610795","6610795"],"URL":"https:\/\/doi.org\/10.1155\/2021\/6610795","relation":{},"ISSN":["1875-919X","1058-9244"],"issn-type":[{"type":"electronic","value":"1875-919X"},{"type":"print","value":"1058-9244"}],"subject":[],"published":{"date-parts":[[2021,6,15]]}}}