{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,12]],"date-time":"2026-05-12T10:04:44Z","timestamp":1778580284214,"version":"3.51.4"},"reference-count":66,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"1","license":[{"start":{"date-parts":[[2019,3,1]],"date-time":"2019-03-01T00:00:00Z","timestamp":1551398400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,3,1]],"date-time":"2019-03-01T00:00:00Z","timestamp":1551398400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,3,1]],"date-time":"2019-03-01T00:00:00Z","timestamp":1551398400000},"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":["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"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Netw. Serv. Manage."],"published-print":{"date-parts":[[2019,3]]},"DOI":"10.1109\/tnsm.2018.2883362","type":"journal-article","created":{"date-parts":[[2018,11,26]],"date-time":"2018-11-26T22:50:30Z","timestamp":1543272630000},"page":"294-307","source":"Crossref","is-referenced-by-count":4,"title":["Measuring Business Process Consistency Across Different Abstraction Levels"],"prefix":"10.1109","volume":"16","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0512-8308","authenticated-orcid":false,"given":"Xuewei","family":"Zhang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4324-3382","authenticated-orcid":false,"given":"Wei","family":"Song","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6601-3515","authenticated-orcid":false,"given":"Jiacun","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7290-5023","authenticated-orcid":false,"given":"Jianchun","family":"Xing","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Qizhen","family":"Zhou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/TNSM.2016.2554143"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/2.839317"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-63699-4_13"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0020527"},{"key":"ref31","first-page":"785","article-title":"Extending the compatibility notion for abstract WS-BPEL processes","author":"k\u00f6nig","year":"2008","journal-title":"Proc WWW"},{"key":"ref30","first-page":"139","article-title":"From public views to private views—Correctness-by-design for services","author":"van der aalst","year":"2007","journal-title":"Proc WS-FM Brisbane"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.02.056"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1016\/j.dss.2007.02.007"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2005.05.003"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2013.04.006"},{"key":"ref60","first-page":"244","article-title":"Detecting and resolving process model differences in the absence of a change log","volume":"5240","author":"k\u00fcster","year":"2008","journal-title":"Proc Int Conf Bus Process Manag (BPM)"},{"key":"ref62","first-page":"3","article-title":"Causal behavioural profiles—Efficient computation, applications, and evaluation","volume":"113 nos","author":"weidlich","year":"2011","journal-title":"Fundamenta Informaticae"},{"key":"ref61","first-page":"364","article-title":"On automatically explaining bisimulation inequivalence","volume":"531","author":"cleveland","year":"1990","journal-title":"Proc Int Conf Comput -Aided Verification (CAV)"},{"key":"ref63","doi-asserted-by":"crossref","first-page":"172","DOI":"10.1108\/BPMJ-07-2013-0097","article-title":"Data perspectives of workflow schema evolution","volume":"21","author":"ramachandran","year":"2015","journal-title":"Business Process Management Journal"},{"key":"ref28","first-page":"376","article-title":"Efficient analysis of BPEL 2.0 processes using p-calculus","author":"weidlich","year":"2014","journal-title":"Proc IEEE 30th Int Conf Data Eng"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2017.2668418"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/ICDE.2014.6816666"},{"key":"ref65","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2009.06.014"},{"key":"ref66","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-89020-1_2"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/EEE.2005.53"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.dss.2012.09.006"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-013-0318-8"},{"key":"ref20","first-page":"78","article-title":"Deciding behaviour compatibility of complex correspondences between process models","author":"weidlich","year":"2010","journal-title":"Proc BPM"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2011.04.002"},{"key":"ref21","author":"euzenat","year":"2007","journal-title":"Ontology Matching"},{"key":"ref24","first-page":"814","article-title":"Consistency measurement of BPEL processes","volume":"6","author":"zhang","year":"2014","journal-title":"J Harbin Eng Univ"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.4018\/jwsr.2008040103"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/24039.24041"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/TNSM.2013.100413.120316"},{"key":"ref50","first-page":"207","article-title":"Data flow and validation in workflow modeling","author":"sadiq","year":"2004","journal-title":"Proc 15th Australasian Database Conference (ADC)"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1145\/2588555.2588570"},{"key":"ref59","first-page":"100","article-title":"The refined process structure tree","author":"vanhatalo","year":"2008","journal-title":"Proc 6th Int Conf Bus Process Manag"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2010.09.006"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38230-7_5"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1109\/HICSS.2012.626"},{"key":"ref55","first-page":"289","article-title":"On maintaining consistency of process model variants","author":"pascalau","year":"2010","journal-title":"Proc Bus Process Manag Workshops (BPM)"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1109\/EDOC.2013.12"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.4236\/jsea.2008.11012"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1145\/224019.224022"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.2307\/4132322"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/SCC.2013.47"},{"key":"ref40","first-page":"124","article-title":"Bridging the gap between business process models and service composition specifications","author":"buchwald","year":"2011","journal-title":"Service Life Cycle Tools and Technologies Methods Trends and Advances"},{"key":"ref12","article-title":"Integrated object modelling","author":"ramackers","year":"1994"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2004.33"},{"key":"ref14","year":"2009","journal-title":"Business Process Modeling Notation (BPMN) 1 2"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TNSM.2013.111113.120379"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/358108.358111"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ISRE.1997.566873"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-02922-1_3"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/ICWS.2011.12"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/11575771_5"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/HICSS.2008.462"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/233551.233556"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2018.2795701"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.datak.2007.06.010"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/B978-044482830-9\/50019-9"},{"key":"ref49","year":"2007","journal-title":"WS-BPEL 2 0 Specification"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.96"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2008.62"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/TSC.2016.2536025"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2012.01.036"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1142\/S0218126698000043"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2003.1231149"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-01862-6_7"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2009.11.004"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1287\/ijoc.1040.0067"}],"container-title":["IEEE Transactions on Network and Service Management"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/4275028\/8664201\/08543863.pdf?arnumber=8543863","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,13]],"date-time":"2022-07-13T20:52:44Z","timestamp":1657745564000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8543863\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,3]]},"references-count":66,"journal-issue":{"issue":"1"},"URL":"https:\/\/doi.org\/10.1109\/tnsm.2018.2883362","relation":{},"ISSN":["1932-4537","2373-7379"],"issn-type":[{"value":"1932-4537","type":"electronic"},{"value":"2373-7379","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,3]]}}}