{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,11]],"date-time":"2025-12-11T20:58:43Z","timestamp":1765486723805,"version":"3.40.3"},"publisher-location":"Singapore","reference-count":30,"publisher":"Springer Nature Singapore","isbn-type":[{"type":"print","value":"9789811666230"},{"type":"electronic","value":"9789811666247"}],"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.springer.com\/tdm"},{"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.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-981-16-6624-7_54","type":"book-chapter","created":{"date-parts":[[2022,2,28]],"date-time":"2022-02-28T04:26:48Z","timestamp":1646022408000},"page":"549-564","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":17,"title":["Auto-generation of\u00a0Smart Contracts from\u00a0a\u00a0Domain-Specific XML-Based Language"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9177-8341","authenticated-orcid":false,"given":"Vimal","family":"Dwivedi","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0593-8244","authenticated-orcid":false,"given":"Alex","family":"Norta","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,2,28]]},"reference":[{"key":"54_CR1","unstructured":"Nakamoto, S., Bitcoin, A.: A peer-to-peer electronic cash system. Bitcoin 4 (2008). https:\/\/bitcoin.org\/bitcoin.pdf"},{"key":"54_CR2","unstructured":"Genestier, P., Zouarhi, S., Limeux, P., Excoffier, D., Prola, A., Sandon, S., Temerson, J.M.: Blockchain for consent management in the ehealth environment: a nugget for privacy and security challenges. J. Inter. Soc. Telemed. eHealth 5, (GKR);e24:(1\u20134) (Apr 2017), https:\/\/journals.ukzn.ac.za\/index.php\/JISfTeH\/article\/view\/269"},{"key":"54_CR3","unstructured":"Szabo, N.: Smart contracts. Unpublished manuscript (1994)"},{"key":"54_CR4","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1016\/j.procs.2018.01.019","volume":"123","author":"D Efanov","year":"2018","unstructured":"Efanov, D., Roschin, P.: The all-pervasiveness of the blockchain technology. Proced. Comput. Sci. 123, 116\u2013121 (2018)","journal-title":"Proced. Comput. Sci."},{"issue":"1","key":"54_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.33166\/AETiC.2018.01.001","volume":"2","author":"MH Miraz","year":"2018","unstructured":"Miraz, M.H., Ali, M.: Applications of blockchain technology beyond cryptocurrency. Ann. Emerg. Technol. Comput. 2(1), 1\u20136 (2018)","journal-title":"Ann. Emerg. Technol. Comput."},{"key":"54_CR6","doi-asserted-by":"publisher","unstructured":"Porru, S., Pinna, A., Marchesi, M., Tonelli, R.: Blockchain-oriented software engineering: challenges and new directions. In: 2017 IEEE\/ACM 39th International Conference on Software Engineering Companion (ICSE-C), pp. 169\u2013171 (2017). https:\/\/doi.org\/10.1109\/ICSE-C.2017.142","DOI":"10.1109\/ICSE-C.2017.142"},{"key":"54_CR7","doi-asserted-by":"crossref","unstructured":"Dannen, C.: Introducing Ethereum and Solidity, vol.\u00a0318. Springer (2017)","DOI":"10.1007\/978-1-4842-2535-6"},{"issue":"2","key":"54_CR8","volume":"3","author":"EH Boudjema","year":"2020","unstructured":"Boudjema, E.H., Verlan, S., Mokdad, L., Faure, C.: Vyper: vulnerability detection in binary code. Secur. Priv. 3(2), e100 (2020)","journal-title":"Secur. Priv."},{"key":"54_CR9","doi-asserted-by":"publisher","first-page":"738","DOI":"10.1007\/978-981-13-9942-8_68","volume-title":"Advances in Computing and Data Sciences","author":"V Dwivedi","year":"2019","unstructured":"Dwivedi, V., Deval, V., Dixit, A., Norta, A.: Formal-verification of smart-contract languages: a survey. In: Singh, M., Gupta, P., Tyagi, V., Flusser, J., \u00d6ren, T., Kashyap, R. (eds.) Advances in Computing and Data Sciences, pp. 738\u2013747. Springer Singapore, Singapore (2019)"},{"key":"54_CR10","doi-asserted-by":"publisher","unstructured":"Regnath, E., Steinhorst, S.: Smaconat: smart contracts in natural language. In: 2018 Forum on Specification Design Languages (FDL), pp. 5\u201316 (2018). https:\/\/doi.org\/10.1109\/FDL.2018.8524068","DOI":"10.1109\/FDL.2018.8524068"},{"key":"54_CR11","doi-asserted-by":"crossref","unstructured":"Frantz, C.K., Nowostawski, M.: From institutions to code: towards automated generation of smart contracts. In: 2016 IEEE 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W), pp. 210\u2013215. IEEE (2016)","DOI":"10.1109\/FAS-W.2016.53"},{"key":"54_CR12","doi-asserted-by":"crossref","unstructured":"He, X., Qin, B., Zhu, Y., Chen, X., Liu, Y.: Spesc: a specification language for smart contracts. In: 2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC). vol.\u00a01, pp. 132\u2013137. IEEE (2018)","DOI":"10.1109\/COMPSAC.2018.00025"},{"key":"54_CR13","doi-asserted-by":"publisher","unstructured":"Dwivedi, V., Pattanaik, V., Deval, V., Dixit, A., Norta, A., Draheim, D.: Legally enforceable smart-contract languages: a systematic literature review. ACM Comput. Surv. 54(5) (2021). https:\/\/doi.org\/10.1145\/3453475","DOI":"10.1145\/3453475"},{"key":"54_CR14","doi-asserted-by":"publisher","DOI":"10.1016\/j.foodcont.2019.106770","volume":"107","author":"T Chen","year":"2020","unstructured":"Chen, T., Ding, K., Hao, S., Li, G., Qu, J.: Batch-based traceability for pork: a mobile solution with 2d barcode technology. Food Control 107, 106770 (2020)","journal-title":"Food Control"},{"key":"54_CR15","doi-asserted-by":"publisher","DOI":"10.1016\/j.marpol.2020.103873","volume":"115","author":"P Howson","year":"2020","unstructured":"Howson, P.: Building trust and equity in marine conservation and fisheries supply chain management with blockchain. Marine Policy 115, 103873 (2020)","journal-title":"Marine Policy"},{"key":"54_CR16","doi-asserted-by":"publisher","unstructured":"Caro, M.P., Ali, M.S., Vecchio, M., Giaffreda, R.: Blockchain-based traceability in agri-food supply chain management: a practical implementation. In: 2018 IoT Vertical and Topical Summit on Agriculture\u2014Tuscany (IOT Tuscany). pp.\u00a01\u20134 (2018). https:\/\/doi.org\/10.1109\/IOT-TUSCANY.2018.8373021","DOI":"10.1109\/IOT-TUSCANY.2018.8373021"},{"key":"54_CR17","doi-asserted-by":"publisher","first-page":"172","DOI":"10.1016\/j.foodcont.2013.11.007","volume":"39","author":"MM Aung","year":"2014","unstructured":"Aung, M.M., Chang, Y.S.: Traceability in a food supply chain: Safety and quality perspectives. Food Control 39, 172\u2013184 (2014)","journal-title":"Food Control"},{"issue":"5","key":"54_CR18","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1016\/S0924-2244(98)00037-5","volume":"9","author":"T Moe","year":"1998","unstructured":"Moe, T.: Perspectives on traceability in food manufacture. Trends Food Sci. Technol. 9(5), 211\u2013214 (1998)","journal-title":"Trends Food Sci. Technol."},{"key":"54_CR19","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijinfomgt.2019.05.025","volume":"52","author":"K Behnke","year":"2020","unstructured":"Behnke, K., Janssen, M.: Boundary conditions for traceability in food supply chains using blockchain technology. Int. J. Inf. Manage. 52, 101969 (2020)","journal-title":"Int. J. Inf. Manage."},{"key":"54_CR20","doi-asserted-by":"publisher","unstructured":"Casino, F., Kanakaris, V., Dasaklis, T.K., Moschuris, S., Rachaniotis, N.P.: Modeling food supply chain traceability based on blockchain technology. IFAC-PapersOnLine 52(13), 2728\u20132733 (2019). https:\/\/doi.org\/10.1016\/j.ifacol.2019.11.620, https:\/\/www.sciencedirect.com\/science\/article\/pii\/S2405896319316088. 9th IFAC Conference on Manufacturing Modelling, Management and Control MIM 2019","DOI":"10.1016\/j.ifacol.2019.11.620"},{"key":"54_CR21","unstructured":"Solidity\u2014Solidity 0.7.1 documentation, https:\/\/docs.soliditylang.org\/en\/v0.7.1\/"},{"key":"54_CR22","doi-asserted-by":"publisher","first-page":"76069","DOI":"10.1109\/ACCESS.2021.3081926","volume":"9","author":"V Dwivedi","year":"2021","unstructured":"Dwivedi, V., Norta, A., Wulf, A., Leiding, B., Saxena, S., Udokwu, C.: A formal specification smart-contract language for legally binding decentralized autonomous organizations. IEEE Access 9, 76069\u201376082 (2021). https:\/\/doi.org\/10.1109\/ACCESS.2021.3081926","journal-title":"IEEE Access"},{"issue":"1","key":"54_CR23","doi-asserted-by":"publisher","first-page":"136","DOI":"10.1109\/TSC.2013.51","volume":"8","author":"R Eshuis","year":"2015","unstructured":"Eshuis, R., Norta, A., Kopp, O., Pitk\u00e4nen, E.: Service outsourcing with process views. IEEE Trans. Serv. Comput. 8(1), 136\u2013154 (2015). https:\/\/doi.org\/10.1109\/TSC.2013.51","journal-title":"IEEE Trans. Serv. Comput."},{"key":"54_CR24","doi-asserted-by":"publisher","unstructured":"Norta, A., Ma, L., Duan, Y., Rull, A., K\u00f5lvart, M., Taveter, K.: eContractual choreography-language properties towards cross-organizational business collaboration. J. Internet Serv. Appl. 6(1) (2015). https:\/\/doi.org\/10.1186\/s13174-015-0023-7","DOI":"10.1186\/s13174-015-0023-7"},{"key":"54_CR25","doi-asserted-by":"publisher","unstructured":"Frantz, C.K., Nowostawski, M.: From institutions to code: towards automated generation of smart contracts. In: 2016 IEEE 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W), pp. 210\u2013215 (2016). https:\/\/doi.org\/10.1109\/FAS-W.2016.53","DOI":"10.1109\/FAS-W.2016.53"},{"key":"54_CR26","doi-asserted-by":"publisher","unstructured":"Brahem, A., Messai, N., Sam, Y., Bhiri, S., Devogele, T., Gaaloul, W.: Blockchain\u2019s fame reaches the execution of personalized touristic itineraries. In: 2019 IEEE 28th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), pp. 186\u2013191 (2019). https:\/\/doi.org\/10.1109\/WETICE.2019.00047","DOI":"10.1109\/WETICE.2019.00047"},{"key":"54_CR27","doi-asserted-by":"crossref","unstructured":"von Rosing, M., White, S., Cummins, F., de\u00a0Man, H.: Business process model and notation-bpmn (2015)","DOI":"10.1016\/B978-0-12-799959-3.00021-5"},{"key":"54_CR28","doi-asserted-by":"publisher","unstructured":"He, X., Qin, B., Zhu, Y., Chen, X., Liu, Y.: Spesc: a specification language for smart contracts. In: 2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC). vol.\u00a001, pp. 132\u2013137 (2018). https:\/\/doi.org\/10.1109\/COMPSAC.2018.00025","DOI":"10.1109\/COMPSAC.2018.00025"},{"key":"54_CR29","doi-asserted-by":"crossref","unstructured":"W\u00f6hrer, M., Zdun, U.: Domain specific language for smart contract development. In: IEEE International Conference on Blockchain and Cryptocurrency (2020). http:\/\/eprints.cs.univie.ac.at\/6341\/","DOI":"10.1109\/ICBC48266.2020.9169399"},{"key":"54_CR30","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1007\/978-3-030-21290-2_25","volume-title":"Advanced Information Systems Engineering","author":"O L\u00f3pez-Pintado","year":"2019","unstructured":"L\u00f3pez-Pintado, O., Dumas, M., Garc\u00eda-Ba\u00f1uelos, L., Weber, I.: Dynamic role binding in blockchain-based collaborative business processes. In: Giorgini, P., Weber, B. (eds.) Advanced Information Systems Engineering, pp. 399\u2013414. Springer International Publishing, Cham (2019)"}],"container-title":["Smart Innovation, Systems and Technologies","Intelligent Data Engineering and Analytics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-981-16-6624-7_54","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,5]],"date-time":"2022-05-05T17:21:16Z","timestamp":1651771276000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-981-16-6624-7_54"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9789811666230","9789811666247"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-981-16-6624-7_54","relation":{},"ISSN":["2190-3018","2190-3026"],"issn-type":[{"type":"print","value":"2190-3018"},{"type":"electronic","value":"2190-3026"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"28 February 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}