{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T12:45:12Z","timestamp":1742993112853,"version":"3.40.3"},"publisher-location":"Cham","reference-count":29,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031234941"},{"type":"electronic","value":"9783031234958"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-031-23495-8_5","type":"book-chapter","created":{"date-parts":[[2022,12,24]],"date-time":"2022-12-24T07:02:39Z","timestamp":1671865359000},"page":"61-77","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["From Business-Level Specifications to Smart Contracts for Blockchain-Based Resource-Exchange Systems"],"prefix":"10.1007","author":[{"given":"Kushal","family":"Soni","sequence":"first","affiliation":[]},{"given":"Olga","family":"De Troyer","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,12,25]]},"reference":[{"unstructured":"Scherer, M.: Performance and scalability of blockchain networks and smart contracts (2017)","key":"5_CR1"},{"key":"5_CR2","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1145\/2994581","volume":"59","author":"S Underwood","year":"2016","unstructured":"Underwood, S.: Blockchain beyond bitcoin. Commun. ACM. 59, 15\u201317 (2016). https:\/\/doi.org\/10.1145\/2994581","journal-title":"Commun. ACM."},{"doi-asserted-by":"publisher","unstructured":"Chauhan, A., Malviya, O.P., Verma, M., Mor, T.S.: Blockchain and scalability. In: Proceedings of 2018 IEEE 18th International Conference on Software Quality, Reliability and Security, QRS-C 2018. 122\u2013128 (2018). https:\/\/doi.org\/10.1109\/QRS-C.2018.00034.","key":"5_CR3","DOI":"10.1109\/QRS-C.2018.00034"},{"doi-asserted-by":"publisher","unstructured":"Parizi, R.M., Dehghantanha, A.: Smart contract programming languages on blockchains: an empirical evaluation of usability and security. In: Chen, S., Wang, H., Zhang, L.J. (eds.) ICBC 2018. LNCS, vol. 10974, pp. 75\u201391. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-94478-4_6","key":"5_CR4","DOI":"10.1007\/978-3-319-94478-4_6"},{"doi-asserted-by":"publisher","unstructured":"Soni, K.: A trustable platform for exchange of resources across organizations and their customers. In: Middleware 2019 - Proceedings of the 2019 20th International Middleware Conference Doctoral Symposium, Part of Middleware 2019, pp. 20\u201322. Association for Computing Machinery, Inc. (2019). https:\/\/doi.org\/10.1145\/3366624.3368160","key":"5_CR5","DOI":"10.1145\/3366624.3368160"},{"doi-asserted-by":"publisher","unstructured":"Soni, K., De Troyer, O.: Specifying blockchain-based resource-exchange systems by business-level users using a generic easy-to-use framework. In: Arai, K. (eds.) Proceedings of the Future Technologies Conference (FTC) 2022, Volume 2. LNNS, vol 560, Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-18458-1_3","key":"5_CR6","DOI":"10.1007\/978-3-031-18458-1_3"},{"doi-asserted-by":"publisher","unstructured":"Soni, K., De Troyer, O.: Generating smart contracts for blockchain-based resource-exchange systems. In: Pardede, E., Delir Haghighi, P., Khalil, I., Kotsis, G. (eds.) Information Integration and Web Intelligence, iiWAS 2022. LNCS, vol 13635, Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-21047-1_9","key":"5_CR7","DOI":"10.1007\/978-3-031-21047-1_9"},{"unstructured":"ERC20 Token Generator | Create ERC20 Token for FREE. https:\/\/vittominacori.github.io\/erc20-generator\/. Accessed 05 Aug 2021","key":"5_CR8"},{"unstructured":"Buterin, V.: Ethereum: a next-generation smart contract and decentralized application platform (2014)","key":"5_CR9"},{"doi-asserted-by":"publisher","unstructured":"Regnath, E., Steinhorst, S.: SmaCoNat: smart contracts in natural language. In: 2018 Forum on Specification & Design Languages (FDL) (2018). https:\/\/doi.org\/10.1109\/FDL.2018.8524068.","key":"5_CR10","DOI":"10.1109\/FDL.2018.8524068"},{"doi-asserted-by":"publisher","unstructured":"Frantz, C.K., Nowostawski, M.: From institutions to code: towards automated generation of smart contracts. In: Proceedings - IEEE 1st International Workshops on Foundations Applications of Self-Systems, FAS-W 2016, pp. 210\u2013215 (2016). https:\/\/doi.org\/10.1109\/FAS-W.2016.53.","key":"5_CR11","DOI":"10.1109\/FAS-W.2016.53"},{"doi-asserted-by":"publisher","unstructured":"He, X., Qin, B., Zhu, Y., Chen, X., Liu, Y.: SPESC: a specification language for smart contracts. In: Proceedings - International Computing Software Application Conference, vol. 1, pp. 132\u2013137 (2018). https:\/\/doi.org\/10.1109\/COMPSAC.2018.00025.","key":"5_CR12","DOI":"10.1109\/COMPSAC.2018.00025"},{"key":"5_CR13","doi-asserted-by":"publisher","first-page":"1255","DOI":"10.1109\/TR.2021.3054617","volume":"70","author":"Y Zhu","year":"2021","unstructured":"Zhu, Y., Song, W., Wang, D., Ma, D., Chu, W.C.C.: TA-SPESC: toward asset-driven smart contract language supporting ownership transaction and rule-based generation on blockchain. IEEE Trans. Reliab. 70, 1255\u20131270 (2021). https:\/\/doi.org\/10.1109\/TR.2021.3054617","journal-title":"IEEE Trans. Reliab."},{"key":"5_CR14","series-title":"Blockchain Technologies","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/978-981-15-1137-0_4","volume-title":"Blockchain Technology for Industry 4.0","author":"N Zupan","year":"2020","unstructured":"Zupan, N., Kasinathan, P., Cuellar, J., Sauer, M.: Secure smart contract generation based on petri nets. In: Rosa Righi, Rodrigo da, Alberti, Antonio Marcos, Singh, Madhusudan (eds.) Blockchain Technology for Industry 4.0. BT, pp. 73\u201398. Springer, Singapore (2020). https:\/\/doi.org\/10.1007\/978-981-15-1137-0_4"},{"key":"5_CR15","doi-asserted-by":"publisher","first-page":"274","DOI":"10.1016\/J.ICTE.2021.08.009","volume":"7","author":"M Allouche","year":"2021","unstructured":"Allouche, M., Mitrea, M., Moreaux, A., Kim, S.K.: Automatic smart contract generation for internet of media things. ICT Express. 7, 274\u2013277 (2021). https:\/\/doi.org\/10.1016\/J.ICTE.2021.08.009","journal-title":"ICT Express."},{"doi-asserted-by":"publisher","unstructured":"Choudhury, O., Rudolph, N., Sylla, I., Fairoza, N., Das, A.: Auto-generation of smart contracts from domain-specific ontologies and semantic rules. In: Proceedings - IEEE 2018 International Congress Cybermatics 2018 IEEE Conference on Internet Things, Green Computing Communication Cyber, Physical Society Computing Smart Data, Blockchain, Computing Information Technology iThings\/Gree, pp. 963\u2013970 (2018). https:\/\/doi.org\/10.1109\/CYBERMATICS_2018.2018.00183.","key":"5_CR16","DOI":"10.1109\/CYBERMATICS_2018.2018.00183"},{"key":"5_CR17","doi-asserted-by":"publisher","first-page":"1059","DOI":"10.1002\/SPE.2931","volume":"51","author":"Q Lu","year":"2021","unstructured":"Lu, Q., et al.: Integrated model-driven engineering of blockchain applications for business processes and asset management. Softw. Pract. Exp. 51, 1059\u20131079 (2021). https:\/\/doi.org\/10.1002\/SPE.2931","journal-title":"Softw. Pract. Exp."},{"unstructured":"Tran, A.B., Lu, Q., Weber, I.: Lorikeet: a model-driven engineering tool for blockchain-based business process execution and asset management. In: 16th International Conference on Business Process Management, Sydney, Australia, p. 5 (2018)","key":"5_CR18"},{"unstructured":"Tran, A.B., Xu, S., Weber, I., Staples, M., Rimba, P.: Regerator: a registry generator for blockchain. In: 29th International Conference on Advanced Information Systems Engineering (CaiSE2017), Essen, Germany, pp. 81\u201388 (2017).","key":"5_CR19"},{"key":"5_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1007\/978-3-030-23404-1_9","volume-title":"Blockchain \u2013 ICBC 2019","author":"F Fournier","year":"2019","unstructured":"Fournier, F., Skarbovsky, I.: Enriching smart contracts with temporal aspects. In: Joshi, J., Nepal, S., Zhang, Q., Zhang, L.-J. (eds.) ICBC 2019. LNCS, vol. 11521, pp. 126\u2013141. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-23404-1_9"},{"unstructured":"Home | ethereum.org. https:\/\/ethereum.org\/en\/. Accessed 02 June 2022","key":"5_CR21"},{"unstructured":"Polygon. https:\/\/polygon.technology\/. Accessed 04 June 2022","key":"5_CR22"},{"key":"5_CR23","doi-asserted-by":"publisher","DOI":"10.1002\/ITL2.93","volume":"2","author":"QH Mahmoud","year":"2019","unstructured":"Mahmoud, Q.H., Lescisin, M., AlTaei, M.: Research challenges and opportunities in blockchain and cryptocurrencies. Internet Technol. Lett. 2, e93 (2019). https:\/\/doi.org\/10.1002\/ITL2.93","journal-title":"Internet Technol. Lett."},{"key":"5_CR24","doi-asserted-by":"publisher","first-page":"101","DOI":"10.3745\/JIPS.01.0024","volume":"14","author":"GT Nguyen","year":"2018","unstructured":"Nguyen, G.T., Kim, K.: A survey about consensus algorithms used in blockchain. J. Inf. Process. Syst. 14, 101\u2013128 (2018). https:\/\/doi.org\/10.3745\/JIPS.01.0024","journal-title":"J. Inf. Process. Syst."},{"doi-asserted-by":"publisher","unstructured":"Sorensen, D.: Establishing standards for consensus on blockchains. In: Joshi, J., Nepal, S., Zhang, Q., Zhang, LJ. (eds.) ICBC 2019. LNCS, vol. 11521, pp. 18\u201333. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-23404-1_2\/FIGURES\/3","key":"5_CR25","DOI":"10.1007\/978-3-030-23404-1_2\/FIGURES\/3"},{"key":"5_CR26","doi-asserted-by":"publisher","first-page":"2292","DOI":"10.1109\/ACCESS.2016.2566339","volume":"4","author":"K Christidis","year":"2016","unstructured":"Christidis, K., Devetsikiotis, M.: Blockchains and smart contracts for the internet of things. IEEE Access. 4, 2292\u20132303 (2016). https:\/\/doi.org\/10.1109\/ACCESS.2016.2566339","journal-title":"IEEE Access."},{"key":"5_CR27","doi-asserted-by":"publisher","first-page":"825","DOI":"10.1016\/J.CLSR.2017.05.007","volume":"33","author":"M Giancaspro","year":"2017","unstructured":"Giancaspro, M.: Is a \u2018smart contract\u2019 really a smart idea? Insights from a legal perspective. Comput. Law Secur. Rev. 33, 825\u2013835 (2017). https:\/\/doi.org\/10.1016\/J.CLSR.2017.05.007","journal-title":"Comput. Law Secur. Rev."},{"unstructured":"ERC | Ethereum Improvement Proposals. https:\/\/eips.ethereum.org\/erc. Accessed 09 Mar 2022","key":"5_CR28"},{"doi-asserted-by":"publisher","unstructured":"Macdonald, M., Liu-Thorrold, L., Julien, R.: The blockchain: a comparison of platforms and their uses beyond bitcoin (2017). https:\/\/doi.org\/10.13140\/RG.2.2.23274.52164","key":"5_CR29","DOI":"10.13140\/RG.2.2.23274.52164"}],"container-title":["Lecture Notes in Computer Science","Blockchain \u2013 ICBC 2022"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-23495-8_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,26]],"date-time":"2022-12-26T00:03:28Z","timestamp":1672013008000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-23495-8_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031234941","9783031234958"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-23495-8_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"25 December 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICBC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Blockchain","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Honolulu, HI","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"USA","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10 December 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14 December 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"icbc2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.servicessociety.org\/icbc","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EDAS","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"22","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"7","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"1","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"32% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"5.1","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}