{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,2]],"date-time":"2026-06-02T16:24:46Z","timestamp":1780417486455,"version":"3.54.1"},"publisher-location":"Cham","reference-count":14,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319649993","type":"print"},{"value":"9783319650005","type":"electronic"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-65000-5_8","type":"book-chapter","created":{"date-parts":[[2017,8,8]],"date-time":"2017-08-08T22:15:06Z","timestamp":1502230506000},"page":"130-146","source":"Crossref","is-referenced-by-count":120,"title":["Optimized Execution of Business Processes on Blockchain"],"prefix":"10.1007","author":[{"given":"Luciano","family":"Garc\u00eda-Ba\u00f1uelos","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Alexander","family":"Ponomarev","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Marlon","family":"Dumas","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ingo","family":"Weber","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2017,8,10]]},"reference":[{"key":"8_CR1","unstructured":"UK Government Chief Scientific Adviser: Distributed ledger technology: Beyond block chain. Technical report, UK Government Office of Science (2016)"},{"key":"8_CR2","unstructured":"Milani, F., Garc\u00eda-Ba\u00f1uelos, L., Dumas, M.: Blockchain and business process improvement. BPTrends newsletter, October 2016"},{"key":"8_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1007\/978-3-319-45348-4_19","volume-title":"Business Process Management","author":"I Weber","year":"2016","unstructured":"Weber, I., Xu, X., Riveret, R., Governatori, G., Ponomarev, A., Mendling, J.: Untrusted business process monitoring and execution using blockchain. In: La Rosa, M., Loos, P., Pastor, O. (eds.) BPM 2016. LNCS, vol. 9850, pp. 329\u2013347. Springer, Cham (2016). doi: 10.1007\/978-3-319-45348-4_19"},{"key":"8_CR4","unstructured":"Buterin, V.: Ethereum white paper: A next-generation smart contract and decentralized application platform. First version (2014). https:\/\/github.com\/ethereum\/wiki\/wiki\/White-Paper . Latest version: last accessed 29 Nov 2016"},{"key":"8_CR5","unstructured":"Wood, G.: Ethereum: A secure decentralised generalised transaction ledger. Homestead revision, 23 June 2016. https:\/\/github.com\/ethereum\/yellowpaper"},{"key":"8_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/978-3-319-46295-0_2","volume-title":"Service-Oriented Computing","author":"R Hull","year":"2016","unstructured":"Hull, R., Batra, V.S., Chen, Y.-M., Deutsch, A., Heath III, F.F.T., Vianu, V.: Towards a shared ledger business collaboration language based on data-aware processes. In: Sheng, Q.Z., Stroulia, E., Tata, S., Bhiri, S. (eds.) ICSOC 2016. LNCS, vol. 9936, pp. 18\u201336. Springer, Cham (2016). doi: 10.1007\/978-3-319-46295-0_2"},{"issue":"3","key":"8_CR7","doi-asserted-by":"publisher","first-page":"428","DOI":"10.1147\/sj.423.0428","volume":"42","author":"A Nigam","year":"2003","unstructured":"Nigam, A., Caswell, N.S.: Business artifacts: An approach to operational specification. IBM Syst. J. 42(3), 428\u2013445 (2003)","journal-title":"IBM Syst. J."},{"key":"8_CR8","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-319-21915-8_1","volume-title":"Perspectives in Business Informatics Research","author":"A Norta","year":"2015","unstructured":"Norta, A.: Creation of smart-contracting collaborations for decentralized autonomous organizations. In: Matulevi\u010dius, R., Dumas, M. (eds.) BIR 2015. LNBIP, vol. 229, pp. 3\u201317. Springer, Cham (2015). doi: 10.1007\/978-3-319-21915-8_1"},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"Frantz, C.K., Nowostawski, M.: From institutions to code: Towards automated generation of smart contracts. In: Workshop on Engineering Collective Adaptive Systems (eCAS), co-located with SASO, Augsburg (2016)","DOI":"10.1109\/FAS-W.2016.53"},{"key":"8_CR10","unstructured":"Pettersson, J., Edstr\u00f6m, R.: Safer smart contracts through type-driven development. Master\u2019s thesis, Department of CS&E, Chalmers University of Technology & University of Gothenburg, Sweden (2015)"},{"issue":"3","key":"8_CR11","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/s00236-002-0105-4","volume":"39","author":"B Kiepuszewski","year":"2003","unstructured":"Kiepuszewski, B., ter Hofstede, A.H.M., van der Aalst, W.M.P.: Fundamentals of control flow in workflows. Acta Inf. 39(3), 143\u2013209 (2003)","journal-title":"Acta Inf."},{"issue":"12","key":"8_CR12","doi-asserted-by":"publisher","first-page":"1281","DOI":"10.1016\/j.infsof.2008.02.006","volume":"50","author":"RM Dijkman","year":"2008","unstructured":"Dijkman, R.M., Dumas, M., Ouyang, C.: Semantics and analysis of business process models in BPMN. Inf. Softw. Technol. 50(12), 1281\u20131294 (2008)","journal-title":"Inf. Softw. Technol."},{"issue":"4","key":"8_CR13","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T Murata","year":"1989","unstructured":"Murata, T.: Petri nets: properties, analysis and applications. Proc. IEEE 77(4), 541\u2013580 (1989)","journal-title":"Proc. IEEE"},{"key":"8_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1007\/978-3-319-46397-1_25","volume-title":"Conceptual Modeling","author":"A Augusto","year":"2016","unstructured":"Augusto, A., Conforti, R., Dumas, M., Rosa, M., Bruno, G.: Automated discovery of structured process models: discover structured vs. discover and structure. In: Comyn-Wattiau, I., Tanaka, K., Song, I.-Y., Yamamoto, S., Saeki, M. (eds.) ER 2016. LNCS, vol. 9974, pp. 313\u2013329. Springer, Cham (2016). doi: 10.1007\/978-3-319-46397-1_25"}],"container-title":["Lecture Notes in Computer Science","Business Process Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-65000-5_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,2]],"date-time":"2019-10-02T00:41:50Z","timestamp":1569976910000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-65000-5_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319649993","9783319650005"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-65000-5_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017]]}}}