{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,15]],"date-time":"2026-05-15T18:56:18Z","timestamp":1778871378952,"version":"3.51.4"},"reference-count":51,"publisher":"World Scientific Pub Co Pte Lt","issue":"09","funder":[{"name":"Natural Science Foundation of the Jiangsu Higher Education Institutions of China","award":["18KJB520006"],"award-info":[{"award-number":["18KJB520006"]}]},{"name":"Youth Foundation Project of Humanities and Social Sciences","award":["19YJCZH095"],"award-info":[{"award-number":["19YJCZH095"]}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"crossref","award":["61902141"],"award-info":[{"award-number":["61902141"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"crossref","award":["41471425"],"award-info":[{"award-number":["41471425"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"crossref"}]},{"name":"Huai'an Science and Technology Plan (Guidance) Project of China","award":["HABZ201701"],"award-info":[{"award-number":["HABZ201701"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Soft. Eng. Knowl. Eng."],"published-print":{"date-parts":[[2019,9]]},"abstract":"<jats:p> Model transformation is a keystone in carrying out model-driven development. Currently, many studies have focused on model transformation, those researches study the automatic transformation from PIM to PSM and from PSM to code, but only few have dealt with how the CIM-level model is automatically mapped onto the PIM-level model. Even though some studies have proposed the semi-automatic transformation from CIM-level model to PIM-level model, only few mechanisms are discussed to protect the consistency between the CIM-level model and the PIM-level model in these researches because notation specification of these CIM-level model and PIM-level model does not contain precise semantics. Focusing on workflow perspective, this paper proposes an automatic model transformation approach, which applies a formal model to define the automatic mapping of the workflow from CIM-level model to PIM-level model. This proposal extends Petri nets model elements to define a bridge model, then we use this bridge model to link the CIM-level model (BPMN) and PIM-level model (SCM) following model-driven approach. The metamodels, the transformation rule and the transformation plug-ins have been defined in Eclipse Modeling Framework. Meanwhile, the plug-ins have been empirically validated by a Travel Agency case study. This study shows that using extended Petri nets model as a bridge model to define an automatic model transformation between CIM-level model and PIM-level model is feasible. This approach by means of formal model can ensure the correctness and completeness of the target model, and it can also maintain the consistency between the source model and target model. <\/jats:p>","DOI":"10.1142\/s0218194019500372","type":"journal-article","created":{"date-parts":[[2019,10,10]],"date-time":"2019-10-10T07:31:29Z","timestamp":1570692689000},"page":"1179-1217","source":"Crossref","is-referenced-by-count":5,"title":["A Formalization Model Transformation Approach on Workflow Automatic Execution from CIM Level to PIM Level"],"prefix":"10.1142","volume":"29","author":[{"given":"Zonghua","family":"Li","sequence":"first","affiliation":[{"name":"School of Computer Science and Technology, Huaiyin Normal University, Huai\u2019an, Jiangsu 223300, P. R. China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiaofeng","family":"Zhou","sequence":"additional","affiliation":[{"name":"College of Computer and Information Engineering, Hohai University, Nanjing, Jiangsu 211100, P. R. China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhengwei","family":"Ye","sequence":"additional","affiliation":[{"name":"School of Urban and Environmental Sciences, Huaiyin Normal University, Huai\u2019an, Jiangsu 223300, P. R. China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2019,10,10]]},"reference":[{"key":"S0218194019500372BIB002","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2012.11.004"},{"key":"S0218194019500372BIB003","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-34062-8_61"},{"key":"S0218194019500372BIB004","doi-asserted-by":"publisher","DOI":"10.1016\/j.datak.2011.09.002"},{"key":"S0218194019500372BIB005","doi-asserted-by":"publisher","DOI":"10.1016\/j.datak.2008.07.003"},{"key":"S0218194019500372BIB006","doi-asserted-by":"publisher","DOI":"10.1002\/cpe.1795"},{"key":"S0218194019500372BIB007","doi-asserted-by":"publisher","DOI":"10.1016\/j.csi.2013.08.017"},{"key":"S0218194019500372BIB008","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2018.03.001"},{"key":"S0218194019500372BIB009","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2014.2339852"},{"key":"S0218194019500372BIB010","doi-asserted-by":"publisher","DOI":"10.1016\/j.protcy.2012.02.095"},{"issue":"2","key":"S0218194019500372BIB011","first-page":"1","volume":"3","author":"Bousetta B.","year":"2013","journal-title":"J. Inf. Eng. Appl."},{"key":"S0218194019500372BIB012","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2010.09.002"},{"key":"S0218194019500372BIB013","doi-asserted-by":"publisher","DOI":"10.1016\/j.procs.2016.04.229"},{"key":"S0218194019500372BIB014","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2015.04.003"},{"key":"S0218194019500372BIB016","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2011.09.022"},{"key":"S0218194019500372BIB017","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijpe.2008.09.019"},{"key":"S0218194019500372BIB018","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2008.02.006"},{"key":"S0218194019500372BIB019","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2012.08.014"},{"key":"S0218194019500372BIB020","doi-asserted-by":"publisher","DOI":"10.1016\/j.eswa.2012.02.010"},{"key":"S0218194019500372BIB021","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2010.08.001"},{"key":"S0218194019500372BIB022","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2012.03.006"},{"key":"S0218194019500372BIB023","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2006.10.008"},{"key":"S0218194019500372BIB024","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2006.09.007"},{"key":"S0218194019500372BIB025","doi-asserted-by":"publisher","DOI":"10.1007\/s00766-011-0116-1"},{"key":"S0218194019500372BIB026","doi-asserted-by":"publisher","DOI":"10.1016\/j.eswa.2009.11.046"},{"key":"S0218194019500372BIB027","first-page":"161","volume":"30","author":"Trickvoic I.","year":"2000","journal-title":"J. Math."},{"key":"S0218194019500372BIB028","doi-asserted-by":"publisher","DOI":"10.1109\/ECBS.2008.12"},{"key":"S0218194019500372BIB029","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-40022-6_16"},{"key":"S0218194019500372BIB030","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2006.10.007"},{"key":"S0218194019500372BIB031","doi-asserted-by":"publisher","DOI":"10.1109\/EDOC.2008.42"},{"key":"S0218194019500372BIB032","doi-asserted-by":"publisher","DOI":"10.1109\/ICIInfS.2013.6731990"},{"key":"S0218194019500372BIB033","doi-asserted-by":"publisher","DOI":"10.1109\/ICSEC.2014.6978222"},{"key":"S0218194019500372BIB034","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2017.11.067"},{"key":"S0218194019500372BIB035","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-16283-1_8"},{"key":"S0218194019500372BIB036","first-page":"1","volume":"9","author":"Faria J. P.","year":"2014","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"S0218194019500372BIB037","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2014.08.049"},{"key":"S0218194019500372BIB038","doi-asserted-by":"publisher","DOI":"10.1016\/j.csi.2013.08.014"},{"key":"S0218194019500372BIB039","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-11628-5_26"},{"key":"S0218194019500372BIB040","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2016.12.044"},{"key":"S0218194019500372BIB041","doi-asserted-by":"publisher","DOI":"10.1109\/SEAA.2014.36"},{"key":"S0218194019500372BIB042","doi-asserted-by":"publisher","DOI":"10.1109\/ICRMS.2011.5979349"},{"key":"S0218194019500372BIB043","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19170-1_26"},{"key":"S0218194019500372BIB044","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19170-1_25"},{"key":"S0218194019500372BIB045","doi-asserted-by":"publisher","DOI":"10.1007\/s11235-011-9424-5"},{"key":"S0218194019500372BIB046","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2013.07.003"},{"key":"S0218194019500372BIB047","doi-asserted-by":"publisher","DOI":"10.1016\/S1005-8885(09)60590-2"},{"key":"S0218194019500372BIB048","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2005.12.022"},{"key":"S0218194019500372BIB049","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2004.02.002"},{"key":"S0218194019500372BIB051","first-page":"24","volume":"59","author":"J\u00fcngel M.","year":"2000","journal-title":"Petri Net Newsl."},{"key":"S0218194019500372BIB055","volume-title":"Eclipse Modeling Framework","author":"Steinberg D.","year":"2008"},{"key":"S0218194019500372BIB056","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.08.002"},{"key":"S0218194019500372BIB059","doi-asserted-by":"publisher","DOI":"10.1016\/j.eswa.2011.02.097"}],"container-title":["International Journal of Software Engineering and Knowledge Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218194019500372","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,10]],"date-time":"2019-10-10T07:31:46Z","timestamp":1570692706000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0218194019500372"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,9]]},"references-count":51,"journal-issue":{"issue":"09","published-print":{"date-parts":[[2019,9]]}},"alternative-id":["10.1142\/S0218194019500372"],"URL":"https:\/\/doi.org\/10.1142\/s0218194019500372","relation":{},"ISSN":["0218-1940","1793-6403"],"issn-type":[{"value":"0218-1940","type":"print"},{"value":"1793-6403","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,9]]}}}