{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,2]],"date-time":"2026-01-02T07:11:01Z","timestamp":1767337861445,"version":"3.27.0"},"reference-count":29,"publisher":"Springer Science and Business Media LLC","issue":"14","license":[{"start":{"date-parts":[[2023,4,25]],"date-time":"2023-04-25T00:00:00Z","timestamp":1682380800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,4,25]],"date-time":"2023-04-25T00:00:00Z","timestamp":1682380800000},"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":["J Supercomput"],"published-print":{"date-parts":[[2023,9]]},"DOI":"10.1007\/s11227-023-05262-8","type":"journal-article","created":{"date-parts":[[2023,4,25]],"date-time":"2023-04-25T06:02:35Z","timestamp":1682402555000},"page":"16065-16097","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["A survey on automation approaches of smart contract generation"],"prefix":"10.1007","volume":"79","author":[{"given":"Rawya","family":"Mars","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Saoussen","family":"Cheikhrouhou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Slim","family":"Kallel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ahmed","family":"Hadj Kacem","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,4,25]]},"reference":[{"key":"5262_CR1","doi-asserted-by":"crossref","unstructured":"Haber S, Stornetta WS (1990) How to time-stamp a digital document. In: Conference on the Theory and Application of Cryptography. Springer, pp 437\u2013455","DOI":"10.1007\/3-540-38424-3_32"},{"key":"5262_CR2","unstructured":"Nakamoto S (2008) Bitcoin: a peer-to-peer electronic cash system. Decentralized business review"},{"key":"5262_CR3","volume-title":"Mastering bitcoin: unlocking digital cryptocurrencies","author":"AM Antonopoulos","year":"2014","unstructured":"Antonopoulos AM (2014) Mastering bitcoin: unlocking digital cryptocurrencies. O\u2019Reilly Media Inc, California"},{"key":"5262_CR4","doi-asserted-by":"crossref","unstructured":"W\u00fcst K, Gervais A (2018) Do you need a blockchain? In: 2018 Crypto Valley Conference on Blockchain Technology (CVCBT), pp 45\u201354. IEEE","DOI":"10.1109\/CVCBT.2018.00011"},{"issue":"2014","key":"5262_CR5","first-page":"1","volume":"151","author":"G Wood","year":"2014","unstructured":"Wood G et al (2014) Ethereum: a secure decentralised generalised transaction ledger. Ethereum Project Yellow Paper 151(2014):1\u201332","journal-title":"Ethereum Project Yellow Paper"},{"key":"5262_CR6","doi-asserted-by":"crossref","unstructured":"De\u00a0Sousa VA, Corentin B (2019) Towards an integrated methodology for the development of blockchain-based solutions supporting cross-organizational processes. In: 2019 13th International Conference on Research Challenges in Information Science (RCIS), pp 1\u20136. IEEE","DOI":"10.1109\/RCIS.2019.8877045"},{"key":"5262_CR7","unstructured":"Gartner I (2018) Gartner survey reveals the scarcity of current blockchain deployments. Gartner Press Release. https:\/\/www.gartner.com\/en\/newsroom\/press-releases\/2018-05-03-gartner-survey-reveals-the-scarcity-of-current-blockchain-developments"},{"key":"5262_CR8","unstructured":"News B DeFi\u2019s Smart Contract Risks: Cream Finance\u2019s Input Error Led to CREAM Token Plunging 25%. https:\/\/blockchain.news\/news\/defi-smart-contract-risks-cream-finance-input-error-token-plunge"},{"key":"5262_CR9","doi-asserted-by":"publisher","unstructured":"Luu L, Chu D-H, Olickel H, Saxena P, Hobor A (2016) Making smart contracts smarter. In: Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security. CCS \u201916, pp 254\u2013269. Association for Computing Machinery, New York, NY, USA (2016). https:\/\/doi.org\/10.1145\/2976749.2978309","DOI":"10.1145\/2976749.2978309"},{"issue":"7","key":"5262_CR10","doi-asserted-by":"crossref","first-page":"1162","DOI":"10.1002\/spe.2702","volume":"49","author":"O L\u00f3pez-Pintado","year":"2019","unstructured":"L\u00f3pez-Pintado O, Garc\u00eda-Ba\u00f1uelos L, Dumas M, Weber I, Ponomarev A (2019) Caterpillar: a business process execution engine on the Ethereum blockchain. Softw Pract Exp 49(7):1162\u20131193","journal-title":"Softw Pract Exp"},{"key":"5262_CR11","doi-asserted-by":"publisher","DOI":"10.5210\/fm.v2i9.548","author":"N Szabo","year":"1997","unstructured":"Szabo N (1997) Formalizing and securing relationships on public networks. First Monday. https:\/\/doi.org\/10.5210\/fm.v2i9.548","journal-title":"First Monday"},{"issue":"4","key":"5262_CR12","doi-asserted-by":"crossref","first-page":"338","DOI":"10.69554\/XYVT7035","volume":"2","author":"CD Clack","year":"2018","unstructured":"Clack CD (2018) Smart contract templates: legal semantics and code validation. J Digital Bank 2(4):338\u2013352","journal-title":"J Digital Bank"},{"key":"5262_CR13","unstructured":"Stark J (2016) Making sense of blockchain smart contracts. https:\/\/www.coindesk.com\/markets\/2016\/06\/04\/making-sense-of-blockchain-smart-contracts\/"},{"key":"5262_CR14","unstructured":"Clack CD, Bakshi VA, Braine L (2016) Smart contract templates: foundations, design landscape and research directions. CoRR 1608.00771"},{"issue":"8","key":"5262_CR15","doi-asserted-by":"publisher","first-page":"2337","DOI":"10.1016\/j.tele.2018.10.004","volume":"35","author":"D Macrinici","year":"2018","unstructured":"Macrinici D, Cartofeanu C, Gao S (2018) Smart contract applications within blockchain technology: a systematic mapping study. Telematics Inform 35(8):2337\u20132354","journal-title":"Telematics Inform"},{"key":"5262_CR16","doi-asserted-by":"crossref","unstructured":"Hovsepyan A, Baelen SV, Vanhooff B, Joosen W, Berbers Y (2006) Key research challenges for successfully applying mdd within real-time embedded software development. In: International Workshop on Embedded Computer Systems, pp 49\u201358. Springer","DOI":"10.1007\/11796435_7"},{"key":"5262_CR17","doi-asserted-by":"publisher","unstructured":"Ait Hsain Y, Laaz N, Mbarki S (2021) Ethereum\u2019s smart contracts construction and development using model driven engineering technologies: a review. Procedia Computer Science 184, 785\u2013790. https:\/\/doi.org\/10.1016\/j.procs.2021.03.097. The 12th International Conference on Ambient Systems, Networks and Technologies (ANT) \/ The 4th International Conference on Emerging Data and Industry 4.0 (EDI40) \/ Affiliated Workshops","DOI":"10.1016\/j.procs.2021.03.097"},{"key":"5262_CR18","doi-asserted-by":"crossref","unstructured":"Kushwaha SS, Joshi S, Singh D, Kaur M, Lee H-N (2022) Ethereum smart contract analysis tools: a systematic review. IEEE Access","DOI":"10.1109\/ACCESS.2022.3169902"},{"issue":"2","key":"5262_CR19","doi-asserted-by":"publisher","DOI":"10.1016\/j.patter.2020.100179","volume":"2","author":"B Hu","year":"2021","unstructured":"Hu B, Zhang Z, Liu J, Liu Y, Yin J, Lu R, Lin X (2021) A comprehensive survey on smart contract construction and execution: paradigms, tools, and systems. Patterns 2(2):100179","journal-title":"Patterns"},{"key":"5262_CR20","doi-asserted-by":"publisher","first-page":"164556","DOI":"10.1109\/ACCESS.2020.3021502","volume":"8","author":"N S\u00e1nchez-G\u00f3mez","year":"2020","unstructured":"S\u00e1nchez-G\u00f3mez N, Torres-Valderrama J, Garc\u00eda-Garc\u00eda JA, Guti\u00e9rrez JJ, Escalona M (2020) Model-based software design and testing in blockchain smart contracts: a systematic literature review. IEEE Access 8:164556\u2013164569","journal-title":"IEEE Access"},{"key":"5262_CR21","unstructured":"Imeri A, Agoulmine N, Khadraoui, D (2020) Smart contract modeling and verification techniques: A survey. In: 8th International Workshop on ADVANCEs in ICT Infrastructures and Services (ADVANCE 2020), pp 1\u20138 (2020)"},{"key":"5262_CR22","volume":"26","author":"A Dixit","year":"2022","unstructured":"Dixit A, Deval V, Dwivedi V, Norta A, Draheim D (2022) Towards user-centered and legally relevant smart-contract development: a systematic literature review. J Ind Inf Integr 26:100314","journal-title":"J Ind Inf Integr"},{"key":"5262_CR23","unstructured":"Kitchenham B (2007) Guidelines for performing systematic literature reviews in software engineering. EBSE Technical Report EBSE-2007-01"},{"key":"5262_CR24","doi-asserted-by":"publisher","unstructured":"Kitchenham BA, Budgen D, Brereton P (2015). Evidence-based software engineering and systematic reviews. https:\/\/doi.org\/10.1201\/b19467","DOI":"10.1201\/b19467"},{"key":"5262_CR25","doi-asserted-by":"crossref","unstructured":"Wohlin C (2014) Guidelines for snowballing in systematic literature studies and a replication in software engineering. In: Proceedings of the 18th International Conference on Evaluation and Assessment in Software Engineering, pp 1\u201310","DOI":"10.1145\/2601248.2601268"},{"issue":"4","key":"5262_CR26","doi-asserted-by":"publisher","first-page":"0176210","DOI":"10.1371\/journal.pone.0176210","volume":"12","author":"CM Schmucker","year":"2017","unstructured":"Schmucker CM, Bl\u00fcmle A, Schell LK, Schwarzer G, Oeller P, Cabrera L, von Elm E, Briel M, Meerpohl JJ, OPEN consortium (2017) Systematic review finds that study data not published in full text articles have unclear impact on meta-analyses results in medical research. PloS ONE 12(4):0176210","journal-title":"PloS ONE"},{"key":"5262_CR27","unstructured":"L\u00f3pez-Pintado O, Garc\u00eda-Ba\u00f1uelos L, Dumas M, Weber I (2017) Caterpillar: a blockchain-based business process management system. In: BPM (Demos)"},{"key":"5262_CR28","unstructured":"Tran AB, Lu Q, Weber I (2018) Lorikeet: a model-driven engineering tool for blockchain-based business process execution and asset management. In: BPM (dissertation\/demos\/industry), pp 56\u201360"},{"key":"5262_CR29","doi-asserted-by":"crossref","unstructured":"Garamv\u00f6lgyi P, Kocsis I, Gehl B, Klenik A (2018) 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), pp 134\u2013139. IEEE","DOI":"10.1109\/DSN-W.2018.00052"}],"container-title":["The Journal of Supercomputing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11227-023-05262-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11227-023-05262-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11227-023-05262-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,19]],"date-time":"2024-10-19T03:53:39Z","timestamp":1729310019000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11227-023-05262-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,4,25]]},"references-count":29,"journal-issue":{"issue":"14","published-print":{"date-parts":[[2023,9]]}},"alternative-id":["5262"],"URL":"https:\/\/doi.org\/10.1007\/s11227-023-05262-8","relation":{},"ISSN":["0920-8542","1573-0484"],"issn-type":[{"type":"print","value":"0920-8542"},{"type":"electronic","value":"1573-0484"}],"subject":[],"published":{"date-parts":[[2023,4,25]]},"assertion":[{"value":"4 April 2023","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"25 April 2023","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"Not applicable.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Ethical approval"}},{"value":"The authors declare that they have no competing interests.","order":3,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}},{"value":"Not applicable.","order":4,"name":"Ethics","group":{"name":"EthicsHeading","label":"Funding"}},{"value":"Not applicable.","order":5,"name":"Ethics","group":{"name":"EthicsHeading","label":"Availability of data and materials"}}]}}