{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,11]],"date-time":"2025-09-11T07:59:13Z","timestamp":1757577553590,"version":"3.37.3"},"reference-count":32,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61572035","61402011"],"award-info":[{"award-number":["61572035","61402011"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Leading Backbone Talent Project in Anhui Province of China","award":["2020-1-12"],"award-info":[{"award-number":["2020-1-12"]}]},{"DOI":"10.13039\/501100003995","name":"Natural Science Foundation of Anhui Province of China","doi-asserted-by":"publisher","award":["2008085QD178"],"award-info":[{"award-number":["2008085QD178"]}],"id":[{"id":"10.13039\/501100003995","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Academic and Technology Leader Foundation of Anhui Province","award":["2019H239"],"award-info":[{"award-number":["2019H239"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Access"],"published-print":{"date-parts":[[2021]]},"DOI":"10.1109\/access.2021.3085832","type":"journal-article","created":{"date-parts":[[2021,6,3]],"date-time":"2021-06-03T22:09:50Z","timestamp":1622758190000},"page":"81740-81749","source":"Crossref","is-referenced-by-count":4,"title":["Detecting Data Inconsistency Based on Workflow Nets With Tables"],"prefix":"10.1109","volume":"9","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3976-3462","authenticated-orcid":false,"given":"Xiaoyan","family":"Tao","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1399-4070","authenticated-orcid":false,"given":"Xianwen","family":"Fang","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"ref32","DOI":"10.1109\/ACCESS.2016.2597061"},{"doi-asserted-by":"publisher","key":"ref31","DOI":"10.1023\/A:1014746130920"},{"doi-asserted-by":"publisher","key":"ref30","DOI":"10.1109\/TSC.2018.2867593"},{"doi-asserted-by":"publisher","key":"ref10","DOI":"10.1109\/TII.2017.2698640"},{"key":"ref11","first-page":"425","article-title":"Data-flow anti-patterns: Discovering data-flow errors in workflows","volume":"9","author":"tr?ka","year":"2009","journal-title":"Proc CAISE"},{"key":"ref12","first-page":"16","article-title":"Towards an active help on detecting data flow errors in business process models","volume":"12","author":"kabbaj","year":"2015","journal-title":"IJCSA"},{"doi-asserted-by":"publisher","key":"ref13","DOI":"10.1145\/2338626.2338628"},{"year":"2017","author":"ogbonna","article-title":"Improvement on concurrency control in a distributed database","key":"ref14"},{"key":"ref15","first-page":"134","article-title":"Data consistency properties and the trade-offs in commercial cloud storage: The consumers&#x2019; perspective","volume":"11","author":"wada","year":"2011","journal-title":"Proc CIDR"},{"doi-asserted-by":"publisher","key":"ref16","DOI":"10.1145\/1180875.1180916"},{"doi-asserted-by":"publisher","key":"ref17","DOI":"10.1109\/CPSData.2016.7496422"},{"doi-asserted-by":"publisher","key":"ref18","DOI":"10.1145\/3167132.3167141"},{"doi-asserted-by":"publisher","key":"ref19","DOI":"10.1109\/AINA.2016.147"},{"doi-asserted-by":"publisher","key":"ref28","DOI":"10.1109\/TCC.2018.2844247"},{"doi-asserted-by":"publisher","key":"ref4","DOI":"10.1109\/ACCESS.2018.2806884"},{"key":"ref27","first-page":"218","article-title":"Workflow data footprints","author":"tr?ka","year":"2010","journal-title":"Proc Int Conf Bus Inf Syst"},{"doi-asserted-by":"publisher","key":"ref3","DOI":"10.1109\/MC.2012.33"},{"doi-asserted-by":"publisher","key":"ref6","DOI":"10.1145\/1805286.1805290"},{"doi-asserted-by":"publisher","key":"ref29","DOI":"10.1007\/978-3-662-49665-7_20"},{"key":"ref5","first-page":"5","article-title":"Diagnosing and repairing data anomalies in process models","author":"awad","year":"2009","journal-title":"Proc Int Conf Bus Process Manage"},{"key":"ref8","first-page":"18","article-title":"Structural characterizations of sound workflow nets","volume":"96","author":"van der aalst","year":"1996","journal-title":"Comput Sci Rep"},{"doi-asserted-by":"publisher","key":"ref7","DOI":"10.1287\/isre.1060.0105"},{"doi-asserted-by":"publisher","key":"ref2","DOI":"10.1109\/ICST.2008.64"},{"key":"ref9","first-page":"1765","article-title":"Dataflow errors detection in business process model","volume":"130","author":"rgibi","year":"2012","journal-title":"Applied Mechanics and Materials"},{"key":"ref1","first-page":"207","article-title":"Data flow and validation in workflow modelling","volume":"27","author":"sadiq","year":"2004","journal-title":"Proc 15th Austral Database Conf"},{"year":"2018","author":"clarke","journal-title":"Model checking","key":"ref20"},{"doi-asserted-by":"publisher","key":"ref22","DOI":"10.1109\/TII.2019.2949591"},{"doi-asserted-by":"publisher","key":"ref21","DOI":"10.1145\/2463664.2467796"},{"doi-asserted-by":"publisher","key":"ref24","DOI":"10.1109\/TSE.1984.5010294"},{"doi-asserted-by":"publisher","key":"ref23","DOI":"10.1016\/j.is.2011.04.004"},{"doi-asserted-by":"publisher","key":"ref26","DOI":"10.1109\/SP.2011.26"},{"doi-asserted-by":"publisher","key":"ref25","DOI":"10.1007\/s00165-006-0002-7"}],"container-title":["IEEE Access"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6287639\/9312710\/09446048.pdf?arnumber=9446048","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,17]],"date-time":"2021-12-17T19:56:24Z","timestamp":1639770984000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9446048\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"references-count":32,"URL":"https:\/\/doi.org\/10.1109\/access.2021.3085832","relation":{},"ISSN":["2169-3536"],"issn-type":[{"type":"electronic","value":"2169-3536"}],"subject":[],"published":{"date-parts":[[2021]]}}}