{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,23]],"date-time":"2025-04-23T04:50:44Z","timestamp":1745383844691,"version":"3.37.3"},"reference-count":62,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"8","license":[{"start":{"date-parts":[[2019,8,1]],"date-time":"2019-08-01T00:00:00Z","timestamp":1564617600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,8,1]],"date-time":"2019-08-01T00:00:00Z","timestamp":1564617600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,8,1]],"date-time":"2019-08-01T00:00:00Z","timestamp":1564617600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"name":"National Key R&D Program of China","award":["2017YFB1001801"],"award-info":[{"award-number":["2017YFB1001801"]}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61761136003"],"award-info":[{"award-number":["61761136003"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100004608","name":"Natural Science Foundation of Jiangsu Province","doi-asserted-by":"publisher","award":["BK20171427"],"award-info":[{"award-number":["BK20171427"]}],"id":[{"id":"10.13039\/501100004608","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100012226","name":"Fundamental Research Funds for the Central Universities","doi-asserted-by":"crossref","award":["30917011322"],"award-info":[{"award-number":["30917011322"]}],"id":[{"id":"10.13039\/501100012226","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"publisher","award":["JA 2441\/2-1"],"award-info":[{"award-number":["JA 2441\/2-1"]}],"id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100003579","name":"American Friends of the Alexander von Humboldt Foundation","doi-asserted-by":"publisher","award":["5090551"],"award-info":[{"award-number":["5090551"]}],"id":[{"id":"10.13039\/100003579","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[2019,8,1]]},"DOI":"10.1109\/tse.2018.2802925","type":"journal-article","created":{"date-parts":[[2018,2,6]],"date-time":"2018-02-06T19:33:09Z","timestamp":1517945589000},"page":"782-801","source":"Crossref","is-referenced-by-count":12,"title":["Instance Migration Validity for Dynamic Evolution of Data-Aware Processes"],"prefix":"10.1109","volume":"45","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4324-3382","authenticated-orcid":false,"given":"Wei","family":"Song","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7970-1384","authenticated-orcid":false,"given":"Xiaoxing","family":"Ma","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0813-0101","authenticated-orcid":false,"given":"Hans-Arno","family":"Jacobsen","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"ref39","DOI":"10.1109\/TSE.2010.37"},{"doi-asserted-by":"publisher","key":"ref38","DOI":"10.1109\/32.60317"},{"year":"2007","article-title":"Web services business process execution language version 2.0","key":"ref33"},{"doi-asserted-by":"publisher","key":"ref32","DOI":"10.1007\/978-3-540-87877-3_18"},{"doi-asserted-by":"publisher","key":"ref31","DOI":"10.1016\/j.infsof.2008.02.004"},{"doi-asserted-by":"publisher","key":"ref30","DOI":"10.1109\/ICWS.2009.96"},{"doi-asserted-by":"publisher","key":"ref37","DOI":"10.1023\/B:DAPD.0000026270.78463.77"},{"doi-asserted-by":"publisher","key":"ref36","DOI":"10.1007\/3-540-45140-4_3"},{"doi-asserted-by":"publisher","key":"ref35","DOI":"10.1023\/A:1011409408711"},{"key":"ref34","first-page":"60","article-title":"XES, XESame, and ProM 6","author":"verbeek","year":"2010","journal-title":"Proc Forum Conf Adv Inf Syst Eng"},{"doi-asserted-by":"publisher","key":"ref60","DOI":"10.1109\/TSE.2009.88"},{"doi-asserted-by":"publisher","key":"ref62","DOI":"10.1016\/j.datak.2007.06.007"},{"doi-asserted-by":"publisher","key":"ref61","DOI":"10.1109\/TSE.2011.62"},{"doi-asserted-by":"publisher","key":"ref28","DOI":"10.1007\/978-3-642-13094-6_40"},{"doi-asserted-by":"publisher","key":"ref27","DOI":"10.1109\/TSC.2016.2536025"},{"doi-asserted-by":"publisher","key":"ref29","DOI":"10.1007\/978-3-642-10383-4_44"},{"doi-asserted-by":"publisher","key":"ref2","DOI":"10.1109\/TSE.2015.2396895"},{"doi-asserted-by":"publisher","key":"ref1","DOI":"10.1109\/TSE.2010.96"},{"doi-asserted-by":"publisher","key":"ref20","DOI":"10.1145\/2774222"},{"doi-asserted-by":"publisher","key":"ref22","DOI":"10.1109\/CSE.2013.148"},{"key":"ref21","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1109\/TSE.2008.86","article-title":"Atomicity analysis of service composition across organizations","volume":"35","author":"ye","year":"2009","journal-title":"IEEE Trans Softw Eng"},{"doi-asserted-by":"publisher","key":"ref24","DOI":"10.1145\/2463664.2467796"},{"doi-asserted-by":"publisher","key":"ref23","DOI":"10.1007\/978-3-642-33606-5_2"},{"doi-asserted-by":"publisher","key":"ref26","DOI":"10.1109\/TKDE.2015.2421331"},{"doi-asserted-by":"publisher","key":"ref25","DOI":"10.1109\/ICWS.2014.64"},{"doi-asserted-by":"publisher","key":"ref50","DOI":"10.1109\/ICWS.2012.62"},{"doi-asserted-by":"publisher","key":"ref51","DOI":"10.1109\/TSC.2014.2361138"},{"doi-asserted-by":"publisher","key":"ref59","DOI":"10.1109\/TSC.2014.2322621"},{"doi-asserted-by":"publisher","key":"ref58","DOI":"10.1109\/TSC.2011.22"},{"doi-asserted-by":"publisher","key":"ref57","DOI":"10.1145\/1368088.1368139"},{"doi-asserted-by":"publisher","key":"ref56","DOI":"10.1145\/1062455.1062530"},{"doi-asserted-by":"publisher","key":"ref55","DOI":"10.1109\/CEC.2010.18"},{"doi-asserted-by":"publisher","key":"ref54","DOI":"10.1109\/32.485222"},{"year":"2006","author":"sipser","journal-title":"Introduction to the Theory of Computation","key":"ref53"},{"doi-asserted-by":"publisher","key":"ref52","DOI":"10.1109\/5.24143"},{"doi-asserted-by":"publisher","key":"ref10","DOI":"10.1109\/MC.2012.189"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.1109\/TSC.2014.2304729"},{"doi-asserted-by":"publisher","key":"ref40","DOI":"10.1109\/TSE.2016.2592913"},{"doi-asserted-by":"publisher","key":"ref12","DOI":"10.1109\/TSE.2011.22"},{"doi-asserted-by":"publisher","key":"ref13","DOI":"10.1109\/TSC.2012.25"},{"doi-asserted-by":"publisher","key":"ref14","DOI":"10.1016\/S0169-023X(97)00033-5"},{"doi-asserted-by":"publisher","key":"ref15","DOI":"10.1016\/S0304-3975(00)00321-2"},{"doi-asserted-by":"publisher","key":"ref16","DOI":"10.1016\/j.datak.2004.01.002"},{"doi-asserted-by":"publisher","key":"ref17","DOI":"10.1145\/1346337.1346241"},{"doi-asserted-by":"publisher","key":"ref18","DOI":"10.1007\/978-3-642-00899-3_7"},{"doi-asserted-by":"publisher","key":"ref19","DOI":"10.1109\/JPROC.2011.2165689"},{"doi-asserted-by":"publisher","key":"ref4","DOI":"10.1109\/TSE.2007.1011"},{"doi-asserted-by":"publisher","key":"ref3","DOI":"10.1109\/MC.2003.1236471"},{"doi-asserted-by":"publisher","key":"ref6","DOI":"10.1145\/2000791.2000793"},{"doi-asserted-by":"publisher","key":"ref5","DOI":"10.1109\/TSE.2012.84"},{"doi-asserted-by":"publisher","key":"ref8","DOI":"10.1109\/TPDS.2017.2696942"},{"doi-asserted-by":"publisher","key":"ref7","DOI":"10.1145\/2559938"},{"doi-asserted-by":"publisher","key":"ref49","DOI":"10.1109\/ICWS.2011.12"},{"doi-asserted-by":"publisher","key":"ref9","DOI":"10.1007\/s11432-008-0057-6"},{"doi-asserted-by":"publisher","key":"ref46","DOI":"10.1109\/TSC.2015.2426181"},{"doi-asserted-by":"publisher","key":"ref45","DOI":"10.1023\/A:1022883727209"},{"doi-asserted-by":"publisher","key":"ref48","DOI":"10.1145\/1028976.1028991"},{"doi-asserted-by":"publisher","key":"ref47","DOI":"10.1145\/24039.24041"},{"doi-asserted-by":"publisher","key":"ref42","DOI":"10.1109\/APSCC.2012.40"},{"doi-asserted-by":"publisher","key":"ref41","DOI":"10.1007\/11914853_17"},{"doi-asserted-by":"publisher","key":"ref44","DOI":"10.1016\/j.is.2014.10.004"},{"doi-asserted-by":"publisher","key":"ref43","DOI":"10.1109\/SCC.2009.11"}],"container-title":["IEEE Transactions on Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/32\/8812877\/08283529.pdf?arnumber=8283529","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,13]],"date-time":"2022-07-13T21:14:28Z","timestamp":1657746868000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8283529\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,8,1]]},"references-count":62,"journal-issue":{"issue":"8"},"URL":"https:\/\/doi.org\/10.1109\/tse.2018.2802925","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":[[2019,8,1]]}}}