{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,10]],"date-time":"2025-12-10T09:09:36Z","timestamp":1765357776595,"version":"3.41.0"},"reference-count":46,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2025,1,28]],"date-time":"2025-01-28T00:00:00Z","timestamp":1738022400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2025,1,28]],"date-time":"2025-01-28T00:00:00Z","timestamp":1738022400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100007511","name":"Universidad Rey Juan Carlos","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100007511","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2025,6]]},"abstract":"<jats:title>Abstract<\/jats:title>\n          <jats:p>Despite the increasing interest in blockchain and smart contracts, their inherent complexity has impeded widespread adoption. In order to mitigate this issue, this work introduces , a model-based framework for the development of smart contracts in Solidity that enables the treatment of contracts as models, opening up new possibilities for their enhancement and maintenance. A key benefit of  is its ability to impose a development pattern, which contributes to improved code quality and reduced vulnerabilities. The framework\u2019s effectiveness is evaluated through several case studies, showing how model-driven engineering can mitigate contracts inherent complexity and promote better collaboration between developers and domain experts. As this work will demonstrate, when smart contracts are treated as models, a vast array of possibilities unfolds.<\/jats:p>","DOI":"10.1007\/s10270-024-01260-3","type":"journal-article","created":{"date-parts":[[2025,1,28]],"date-time":"2025-01-28T11:17:01Z","timestamp":1738063021000},"page":"823-842","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Integrating smart contracts into the modeling paradigm to harness the potential of models"],"prefix":"10.1007","volume":"24","author":[{"ORCID":"https:\/\/orcid.org\/0009-0004-9690-5062","authenticated-orcid":false,"given":"Cristian","family":"G\u00f3mez-Mac\u00edas","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1396-383X","authenticated-orcid":false,"given":"Francisco Javier","family":"P\u00e9rez-Blanco","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9743-4347","authenticated-orcid":false,"given":"David","family":"Granada","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8637-6580","authenticated-orcid":false,"given":"Juan Manuel","family":"Vara","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,1,28]]},"reference":[{"key":"1260_CR1","doi-asserted-by":"crossref","unstructured":"El\u00a0Sawy, O.A., Pereira, F.: Digital business models: review and synthesis. In: Business Modelling in the Dynamic Digital Space, pp. 13\u201320 (2013)","DOI":"10.1007\/978-3-642-31765-1_2"},{"issue":"1","key":"1260_CR2","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1002\/bse.2882","volume":"31","author":"A Parmentola","year":"2022","unstructured":"Parmentola, A., Petrillo, A., Tutore, I., De Felice, F.: Is blockchain able to enhance environmental sustainability? A systematic review and research agenda from the perspective of Sustainable Development Goals (SDGs). Bus. Strateg. Environ. 31(1), 194\u2013217 (2022)","journal-title":"Bus. Strateg. Environ."},{"issue":"4","key":"1260_CR3","doi-asserted-by":"publisher","first-page":"643","DOI":"10.1007\/s40821-022-00209-0","volume":"12","author":"I Ivaninskiy","year":"2022","unstructured":"Ivaninskiy, I., Ivashkovskaya, I.: Are blockchain-based digital transformation and ecosystem-based business models mutually reinforcing? The principal-agent conflict perspective. Euras. Bus. Rev. 12(4), 643\u2013670 (2022)","journal-title":"Euras. Bus. Rev."},{"key":"1260_CR4","unstructured":"Nakamoto, S.: Bitcoin: a peer-to-peer electronic cash system. Decent. Bus. Rev., Art. no. 21260 (2008)"},{"issue":"1","key":"1260_CR5","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1002\/bse.2431","volume":"29","author":"CA Bai","year":"2020","unstructured":"Bai, C.A., Cordeiro, J., Sarkis, J., et al.: Blockchain technology: business, strategy, the environment, and sustainability. Bus. Strateg. Environ. 29(1), 321\u2013322 (2020)","journal-title":"Bus. Strateg. Environ."},{"key":"1260_CR6","doi-asserted-by":"crossref","unstructured":"Alharby, M., Moorsel, A.: A systematic mapping study on current research topics in smart contracts. Available at SSRN 3876872 (2017)","DOI":"10.2139\/ssrn.3876872"},{"key":"1260_CR7","doi-asserted-by":"crossref","unstructured":"Hossain, S.A.: Blockchain computing: Prospects and challenges for digital transformation. In: 2017 6th International Conference on Reliability, Infocom Technologies and Optimization (Trends and Future Directions)(ICRITO), pp. 61\u201365. IEEE (2017)","DOI":"10.1109\/ICRITO.2017.8342399"},{"key":"1260_CR8","unstructured":"Szabo, N.: The idea of smart contracts. Nick Szabo\u2019s Papers and Concise Tutorials (1997)"},{"issue":"4","key":"1260_CR9","doi-asserted-by":"publisher","first-page":"352","DOI":"10.1504\/IJWGS.2018.095647","volume":"14","author":"Z Zheng","year":"2018","unstructured":"Zheng, Z., Xie, S., Dai, H.-N., Chen, X., Wang, H.: Blockchain challenges and opportunities: a survey. Int. J. Web Grid Serv. 14(4), 352\u2013375 (2018)","journal-title":"Int. J. Web Grid Serv."},{"key":"1260_CR10","doi-asserted-by":"publisher","unstructured":"Kaushal, R.K., Kumar, N., Panda, S.N., Kukreja, V.: Immutable smart contracts on blockchain technology: its benefits and barriers. In: 2021 9th International Conference on Reliability, Infocom Technologies and Optimization (Trends and Future Directions) (ICRITO), pp. 1\u20135 (2021). https:\/\/doi.org\/10.1109\/ICRITO51393.2021.9596538","DOI":"10.1109\/ICRITO51393.2021.9596538"},{"issue":"5","key":"1260_CR11","doi-asserted-by":"publisher","first-page":"1059","DOI":"10.1002\/spe.2931","volume":"51","author":"Q Lu","year":"2021","unstructured":"Lu, Q., Binh Tran, A., Weber, I., O\u2019Connor, H., Rimba, P., Xu, X., Staples, M., Zhu, L., Jeffery, R.: Integrated model-driven engineering of blockchain applications for business processes and asset management. Softw. Pract. Exp. 51(5), 1059\u20131079 (2021)","journal-title":"Softw. Pract. Exp."},{"key":"1260_CR12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-02549-5","volume-title":"Model-Driven Software Engineering in Practice","author":"M Brambilla","year":"2017","unstructured":"Brambilla, M., Cabot, J., Wimmer, M.: Model-Driven Software Engineering in Practice. Morgan & Claypool Publishers, Williston (2017)"},{"key":"1260_CR13","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1109\/OJCS.2020.3039991","volume":"1","author":"C Li","year":"2020","unstructured":"Li, C., Nie, S., Cao, Y., Yu, Y., Hu, Z.: Trace-based dynamic gas estimation of loops in smart contracts. IEEE Open J. Comput. Soc. 1, 295\u2013306 (2020)","journal-title":"IEEE Open J. Comput. Soc."},{"key":"1260_CR14","doi-asserted-by":"crossref","unstructured":"Durieux, T., Ferreira, J.F., Abreu, R., Cruz, P.: Empirical review of automated analysis tools on 47,587 ethereum smart contracts. In: Proceedings of the ACM\/IEEE 42nd International Conference on Software Engineering, pp. 530\u2013541 (2020)","DOI":"10.1145\/3377811.3380364"},{"key":"1260_CR15","doi-asserted-by":"crossref","unstructured":"Worley, C.R., Skjellum, A.: Opportunities, challenges, and future extensions for smart-contract design patterns. In: Business Information Systems Workshops: BIS 2018 International Workshops, Berlin, Germany, July 18\u201320, 2018, Revised Papers 21, pp. 264\u2013276. Springer (2019)","DOI":"10.1007\/978-3-030-04849-5_24"},{"key":"1260_CR16","unstructured":"Kitchenham, B.A., Dyba, T., Jorgensen, M.: Evidence-based software engineering. In: Proceedings of 26th International Conference on Software Engineering, pp. 273\u2013281. IEEE (2004)"},{"key":"1260_CR17","doi-asserted-by":"publisher","unstructured":"Jedlitschka, A., Pfahl, D.: Reporting guidelines for controlled experiments in software engineering. In: 2005 International Symposium on Empirical Software Engineering, p. 10 (2005). https:\/\/doi.org\/10.1109\/ISESE.2005.1541818","DOI":"10.1109\/ISESE.2005.1541818"},{"key":"1260_CR18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-29044-2","volume-title":"Experimentation in Software Engineering","author":"C Wohlin","year":"2012","unstructured":"Wohlin, C., Runeson, P., H\u00f6st, M., Ohlsson, M.C., Regnell, B., Wessl\u00e9n, A.: Experimentation in Software Engineering. Springer, Berlin (2012)"},{"key":"1260_CR19","doi-asserted-by":"crossref","unstructured":"Dhillon, V., Metcalf, D., Hooper, M.: Ethereum tokens: high-performance computing. In: Blockchain Enabled Applications, pp. 79\u2013109. Springer (2017)","DOI":"10.1007\/978-1-4842-3081-7_7"},{"issue":"7","key":"1260_CR20","doi-asserted-by":"publisher","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.: Caterpillar: a business process execution engine on the ethereum blockchain. Softw. Pract. Exp. 49(7), 1162\u20131193 (2019)","journal-title":"Softw. Pract. Exp."},{"key":"1260_CR21","unstructured":"Tran, A.B., Lu, Q., Weber, I.: Lorikeet: a model-driven engineering tool for blockchain-based business process execution and asset management. In: BPM (Dissertation\/Demos\/Industry), pp. 56\u201360 (2018)"},{"key":"1260_CR22","doi-asserted-by":"crossref","unstructured":"Ye, X., K\u00f6nig, M.: From the graphical representation to the smart contract language: a use case in the construction industry. In: ISARC. Proceedings of the International Symposium on Automation and Robotics in Construction, vol. 38, pp. 272\u2013279. IAARC Publications (2021)","DOI":"10.22260\/ISARC2021\/0039"},{"key":"1260_CR23","doi-asserted-by":"crossref","unstructured":"Mavridou, A., Laszka, A.: Designing secure Ethereum smart contracts: a finite state machine based approach. In: Financial Cryptography and Data Security: 22nd International Conference, FC 2018, Nieuwpoort, Cura\u00e7ao, February 26\u2013March 2, 2018, Revised Selected Papers 22, pp. 523\u2013540. Springer (2018)","DOI":"10.1007\/978-3-662-58387-6_28"},{"key":"1260_CR24","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), pp. 134\u2013139 (2018). https:\/\/doi.org\/10.1109\/DSN-W.2018.00052","DOI":"10.1109\/DSN-W.2018.00052"},{"key":"1260_CR25","doi-asserted-by":"publisher","unstructured":"Tan, S., S\u00a0Bhowmick, S., Chua, H.E., Xiao, X.: Latte: visual construction of smart contracts. SIGMOD \u201920, pp. 2713\u20132716. Association for Computing Machinery, New York, NY, USA (2020). https:\/\/doi.org\/10.1145\/3318464.3384687","DOI":"10.1145\/3318464.3384687"},{"key":"1260_CR26","doi-asserted-by":"publisher","first-page":"73131","DOI":"10.1109\/ACCESS.2019.2920776","volume":"7","author":"D Mao","year":"2019","unstructured":"Mao, D., Wang, F., Wang, Y., Hao, Z.: Visual and user-defined smart contract designing system based on automatic coding. IEEE Access 7, 73131\u201373143 (2019)","journal-title":"IEEE Access"},{"key":"1260_CR27","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2021.106762","volume":"144","author":"M Hamdaqa","year":"2021","unstructured":"Hamdaqa, M., Met, L., Qasse, I.: iContractML 2.0: a domain-specific language for modeling and deploying smart contracts onto multiple blockchain platforms. Inf. Softw. Technol. 144, 106762 (2021). https:\/\/doi.org\/10.1016\/j.infsof.2021.106762","journal-title":"Inf. Softw. Technol."},{"key":"1260_CR28","doi-asserted-by":"crossref","unstructured":"Skotnica, M., Pergl, R.: DAS contract-a visual domain specific language for modeling blockchain smart contracts. In: Enterprise Engineering Working Conference, pp. 149\u2013166. Springer (2020)","DOI":"10.1007\/978-3-030-37933-9_10"},{"key":"1260_CR29","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":"1260_CR30","doi-asserted-by":"crossref","unstructured":"W\u00f6hrer, M., Zdun, U.: Domain specific language for smart contract development. In: 2020 IEEE International Conference on Blockchain and Cryptocurrency (ICBC), pp. 1\u20139. IEEE (2020)","DOI":"10.1109\/ICBC48266.2020.9169399"},{"key":"1260_CR31","doi-asserted-by":"publisher","unstructured":"Dornelles, E., Parahyba, F., Frantz, R., Roos-Frantz, F., Reina-Quintero, A., Molina-Jim\u00e9nez, C., Bocanegra, J., Sawicki, S.: Advances in a DSL to specify smart contracts for application integration processes. In: Anais do XXV Congresso Ibero-Americano em Engenharia de Software, pp. 46\u201360. SBC, Porto Alegre, RS, Brasil (2022). https:\/\/doi.org\/10.5753\/cibse.2022.20962","DOI":"10.5753\/cibse.2022.20962"},{"key":"1260_CR32","doi-asserted-by":"crossref","unstructured":"Lamela\u00a0Seijas, P., Thompson, S.: Marlowe: Financial contracts on blockchain. In: Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5\u20139, 2018, Proceedings, Part IV 8, pp. 356\u2013375. Springer (2018)","DOI":"10.1007\/978-3-030-03427-6_27"},{"key":"1260_CR33","doi-asserted-by":"crossref","unstructured":"Regnath, E., Steinhorst, S.: SmaCoNat: smart contracts in natural language. In: 2018 Forum on Specification & Design Languages (FDL), pp. 5\u201316. IEEE (2018)","DOI":"10.1109\/FDL.2018.8524068"},{"key":"1260_CR34","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. 1, pp. 132\u2013137. IEEE (2018)","DOI":"10.1109\/COMPSAC.2018.00025"},{"key":"1260_CR35","doi-asserted-by":"crossref","unstructured":"Sharifi, S., Parvizimosaed, A., Amyot, D., Logrippo, L., Mylopoulos, J.: Symboleo: towards a specification language for legal contracts. In: 2020 IEEE 28th International Requirements Engineering Conference (RE), pp. 364\u2013369. IEEE (2020)","DOI":"10.1109\/RE48521.2020.00049"},{"key":"1260_CR36","doi-asserted-by":"publisher","unstructured":"Rasti, A., Amyot, D., Parvizimosaed, A., Roveri, M., Logrippo, L., Anda, A.A., Mylopoulos, J.: Symboleo2SC: From Legal Contract Specifications to Smart Contracts. MODELS \u201922, pp. 300\u2013310. Association for Computing Machinery, New York, NY, USA (2022). https:\/\/doi.org\/10.1145\/3550355.3552407","DOI":"10.1145\/3550355.3552407"},{"key":"1260_CR37","first-page":"1","volume":"172","author":"O L\u00f3pez-Pintado","year":"2017","unstructured":"L\u00f3pez-Pintado, O., Garc\u00eda-Ba\u00f1uelos, L., Dumas, M., Weber, I.: Caterpillar: a blockchain-based business process management system. BPM (Demos) 172, 1\u20135 (2017)","journal-title":"BPM (Demos)"},{"key":"1260_CR38","doi-asserted-by":"publisher","unstructured":"Qasse, I., Mishra, S., Hamdaqa, M.: iContractBot: a chatbot for smart contracts\u2019 specification and code generation. In: 2021 IEEE\/ACM Third International Workshop on Bots in Software Engineering (BotSE), pp. 35\u201338 (2021). https:\/\/doi.org\/10.1109\/BotSE52550.2021.00015","DOI":"10.1109\/BotSE52550.2021.00015"},{"issue":"5","key":"1260_CR39","first-page":"134","volume":"16","author":"M Ndiaye","year":"2022","unstructured":"Ndiaye, M., Konate, K.: Security strengths and weaknesses of blockchain smart contract system: a survey. Int. J. Inf. Commun. Eng. 16(5), 134\u2013143 (2022)","journal-title":"Int. J. Inf. Commun. Eng."},{"issue":"6","key":"1260_CR40","doi-asserted-by":"publisher","first-page":"2101","DOI":"10.1007\/s10270-022-01035-8","volume":"21","author":"J Cabot","year":"2022","unstructured":"Cabot, J., Vallecillo, A.: Modeling should be an independent scientific discipline. Softw. Syst. Model. 21(6), 2101\u20132107 (2022)","journal-title":"Softw. Syst. Model."},{"key":"1260_CR41","unstructured":"Reitwiessner, C.: Babbage: a mechanical smart contract language (2019)"},{"key":"1260_CR42","volume":"26","author":"A Dixit","year":"2022","unstructured":"Dixit, A., Deval, V., Dwivedi, V., Norta, A., Draheim, D.: Towards user-centred and legally relevant smart-contract development: a systematic literature review. J. Ind. Inf. Integr. 26, 100314 (2022)","journal-title":"J. Ind. Inf. Integr."},{"key":"1260_CR43","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1109\/5254.941353","volume":"16","author":"J Gordijn","year":"2001","unstructured":"Gordijn, J., Akkermans, H.: Designing and evaluating e-business models. Intell. Syst. 16, 11\u201317 (2001). https:\/\/doi.org\/10.1109\/5254.941353","journal-title":"Intell. Syst."},{"key":"1260_CR44","doi-asserted-by":"crossref","unstructured":"G\u00f3mez, C., P\u00e9rez, F.J., Vara, J.M., De\u00a0Castro, V., Marcos, E.: Design and development of smart contracts for e-government through value and business process modeling. In: 54th Hawaii International Conference on System Sciences, HICSS 2021, Kauai, Hawaii, USA, January 5, 2021, pp. 1\u201310. ScholarSpace (2021)","DOI":"10.24251\/HICSS.2021.254"},{"key":"1260_CR45","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2023.103032","volume":"232","author":"G Daniel","year":"2024","unstructured":"Daniel, G., Cabot, J.: Applying model-driven engineering to the domain of chatbots: the Xatkit experience. Sci. Comput. Program. 232, 103032 (2024)","journal-title":"Sci. Comput. Program."},{"key":"1260_CR46","doi-asserted-by":"publisher","first-page":"475","DOI":"10.1016\/j.future.2019.12.019","volume":"105","author":"Z Zheng","year":"2020","unstructured":"Zheng, Z., Xie, S., Dai, H.-N., Chen, W., Chen, X., Weng, J., Imran, M.: An overview on smart contracts: challenges, advances and platforms. Future Gener. Comput. Syst. 105, 475\u2013491 (2020). https:\/\/doi.org\/10.1016\/j.future.2019.12.019","journal-title":"Future Gener. Comput. Syst."}],"container-title":["Software and Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-024-01260-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10270-024-01260-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-024-01260-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,4]],"date-time":"2025-06-04T06:27:55Z","timestamp":1749018475000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10270-024-01260-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,1,28]]},"references-count":46,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2025,6]]}},"alternative-id":["1260"],"URL":"https:\/\/doi.org\/10.1007\/s10270-024-01260-3","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"type":"print","value":"1619-1366"},{"type":"electronic","value":"1619-1374"}],"subject":[],"published":{"date-parts":[[2025,1,28]]},"assertion":[{"value":"14 March 2024","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"29 November 2024","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"21 December 2024","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"28 January 2025","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}