{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,1]],"date-time":"2026-03-01T18:33:42Z","timestamp":1772390022392,"version":"3.50.1"},"publisher-location":"Cham","reference-count":34,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030309848","type":"print"},{"value":"9783030309855","type":"electronic"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-30985-5_27","type":"book-chapter","created":{"date-parts":[[2019,10,8]],"date-time":"2019-10-08T21:53:39Z","timestamp":1570571619000},"page":"467-480","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":21,"title":["Enabling Auditing of Smart Contracts Through Process Mining"],"prefix":"10.1007","author":[{"given":"Flavio","family":"Corradini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fausto","family":"Marcantoni","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrea","family":"Morichetta","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrea","family":"Polini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Barbara","family":"Re","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Massimiliano","family":"Sampaolo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,10,9]]},"reference":[{"issue":"2","key":"27_CR1","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1002\/widm.1045","volume":"2","author":"W Aalst Van der","year":"2012","unstructured":"Van der Aalst, W., Adriansyah, A., van Dongen, B.: Replaying history on process models for conformance checking and performance analysis. Wiley Interdisc. Rev. Data Min. Knowl. Disc. 2(2), 182\u2013192 (2012)","journal-title":"Wiley Interdisc. Rev. Data Min. Knowl. Disc."},{"key":"27_CR2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49851-4","volume-title":"Process Mining - Data Science in Action","author":"WMP Aalst van der","year":"2016","unstructured":"van der Aalst, W.M.P.: Process Mining - Data Science in Action, 2nd edn. Springer, Heidelberg (2016). https:\/\/doi.org\/10.1007\/978-3-662-49851-4","edition":"2"},{"key":"27_CR3","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/978-3-642-28108-2_19","volume-title":"Business Process Management Workshops","author":"WMP Aalst van der","year":"2012","unstructured":"van der Aalst, W.M.P., et al.: Process mining manifesto. In: Daniel, F., Barkaoui, K., Dustdar, S. (eds.) BPM 2011. LNBIP, vol. 99, pp. 169\u2013194. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-28108-2_19"},{"issue":"3","key":"27_CR4","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1109\/MC.2010.61","volume":"43","author":"WMP Aalst van der","year":"2010","unstructured":"van der Aalst, W.M.P., van Hee, K.M., van der Werf, J.M.E.M., Verdonk, M.: Auditing 2.0: using process mining to support tomorrow\u2019s auditor. IEEE Comput. 43(3), 90\u201393 (2010)","journal-title":"IEEE Comput."},{"key":"27_CR5","doi-asserted-by":"crossref","unstructured":"Accorsi, R., Stocker, T.: On the exploitation of process mining for security audits: the conformance checking case. In: Symposium on Applied Computing, pp. 1709\u20131716. ACM (2012)","DOI":"10.1145\/2245276.2232051"},{"key":"27_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1007\/978-3-319-28934-2_4","volume-title":"Formal Aspects of Component Software","author":"L Aceto","year":"2016","unstructured":"Aceto, L., Larsen, K.G., Morichetta, A., Tiezzi, F.: A cost\/reward method for optimal infinite scheduling in mobile cloud computing. In: Braga, C., \u00d6lveczky, P.C. (eds.) FACS 2015. LNCS, vol. 9539, pp. 66\u201385. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-28934-2_4"},{"key":"27_CR7","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1007\/978-3-642-20511-8_11","volume-title":"Business Process Management Workshops","author":"A Adriansyah","year":"2011","unstructured":"Adriansyah, A., van Dongen, B.F., van der Aalst, W.M.P.: Towards robust conformance checking. In: zur Muehlen, M., Su, J. (eds.) BPM 2010. LNBIP, vol. 66, pp. 122\u2013133. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-20511-8_11"},{"key":"27_CR8","doi-asserted-by":"crossref","unstructured":"Ahmad, A., Saad, M., Bassiouni, M., Mohaisen, A.: Towards blockchain-driven, secure and transparent audit logs. In: 15th EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services, pp. 443\u2013448. ACM (2018)","DOI":"10.1145\/3286978.3286985"},{"key":"27_CR9","doi-asserted-by":"crossref","unstructured":"Augusto, A., et al.: Automated discovery of process models from event logs: review and benchmark. IEEE Trans. Knowl. Data Eng. 31, 686\u2013705(2018)","DOI":"10.1109\/TKDE.2018.2841877"},{"key":"27_CR10","doi-asserted-by":"crossref","unstructured":"Augusto, A., Conforti, R., Dumas, M., Rosa, M.L.: Split Miner: discovering accurate and simple business process models from event logs. In: International Conference on Data Mining, pp. 1\u201310. IEEE (2017)","DOI":"10.1109\/ICDM.2017.9"},{"key":"27_CR11","doi-asserted-by":"crossref","unstructured":"Bertolino, A., Marchetti, E., Morichetta, A.: Adequate monitoring of service compositions. In: 9th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, pp. 59\u201369 (2013)","DOI":"10.1145\/2491411.2491441"},{"key":"27_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/978-3-642-33606-5_19","volume-title":"On the Move to Meaningful Internet Systems: OTM 2012","author":"JCAM Buijs","year":"2012","unstructured":"Buijs, J.C.A.M., van Dongen, B.F., van der Aalst, W.M.P.: On the role of fitness, precision, generalization and simplicity in process discovery. In: Meersman, R., et al. (eds.) OTM 2012. LNCS, vol. 7565, pp. 305\u2013322. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-33606-5_19"},{"key":"27_CR13","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1016\/j.tele.2018.11.006","volume":"36","author":"F Casino","year":"2019","unstructured":"Casino, F., Dasaklis, T.K., Patsakis, C.: A systematic literature review of blockchain-based applications: current status, classification and open issues. Telematics Inform. 36, 55\u201381 (2019)","journal-title":"Telematics Inform."},{"key":"27_CR14","doi-asserted-by":"crossref","unstructured":"Corradini, F., Morichetta, A., Polini, A., Re, B., Tiezzi, F.: Collaboration vs. choreography conformance in BPMN 2.0: from theory to practice. In: 22nd International Enterprise Distributed Object Computing Conference, pp. 95\u2013104. IEEE (2018)","DOI":"10.1109\/EDOC.2018.00022"},{"key":"27_CR15","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/j.scico.2018.05.008","volume":"166","author":"F Corradini","year":"2018","unstructured":"Corradini, F., Fornari, F., Polini, A., Re, B., Tiezzi, F.: A formal approach to modeling and verification of business process collaborations. Sci. Comput. Program. 166, 35\u201370 (2018)","journal-title":"Sci. Comput. Program."},{"key":"27_CR16","doi-asserted-by":"crossref","unstructured":"Corradini, F., Fornari, F., Polini, A., Re, B., Tiezzi, F., Vandin, A.: BproVe: a formal verification framework for business process models. In: Proceedings of the 32nd IEEE\/ACM International Conference on Automated Software Engineering, ASE 2017, Urbana, IL, USA, 30 October\u201303 November 2017, pp. 217\u2013228 (2017)","DOI":"10.1109\/ASE.2017.8115635"},{"key":"27_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"310","DOI":"10.1007\/978-3-642-03848-8_21","volume-title":"Business Process Management","author":"Y Doganata","year":"2009","unstructured":"Doganata, Y., Curbera, F.: Effect of using automated auditing tools on detecting compliance failures in unmanaged processes. In: Dayal, U., Eder, J., Koehler, J., Reijers, H.A. (eds.) BPM 2009. LNCS, vol. 5701, pp. 310\u2013326. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-03848-8_21"},{"key":"27_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/978-3-540-74974-5_14","volume-title":"Service-Oriented Computing \u2013 ICSOC 2007","author":"A Ghose","year":"2007","unstructured":"Ghose, A., Koliadis, G.: Auditing business process compliance. In: Kr\u00e4mer, B.J., Lin, K.-J., Narasimhan, P. (eds.) ICSOC 2007. LNCS, vol. 4749, pp. 169\u2013180. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-74974-5_14"},{"key":"27_CR19","unstructured":"Holotiuk, F., Pisani, F., Moormann, J.: The impact of blockchain technology on business models in the payments industry. In: Towards Thought Leadership in Digital Transformation: 13. Internationale Tagung Wirtschaftsinformatik, pp. 12\u201315 (2017)"},{"issue":"1","key":"27_CR20","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.accinf.2012.06.015","volume":"14","author":"M Jans","year":"2013","unstructured":"Jans, M., Alles, M.G., Vasarhelyi, M.A.: The case for process mining in auditing: sources of value added and areas of application. Int. J. Accounting Inf. Syst. 14(1), 1\u201320 (2013)","journal-title":"Int. J. Accounting Inf. Syst."},{"key":"27_CR21","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1007\/978-3-319-06257-0_6","volume-title":"Business Process Management Workshops","author":"SJJ Leemans","year":"2014","unstructured":"Leemans, S.J.J., Fahland, D., van der Aalst, W.M.P.: Discovering block-structured process models from event logs containing infrequent behaviour. In: Lohmann, N., Song, M., Wohed, P. (eds.) BPM 2013. LNBIP, vol. 171, pp. 66\u201378. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-06257-0_6"},{"key":"27_CR22","first-page":"311","volume":"7927","author":"SJ Leemans","year":"2013","unstructured":"Leemans, S.J., Fahland, D., van der Aalst, W.M.: Discovering block-structured process models from event logs - a constructive approach. Petri Nets 7927, 311\u2013329 (2013)","journal-title":"Petri Nets"},{"key":"27_CR23","doi-asserted-by":"publisher","first-page":"641","DOI":"10.1016\/j.future.2018.04.061","volume":"86","author":"K Leng","year":"2018","unstructured":"Leng, K., Bi, Y., Jing, L., Fu, H., Nieuwenhuyse, I.V.: Research on agricultural supply chain system with double chain architecture based on blockchain technology. Future Gener. Comp. Syst. 86, 641\u2013649 (2018)","journal-title":"Future Gener. Comp. Syst."},{"key":"27_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"545","DOI":"10.1007\/978-3-319-59536-8_34","volume-title":"Advanced Information Systems Engineering","author":"F Mannhardt","year":"2017","unstructured":"Mannhardt, F., de Leoni, M., Reijers, H.A., van der Aalst, W.M.P.: Data-driven process discovery - revealing conditional infrequent behavior from event logs. In: Dubois, E., Pohl, K. (eds.) CAiSE 2017. LNCS, vol. 10253, pp. 545\u2013560. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-59536-8_34"},{"key":"27_CR25","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1016\/j.cose.2018.06.002","volume":"78","author":"D Myers","year":"2018","unstructured":"Myers, D., Suriadi, S., Rad, K., Foo, E.: Anomaly detection for industrial control systems using process mining. Comput. Secur. 78, 103\u2013125 (2018)","journal-title":"Comput. Secur."},{"key":"27_CR26","unstructured":"Nakamoto, S., et al.: Bitcoin: A peer-to-peer electronic cash system (2008)"},{"key":"27_CR27","unstructured":"OMG: Business process model and notation (2011)"},{"key":"27_CR28","unstructured":"OMG: XES standard definition (2019)"},{"key":"27_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"262","DOI":"10.1007\/978-3-642-32885-5_21","volume-title":"Business Process Management","author":"E Ramezani","year":"2012","unstructured":"Ramezani, E., Fahland, D., van der Aalst, W.M.P.: Where did i misbehave? diagnostic information in compliance checking. In: Barros, A., Gal, A., Kindler, E. (eds.) BPM 2012. LNCS, vol. 7481, pp. 262\u2013278. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-32885-5_21"},{"key":"27_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1007\/978-3-540-78238-4_10","volume-title":"Business Process Management Workshops","author":"A Rozinat","year":"2008","unstructured":"Rozinat, A., de Medeiros, A.K.A., G\u00fcnther, C.W., Weijters, A.J.M.M., van der Aalst, W.M.P.: The need for a process mining evaluation framework in research and practice. In: ter Hofstede, A., Benatallah, B., Paik, H.-Y. (eds.) BPM 2007. LNCS, vol. 4928, pp. 84\u201389. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-78238-4_10"},{"key":"27_CR31","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.websem.2018.02.001","volume":"50","author":"R Samavi","year":"2018","unstructured":"Samavi, R., Consens, M.P.: Publishing privacy logs to facilitate transparency and accountability. J. Web Semant. 50, 1\u201320 (2018)","journal-title":"J. Web Semant."},{"key":"27_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"645","DOI":"10.1007\/978-3-319-68288-4_38","volume-title":"The Semantic Web \u2013 ISWC 2017","author":"A Sutton","year":"2017","unstructured":"Sutton, A., Samavi, R.: Blockchain enabled privacy audit logs. In: d\u2019Amato, C., et al. (eds.) ISWC 2017. LNCS, vol. 10587, pp. 645\u2013660. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-68288-4_38"},{"key":"27_CR33","unstructured":"Wood, G.: Ethereum: A secure decentralised generalised transaction ledger. Technical report, Ethereum Project Yellow Paper 151 (2014)"},{"key":"27_CR34","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1016\/j.eswa.2018.05.030","volume":"110","author":"P Zerbino","year":"2018","unstructured":"Zerbino, P., Aloini, D., Dulmin, R., Mininno, V.: Process-mining-enabled audit of information systems: methodology and an application. Expert Syst. Appl. 110, 80\u201392 (2018)","journal-title":"Expert Syst. Appl."}],"container-title":["Lecture Notes in Computer Science","From Software Engineering to Formal Methods and Tools, and Back"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-30985-5_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,10,1]],"date-time":"2022-10-01T07:05:56Z","timestamp":1664607956000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-30985-5_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030309848","9783030309855"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-30985-5_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"9 October 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}