{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T09:58:46Z","timestamp":1740131926899,"version":"3.37.3"},"reference-count":90,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"3","license":[{"start":{"date-parts":[[2022,3,1]],"date-time":"2022-03-01T00:00:00Z","timestamp":1646092800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2022,3,1]],"date-time":"2022-03-01T00:00:00Z","timestamp":1646092800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,3,1]],"date-time":"2022-03-01T00:00:00Z","timestamp":1646092800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"name":"Zeligsoft Ltd."},{"name":"Malina Software Corp."},{"name":"Cmind Inc."},{"DOI":"10.13039\/501100000038","name":"Natural Sciences and Engineering Research Council of Canada","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100000038","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[2022,3,1]]},"DOI":"10.1109\/tse.2020.3008850","type":"journal-article","created":{"date-parts":[[2020,7,13]],"date-time":"2020-07-13T22:15:06Z","timestamp":1594678506000},"page":"951-972","source":"Crossref","is-referenced-by-count":3,"title":["Execution of Partial State Machine Models"],"prefix":"10.1109","volume":"48","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0253-671X","authenticated-orcid":false,"given":"Mojtaba","family":"Bagherzadeh","sequence":"first","affiliation":[]},{"given":"Nafiseh","family":"Kahani","sequence":"additional","affiliation":[]},{"given":"Karim","family":"Jahed","sequence":"additional","affiliation":[]},{"given":"Juergen","family":"Dingel","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"issue":"2","key":"ref1","article-title":"Model-driven engineering","volume":"39","author":"Schmidt","year":"2006","journal-title":"Comput.-IEEE Comput. Soc."},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2013.65"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69100-6_31"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-012-9196-x"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2013.03.084"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-11653-2_11"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/11557432_36"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/2652524.2652527"},{"year":"2016","key":"ref9","article-title":"IBM RSARTE"},{"year":"2016","key":"ref10","article-title":"SCADE suite"},{"year":"2016","key":"ref11","article-title":"Yakindu StateChart tools"},{"year":"2016","key":"ref12","article-title":"AF3"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3106278"},{"key":"ref14","first-page":"2313","article-title":"Execution of UML models: A systematic review of research and practice","volume-title":"Softw. Syst. Model.","volume":"18","author":"Ciccozzi","year":"2018"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-012-0261-0"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/bf00402646"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-27662-9_26"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/32.6191"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/SEAA.2009.70"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36209-6_39"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-018-0666-5"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-016-0523-3"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985858"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-41533-3_1"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.5381\/jot.2015.14.3.a3"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2012.6227159"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28872-2_16"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-41533-3_41"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/2483760.2483790"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/MSR.2017.61"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54804-8_27"},{"key":"ref32","first-page":"2361","article-title":"Survey and classification of model transformation tools","volume-title":"Softw. Syst. Model.","volume":"18","author":"Kahani","year":"2018"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/3183440.3183473"},{"key":"ref34","volume-title":"Real-Time Object-Oriented Modeling","volume":"2","author":"Selic","year":"1994"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2019.00131"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69927-9_4"},{"issue":"1","key":"ref37","first-page":"179","article-title":"An executable formal semantics for UML-RT","volume-title":"Softw. Syst. Model.","volume":"15","author":"Posse","year":"2016"},{"year":"2019","key":"ref38","article-title":"HCL RealTime software tooling (RTist)"},{"year":"2019","key":"ref39","article-title":"Eclipse eTrice - Real-time modeling tools"},{"year":"2019","key":"ref40","article-title":"Eclipse Papyrus for Real Time (Papyrus-RT)"},{"year":"2018","key":"ref41","article-title":"About the action language for foundational UML specification Version 1.1"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1007\/11880240_53"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2004.05.001"},{"article-title":"Partail Model Debugger (PMDebugger)","year":"2019","author":"Bagherzadeh","key":"ref44"},{"key":"ref45","first-page":"1","article-title":"The definitive ANTLR 4 reference","author":"Parr","year":"2013"},{"article-title":"Boost C++ library","year":"2019","author":"Beman Dawes","key":"ref46"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1177\/147078539703900202"},{"volume-title":"Distributed Algorithms","year":"1996","author":"Lynch","key":"ref48"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1145\/358557.358572"},{"volume-title":"State Models and Java Programs","year":"1999","author":"Magee","key":"ref51"},{"key":"ref52","first-page":"37","article-title":"Run-time monitoring of a rover: MDE research with open source software and low-cost hardware","volume-title":"Proc. EduSymp\/OSS4MDE@ MoDELS","author":"Ahmadi"},{"key":"ref53","first-page":"1","article-title":"Model-level debugging in the context of the model-driven development","author":"Bagherzadeh","year":"2019"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2009.36"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1109\/MiSE.2017.4"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1109\/2.585156"},{"year":"2016","key":"ref57","article-title":"Stateflow - MATLAB & Simulink"},{"year":"2016","key":"ref58","article-title":"xtUML - eXecutable translatable UML with BridgePoint"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-019-00724-1"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1109\/CIT.2010.323"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2003.1213515"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-020-00780-y"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1145\/1879021.1879031"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4614-2266-2_5"},{"key":"ref65","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-47884-1_1"},{"key":"ref66","doi-asserted-by":"publisher","DOI":"10.1109\/RSP.2006.15"},{"key":"ref67","doi-asserted-by":"publisher","DOI":"10.1145\/2976767.2976781"},{"key":"ref68","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-30476-7_2"},{"key":"ref69","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2012.6227159"},{"key":"ref70","first-page":"1","article-title":"Uncertainty modeling framework for the integration level v. 4","author":"Zhang","year":"2017","journal-title":"Simula Res. Lab."},{"key":"ref71","doi-asserted-by":"publisher","DOI":"10.1109\/MiSE.2013.6595289"},{"key":"ref72","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-61473-1_10"},{"key":"ref73","doi-asserted-by":"publisher","DOI":"10.1007\/s00766-013-0170-y"},{"key":"ref74","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-017-0609-6"},{"key":"ref75","doi-asserted-by":"publisher","DOI":"10.1145\/2814251.2814259"},{"key":"ref76","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28872-2_16"},{"key":"ref77","doi-asserted-by":"publisher","DOI":"10.5381\/jot.2015.14.3.a3"},{"key":"ref78","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-41533-3_41"},{"article-title":"Partial model completion in model driven engineering using constraint logic programming","volume-title":"Proc. 17th Int. Conf. Appl. Declarative Program. Knowl. Manage. and 21st Workshop (Constraint)","author":"Sen","key":"ref79"},{"key":"ref80","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-017-0594-9"},{"key":"ref81","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2017.8115677"},{"key":"ref82","doi-asserted-by":"publisher","DOI":"10.1145\/3158117"},{"key":"ref83","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1097-024X(199706)27:6<637::AID-SPE99>3.0.CO;2-3"},{"key":"ref84","doi-asserted-by":"publisher","DOI":"10.1109\/WCRE.2001.957806"},{"key":"ref85","doi-asserted-by":"publisher","DOI":"10.1145\/1449955.1449790"},{"key":"ref86","doi-asserted-by":"publisher","DOI":"10.1145\/177492.177725"},{"key":"ref87","doi-asserted-by":"publisher","DOI":"10.1145\/277652.277754"},{"key":"ref88","doi-asserted-by":"publisher","DOI":"10.1145\/1064978.1065045"},{"key":"ref89","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-012-0249-7"},{"key":"ref90","doi-asserted-by":"publisher","DOI":"10.1145\/3092282.3092285"}],"container-title":["IEEE Transactions on Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/32\/9734765\/09139402.pdf?arnumber=9139402","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,9]],"date-time":"2024-01-09T22:39:20Z","timestamp":1704839960000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9139402\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,3,1]]},"references-count":90,"journal-issue":{"issue":"3"},"URL":"https:\/\/doi.org\/10.1109\/tse.2020.3008850","relation":{},"ISSN":["0098-5589","1939-3520","2326-3881"],"issn-type":[{"type":"print","value":"0098-5589"},{"type":"electronic","value":"1939-3520"},{"type":"electronic","value":"2326-3881"}],"subject":[],"published":{"date-parts":[[2022,3,1]]}}}