{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,12]],"date-time":"2024-07-12T17:17:40Z","timestamp":1720804660469},"reference-count":42,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2023,4,1]],"date-time":"2023-04-01T00:00:00Z","timestamp":1680307200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2023,4,1]],"date-time":"2023-04-01T00:00:00Z","timestamp":1680307200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-017"},{"start":{"date-parts":[[2023,4,1]],"date-time":"2023-04-01T00:00:00Z","timestamp":1680307200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"},{"start":{"date-parts":[[2023,4,1]],"date-time":"2023-04-01T00:00:00Z","timestamp":1680307200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-012"},{"start":{"date-parts":[[2023,4,1]],"date-time":"2023-04-01T00:00:00Z","timestamp":1680307200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,4,1]],"date-time":"2023-04-01T00:00:00Z","timestamp":1680307200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-004"}],"funder":[{"DOI":"10.13039\/100012823","name":"Telecommunications Regulatory Authority","doi-asserted-by":"publisher","award":["3093"],"id":[{"id":"10.13039\/100012823","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100004070","name":"Khalifa University of Science Technology","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100004070","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Internet of Things"],"published-print":{"date-parts":[[2023,4]]},"DOI":"10.1016\/j.iot.2022.100652","type":"journal-article","created":{"date-parts":[[2022,12,1]],"date-time":"2022-12-01T01:46:07Z","timestamp":1669859167000},"page":"100652","update-policy":"http:\/\/dx.doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":1,"special_numbering":"C","title":["Blockcheck: A consortium blockchain-based conformance checking framework for business processes"],"prefix":"10.1016","volume":"21","author":[{"given":"Ahmed T.","family":"Suliman","sequence":"first","affiliation":[]},{"given":"Maha","family":"Kadadha","sequence":"additional","affiliation":[]},{"given":"Rabeb","family":"Mizouni","sequence":"additional","affiliation":[]},{"given":"Hadi","family":"Otrok","sequence":"additional","affiliation":[]},{"ORCID":"http:\/\/orcid.org\/0000-0002-9557-6496","authenticated-orcid":false,"given":"Ernesto","family":"Damiani","sequence":"additional","affiliation":[]},{"given":"Mahmoud","family":"Al-Qutayri","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/j.iot.2022.100652_b1","series-title":"Documents associated with business process model and notation\u2122 (BPMN\u2122) version 2.0, [Online]","author":"Group","year":"2011"},{"key":"10.1016\/j.iot.2022.100652_b2","series-title":"Proceedings of the 6th International Conference on Business Process Management","first-page":"326","article-title":"Efficient compliance checking using BPMN-q and temporal logic","author":"Awad","year":"2008"},{"key":"10.1016\/j.iot.2022.100652_b3","series-title":"Process Mining Manifesto","first-page":"169","author":"van der Aalst","year":"2012"},{"key":"10.1016\/j.iot.2022.100652_b4","series-title":"Process Mining and Verification of Properties: An Approach Based on Temporal Logic","first-page":"130","author":"van der Aalst","year":"2005"},{"issue":"1","key":"10.1016\/j.iot.2022.100652_b5","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1016\/j.is.2007.07.001","article-title":"Conformance checking of processes based on monitoring real behavior","volume":"33","author":"Rozinat","year":"2008","journal-title":"Inf. Syst."},{"key":"10.1016\/j.iot.2022.100652_b6","series-title":"2011 IEEE 15th International Enterprise Distributed Object Computing Conference","first-page":"55","article-title":"Conformance checking using cost-based fitness analysis","author":"Adriansyah","year":"2011"},{"key":"10.1016\/j.iot.2022.100652_b7","series-title":"Proceedings of the 29th Annual ACM Symposium on Applied Computing","first-page":"1406","article-title":"Conformance checking for BPMN-based process models","author":"Molka","year":"2014"},{"issue":"99","key":"10.1016\/j.iot.2022.100652_b8","first-page":"1","article-title":"Complete and interpretable conformance checking of business processes","author":"Garcia-Banuelos","year":"2017","journal-title":"IEEE Trans. Softw. Eng."},{"key":"10.1016\/j.iot.2022.100652_b9","unstructured":"A. Seeliger, T. Nolle, B. Schmidt, M. M\u00fchlh\u00e4user, Process compliance checking using taint flow analysis, in: Proceedings of the 37th International Conference on Information Systems, ICIS \u201916, 2016, pp. 1\u201318."},{"key":"10.1016\/j.iot.2022.100652_b10","doi-asserted-by":"crossref","first-page":"461","DOI":"10.1016\/j.procs.2016.09.074","article-title":"Internet of Things, blockchain and shared economy applications","volume":"98","author":"Huckle","year":"2016","journal-title":"Procedia Comput. Sci."},{"key":"10.1016\/j.iot.2022.100652_b11","series-title":"2013 IEEE 15th Conference on Business Informatics","first-page":"363","article-title":"Towards living inter-organizational processes","author":"Breu","year":"2013"},{"key":"10.1016\/j.iot.2022.100652_b12","unstructured":"G. Wood, Ethereum: A Secure Decentralised Generalised Transaction Ledger, Ethereum Project Yellow Paper 151."},{"key":"10.1016\/j.iot.2022.100652_b13","doi-asserted-by":"crossref","first-page":"12745","DOI":"10.1109\/ACCESS.2020.2965897","article-title":"Abcrowd an auction mechanism on blockchain for spatial crowdsourcing","volume":"8","author":"Kadadha","year":"2020","journal-title":"IEEE Access"},{"key":"10.1016\/j.iot.2022.100652_b14","doi-asserted-by":"crossref","DOI":"10.1016\/j.jnca.2021.103155","article-title":"Two-sided preferences task matching mechanisms for blockchain-based crowdsourcing","volume":"191","author":"Kadadha","year":"2021","journal-title":"J. Netw. Comput. Appl."},{"key":"10.1016\/j.iot.2022.100652_b15","doi-asserted-by":"crossref","DOI":"10.1016\/j.adhoc.2021.102502","article-title":"A blockchain-enabled relay selection for QOS-OLSR in urban vanet: A stackelberg game model","volume":"117","author":"Kadadha","year":"2021","journal-title":"Ad Hoc Netw."},{"key":"10.1016\/j.iot.2022.100652_b16","series-title":"Blockchain Applications in Supply Chain","first-page":"21","author":"Dujak","year":"2019"},{"key":"10.1016\/j.iot.2022.100652_b17","series-title":"Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security","first-page":"254","article-title":"Making smart contracts smarter","author":"Luu","year":"2016"},{"key":"10.1016\/j.iot.2022.100652_b18","series-title":"Business Process Management","first-page":"329","article-title":"Untrusted business process monitoring and execution using blockchain","author":"Weber","year":"2016"},{"key":"10.1016\/j.iot.2022.100652_b19","series-title":"Caterpillar: A business process execution engine on the ethereum blockchain","author":"L\u00f3pez-Pintado","year":"2019"},{"key":"10.1016\/j.iot.2022.100652_b20","series-title":"2019 IEEE 23rd International Enterprise Distributed Object Computing Conference","first-page":"206","article-title":"Interpreted execution of business process models on blockchain","author":"L\u00f3pez-Pintado","year":"2019"},{"key":"10.1016\/j.iot.2022.100652_b21","series-title":"Proceedings of the 35th Annual ACM Symposium on Applied Computing","first-page":"1470","article-title":"Engineering trustable choreography-based systems using blockchain","author":"Corradini","year":"2020"},{"key":"10.1016\/j.iot.2022.100652_b22","doi-asserted-by":"crossref","first-page":"816","DOI":"10.1016\/j.future.2017.08.024","article-title":"Runtime verification for business processes utilizing the bitcoin blockchain","volume":"107","author":"Prybila","year":"2020","journal-title":"Future Gener. Comput. Syst."},{"key":"10.1016\/j.iot.2022.100652_b23","series-title":"Business Process Management Workshops","first-page":"361","article-title":"A lean architecture for blockchain based decentralized process execution","author":"Sturm","year":"2019"},{"key":"10.1016\/j.iot.2022.100652_b24","series-title":"Quorum: A permissioned implementation of ethereum supporting data privacy, [Online]","year":"2018"},{"issue":"4","key":"10.1016\/j.iot.2022.100652_b25","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1109\/5.24143","article-title":"Petri nets: Properties, analysis and applications","volume":"77","author":"Murata","year":"1989","journal-title":"Proc. IEEE"},{"key":"10.1016\/j.iot.2022.100652_b26","series-title":"Applications and Theory of Petri Nets 2005","first-page":"444","article-title":"The prom framework: A new era in process mining tool support","author":"van Dongen","year":"2005"},{"key":"10.1016\/j.iot.2022.100652_b27","series-title":"2006 IEEE International Conference on Web Services","first-page":"285","article-title":"From BPMN process models to bpel web services","author":"Ouyang","year":"2006"},{"key":"10.1016\/j.iot.2022.100652_b28","series-title":"Advanced Information Systems Engineering","first-page":"304","article-title":"Diagnostic information for compliance checking of temporal compliance requirements","author":"Ramezani\u00a0Taghiabadi","year":"2013"},{"issue":"4","key":"10.1016\/j.iot.2022.100652_b29","doi-asserted-by":"crossref","first-page":"407","DOI":"10.1007\/s00607-015-0441-1","article-title":"Balanced multi-perspective checking of process conformance","volume":"98","author":"Mannhardt","year":"2016","journal-title":"Computing"},{"key":"10.1016\/j.iot.2022.100652_b30","doi-asserted-by":"crossref","first-page":"194","DOI":"10.1016\/j.eswa.2016.08.040","article-title":"Conformance checking based on multi-perspective declarative process models","volume":"65","author":"Burattin","year":"2016","journal-title":"Expert Syst. Appl."},{"key":"10.1016\/j.iot.2022.100652_b31","doi-asserted-by":"crossref","first-page":"102","DOI":"10.1016\/j.is.2014.04.003","article-title":"Single-entry single-exit decomposed conformance checking","volume":"46","author":"Munoz-Gama","year":"2014","journal-title":"Inf. Syst."},{"key":"10.1016\/j.iot.2022.100652_b32","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1016\/j.ins.2018.07.026","article-title":"Recomposing conformance: Closing the circle on decomposed alignment-based conformance checking in process mining","volume":"466","author":"Lee","year":"2018","journal-title":"Inform. Sci."},{"key":"10.1016\/j.iot.2022.100652_b33","series-title":"Business Process Management","first-page":"179","article-title":"Estimating process conformance by trace sampling and result approximation","author":"Bauer","year":"2019"},{"issue":"3","key":"10.1016\/j.iot.2022.100652_b34","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1007\/s41060-017-0078-6","article-title":"Online conformance checking: Relating event streams to process models using prefix-alignments","volume":"8","author":"van Zelst","year":"2019","journal-title":"Int. J. Data Sci. Anal."},{"key":"10.1016\/j.iot.2022.100652_b35","series-title":"Proceedings of the Thirteenth EuroSys Conference","article-title":"Hyperledger fabric: A distributed operating system for permissioned blockchains","author":"Androulaki","year":"2018"},{"key":"10.1016\/j.iot.2022.100652_b36","series-title":"[Web3j]","year":"2018"},{"issue":"12","key":"10.1016\/j.iot.2022.100652_b37","doi-asserted-by":"crossref","first-page":"1281","DOI":"10.1016\/j.infsof.2008.02.006","article-title":"Semantics and analysis of business process models in BPMN","volume":"50","author":"Dijkman","year":"2008","journal-title":"Inf. Softw. Technol."},{"key":"10.1016\/j.iot.2022.100652_b38","unstructured":"[Solidity], [Online]. URL https:\/\/docs.soliditylang.org\/en\/latest\/."},{"key":"10.1016\/j.iot.2022.100652_b39","unstructured":"[Ganache], [Online]. URL https:\/\/trufflesuite.com\/ganache\/."},{"key":"10.1016\/j.iot.2022.100652_b40","series-title":"Large bank transaction process","author":"Munoz-Gama","year":"2014"},{"key":"10.1016\/j.iot.2022.100652_b41","series-title":"Road traffic fine management process","author":"De\u00a0Leoni","year":"2015"},{"key":"10.1016\/j.iot.2022.100652_b42","unstructured":"F. Mannhardt, M. de\u00a0Leoni, H.A. Reijers, The multi-perspective process explorer, in: BPM, 2015."}],"container-title":["Internet of Things"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S2542660522001330?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S2542660522001330?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2023,12,26]],"date-time":"2023-12-26T15:10:17Z","timestamp":1703603417000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S2542660522001330"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,4]]},"references-count":42,"alternative-id":["S2542660522001330"],"URL":"https:\/\/doi.org\/10.1016\/j.iot.2022.100652","relation":{},"ISSN":["2542-6605"],"issn-type":[{"value":"2542-6605","type":"print"}],"subject":[],"published":{"date-parts":[[2023,4]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Blockcheck: A consortium blockchain-based conformance checking framework for business processes","name":"articletitle","label":"Article Title"},{"value":"Internet of Things","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.iot.2022.100652","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"\u00a9 2022 Elsevier B.V. All rights reserved.","name":"copyright","label":"Copyright"}],"article-number":"100652"}}