{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T10:05:55Z","timestamp":1767261955358,"version":"3.37.3"},"reference-count":59,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"9","license":[{"start":{"date-parts":[[2024,9,1]],"date-time":"2024-09-01T00:00:00Z","timestamp":1725148800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2024,9,1]],"date-time":"2024-09-01T00:00:00Z","timestamp":1725148800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,9,1]],"date-time":"2024-09-01T00:00:00Z","timestamp":1725148800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62262063"],"award-info":[{"award-number":["62262063"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Key Research and Development Program of Yunnan Province","award":["202402AD080002-5"],"award-info":[{"award-number":["202402AD080002-5"]}]},{"name":"Expert Workstation of Yunnan Province","award":["202105AF150013"],"award-info":[{"award-number":["202105AF150013"]}]},{"name":"Yunnan Revitalization Talents Support Plan","award":["XDYC-CYCX-2022-0009"],"award-info":[{"award-number":["XDYC-CYCX-2022-0009"]}]},{"name":"Taishan Scholars Program of Shandong Province","award":["tsqn201909109"],"award-info":[{"award-number":["tsqn201909109"]}]},{"name":"Natural Science Excellent Youth Foundation of Shandong Province","award":["ZR2021YQ45"],"award-info":[{"award-number":["ZR2021YQ45"]}]},{"name":"Youth Innovation Science and Technology Team Foundation of Shandong Higher School","award":["2021KJ031"],"award-info":[{"award-number":["2021KJ031"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[2024,9]]},"DOI":"10.1109\/tse.2024.3431585","type":"journal-article","created":{"date-parts":[[2024,7,22]],"date-time":"2024-07-22T17:56:43Z","timestamp":1721671003000},"page":"2313-2336","source":"Crossref","is-referenced-by-count":2,"title":["Enforcing Correctness of Collaborative Business Processes Using Plans"],"prefix":"10.1109","volume":"50","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-3603-8380","authenticated-orcid":false,"given":"Qi","family":"Mo","sequence":"first","affiliation":[{"name":"School of Software, Yunnan University, Kunming, China"}]},{"ORCID":"https:\/\/orcid.org\/0009-0006-5268-0513","authenticated-orcid":false,"given":"Jianeng","family":"Wang","sequence":"additional","affiliation":[{"name":"School of Software, Yunnan University, Kunming, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1325-5841","authenticated-orcid":false,"given":"Zhongwen","family":"Xie","sequence":"additional","affiliation":[{"name":"Center for Big Data Research on Culture and Tourism, Taishan University, Taian, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2665-7153","authenticated-orcid":false,"given":"Cong","family":"Liu","sequence":"additional","affiliation":[{"name":"School of Computer Science and Technology, Shangdong University of Technology, Zibo, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6469-357X","authenticated-orcid":false,"given":"Fei","family":"Dai","sequence":"additional","affiliation":[{"name":"School of Big Data and Intelligent Engineering, Southwest Forestry University, Kunming, China"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/CSD.1998.657557"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.datak.2005.03.008"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TSC.2019.2961346"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2008.916747"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2012.2188511"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2926097"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0058022"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1142\/S0218126698000043"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TSC.2016.2617331"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2019.2922183"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2020.2993376"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2022.3216683"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1049\/iet-sen.2008.0062"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.jnca.2010.06.006"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2009.09.010"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2011.08.004"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2014.2334276"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2016.12.044"},{"volume-title":"Towards Analysis of Flexible and Collaborative Workflow Using Recursive ECATNets","year":"2007","author":"Barkaoui","key":"ref19"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/j.eswa.2018.06.005"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2018.05.008"},{"key":"ref22","first-page":"1","article-title":"A correctness checking approach for collaborative business processes in the cloud","volume":"2020","author":"Qi","year":"2020","journal-title":"Complexity"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2018.2838053"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2020.110594"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45594-9_11"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlamp.2020.100630"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2021.111007"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2021.101765"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1002\/spe.3131"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.3233\/FI-2011-610"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00899-3_9"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.4018\/jwsr.2010100101"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2009.2037018"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1016\/j.jpdc.2018.09.010"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2011.10.005"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-9236(03)00116-7"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(00)00321-2"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1145\/233551.233556"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/icws.2006.34"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1016\/S0306-4379(00)00012-0"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1007\/s10796-009-9164-1"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2008.86"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/TSC.2015.2402679"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2009.08.004"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/bxn064"},{"volume-title":"The Principle and Application of Petri Nets","year":"2005","author":"Yuan","key":"ref46"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1109\/TSC.2022.3184013"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2003.819490"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-53863-1_36"},{"key":"ref50","article-title":"RePROSitory: A repository platform for sharing business process models","volume-title":"Proc. Bus. Process Manage.","author":"Flavio","year":"2019"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1109\/JIOT.2019.2960316"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1109\/TSC.2015.2413401"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2023.3321060"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2022.3194312"},{"key":"ref55","first-page":"1","article-title":"PIPE v2.5: A Petri net tool for performance modeling","volume-title":"Proc. 23rd Latin Amer. Conf. Inform. (CLEI)","author":"Bonet","year":"2007"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2020.102498"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2018.2889715"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2020.106370"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.4018\/978-1-4666-4667-4.ch010"}],"container-title":["IEEE Transactions on Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/32\/10683742\/10606105.pdf?arnumber=10606105","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,20]],"date-time":"2024-09-20T06:25:40Z","timestamp":1726813540000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10606105\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,9]]},"references-count":59,"journal-issue":{"issue":"9"},"URL":"https:\/\/doi.org\/10.1109\/tse.2024.3431585","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":[[2024,9]]}}}