{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T18:10:44Z","timestamp":1743012644028,"version":"3.40.3"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030799755"},{"type":"electronic","value":"9783030799762"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"DOI":"10.1007\/978-3-030-79976-2_25","type":"book-chapter","created":{"date-parts":[[2021,7,1]],"date-time":"2021-07-01T18:06:14Z","timestamp":1625162774000},"page":"374-383","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["ChainOps for Smart Contract-Based Distributed Applications"],"prefix":"10.1007","author":[{"given":"Willem-Jan","family":"van den Heuvel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Damian A.","family":"Tamburri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Damiano","family":"D\u2019Amici","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fabiano","family":"Izzo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Potten","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,7,2]]},"reference":[{"key":"25_CR1","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1016\/j.jpdc.2019.12.019","volume":"138","author":"D Maesa","year":"2020","unstructured":"Maesa, D., Mori, P.: Blockchain 3.0 applications survey. J. Parallel Distrib. Comput. 138, 99\u2013114 (2020). https:\/\/doi.org\/10.1016\/j.jpdc.2019.12.019","journal-title":"J. Parallel Distrib. Comput."},{"issue":"3","key":"25_CR2","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1145\/3369052","volume":"53","author":"B-J Butijn","year":"2020","unstructured":"Butijn, B.-J., Tamburri, D.A., Heuvel, W.-J.V.D.: Blockchains - a systematic multivocal literature review. ACM Comput. Surv. 53(3), 61 (2020). https:\/\/doi.org\/10.1145\/3369052","journal-title":"ACM Comput. Surv."},{"key":"25_CR3","unstructured":"Goasduff, L.: Gartner Predicts that Organizations Using Blockchain Smart Contracts Will Increase Overall Data Quality by 50%, Gartner. https:\/\/www.gartner.com\/en\/newsroom\/press-releases\/2020-01-30-gartner-predicts-that-organizations-using-blockchain Accessed 2 Apr 2021"},{"key":"25_CR4","doi-asserted-by":"crossref","unstructured":"Zheng, Z., Xie, S., Dai, H., Chen, X., Wang, H.: An overview of blockchain technology: architecture, consensus, and future trends. In: IEEE International Congress on Big Data (BigData Congress), pp. 557\u2013564 (2017)","DOI":"10.1109\/BigDataCongress.2017.85"},{"key":"25_CR5","doi-asserted-by":"publisher","unstructured":"Hu, B., et al.: A comprehensive survey on smart contract construction and execution: paradigms, tools, and systems. Patterns 2(2), 100179 (2021).. PMID: 33659907; PMCID: PMC7892363. https:\/\/doi.org\/10.1016\/j.patter.2020.100179","DOI":"10.1016\/j.patter.2020.100179"},{"key":"25_CR6","doi-asserted-by":"publisher","unstructured":"Sillaber, C., Waltl, B., Treiblmaier, H., et al.: Laying the foundation for smart contract development: an integrated engineering process model. Inf. Syst. E-Bus. Manage. (2020). https:\/\/doi.org\/10.1007\/s10257-020-00465-5","DOI":"10.1007\/s10257-020-00465-5"},{"issue":"1","key":"25_CR7","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1007\/s11036-020-01649-6","volume":"26","author":"ARC Bedin","year":"2020","unstructured":"Bedin, A.R.C., Capretz, M., Mir, S.: Blockchain for collaborative businesses. Mob. Netw. Appl. 26(1), 277\u2013284 (2020). https:\/\/doi.org\/10.1007\/s11036-020-01649-6","journal-title":"Mob. Netw. Appl."},{"key":"25_CR8","doi-asserted-by":"publisher","unstructured":"W\u00f6hrer, M., Zdun, U.: Design patterns for smart contracts in the ethereum ecosystem. In: IEEE International Conference on Blockchain, pp. 1513\u20131520 (2018). https:\/\/doi.org\/10.1109\/Cybermatics_2018.2018.00255","DOI":"10.1109\/Cybermatics_2018.2018.00255"},{"issue":"1","key":"25_CR9","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/s10270-019-00773-6","volume":"19","author":"A Bucchiarone","year":"2020","unstructured":"Bucchiarone, A., Cabot, J., Paige, R.F., Pierantonio, A.: Grand challenges in model-driven engineering: an analysis of the state of the research. Softw. Syst. Model. 19(1), 5\u201313 (2020). https:\/\/doi.org\/10.1007\/s10270-019-00773-6","journal-title":"Softw. Syst. Model."},{"key":"25_CR10","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1007\/978-3-030-45234-6_4","volume-title":"Fundamental Approaches to Software Engineering. FASE 2020","author":"J Jiao","year":"2020","unstructured":"Jiao, J., Lin, S.W., Sun, J.: A generalized formal semantic framework for smart contracts. In: Wehrheim, H., Cabot, J. (eds.) Fundamental Approaches to Software Engineering. FASE 2020. LNCS, vol. 12076, pp. 75\u201396. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-45234-6_4"},{"key":"25_CR11","doi-asserted-by":"publisher","unstructured":"Petrovic, N., Tosic, M.: Semantic approach to smart contract verification. Facta Univ. Ser. Autom. Control Robot. 19, 21\u201337 (2020). https:\/\/doi.org\/10.22190\/FUACR2001021P","DOI":"10.22190\/FUACR2001021P"},{"key":"25_CR12","unstructured":"Feng, X., Wang, Q., Zhu, X., Wen, S.: Bug searching in smart contract, pp. 1\u20138 (2019). https:\/\/arxiv.org\/abs\/1905.00799"},{"key":"25_CR13","unstructured":"Lu, Q., et al.: Integrated model-driven engineering of blockchain applications for business processes and asset management. CoRR abs\/2005.12685 (2020). http:\/\/arxiv.org\/abs\/2005.12685"},{"key":"25_CR14","unstructured":"Skotnica, M., Klicpera, J., Pergl, R.: Towards model-driven smart contract systems - code generation and improving expressivity of smart contract modeling. EEWC Forum Doctoral Consortium (2020). http:\/\/ceur-ws.org\/Vol-2825\/paper1.pdf"},{"key":"25_CR15","doi-asserted-by":"publisher","unstructured":"Garamv\u00f6lgyi, P., Kocsis, I., Gehl, B., Klenik, A.: Towards model-driven engineering of smart contracts for cyber-physical systems. In: 2018 48th Annual IEEE\/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W), Luxembourg, Luxembourg, pp. 134\u2013139 (2018). https:\/\/doi.org\/10.1109\/DSN-W.2018.00052","DOI":"10.1109\/DSN-W.2018.00052"},{"key":"25_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1007\/978-3-319-69459-7_26","volume-title":"On the Move to Meaningful Internet Systems. OTM 2017 Conferences","author":"J de Kruijff","year":"2017","unstructured":"de Kruijff, J., Weigand, H.: Ontologies for commitment-based smart contracts. In: Panetto, H., et al. (eds.) OTM 2017. LNCS, vol. 10574, pp. 383\u2013398. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-69459-7_26"},{"issue":"4","key":"25_CR17","doi-asserted-by":"publisher","first-page":"673","DOI":"10.1007\/s10723-020-09534-y","volume":"18","author":"P Kochovski","year":"2020","unstructured":"Kochovski, P., et al.: Smart contracts for service-level agreements in edge-to-cloud computing. J. Grid Comput. 18(4), 673\u2013690 (2020). https:\/\/doi.org\/10.1007\/s10723-020-09534-y","journal-title":"J. Grid Comput."},{"key":"25_CR18","doi-asserted-by":"publisher","unstructured":"Teng, Y.: Towards trustworthy blockchsains: normative reflections on blockchain-enabled virtual institutions. Ethics Inf. Technol. (2021). https:\/\/doi.org\/10.1007\/s10676-021-09581-3","DOI":"10.1007\/s10676-021-09581-3"},{"key":"25_CR19","doi-asserted-by":"publisher","unstructured":"Thiebes, S., Lins, S., Sunyaev, A.: Trustworthy artificial intelligence. Electron. Mark. (2020). https:\/\/doi.org\/10.1007\/s12525-020-00441-4","DOI":"10.1007\/s12525-020-00441-4"},{"issue":"1","key":"25_CR20","first-page":"118","volume":"95","author":"M Iansiti","year":"2017","unstructured":"Iansiti, M., Lakhani, K.R.: The truth about blockchain. Harv. Bus. Rev. 95(1), 118\u2013127 (2017)","journal-title":"Harv. Bus. Rev."}],"container-title":["Lecture Notes in Business Information Processing","Business Modeling and Software Design"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-79976-2_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,1]],"date-time":"2021-07-01T18:31:37Z","timestamp":1625164297000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-79976-2_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030799755","9783030799762"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-79976-2_25","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"2 July 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"BMSD","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Business Modeling and Software Design","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Sofia","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Bulgaria","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2021","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5 July 2021","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7 July 2021","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"bmsd2021","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.is-bmsd.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}