Model Driven Engineering tool aimed at the generation of Smart Contracts for the Ethereum Blockchain platform

Authors

DOI:

https://doi.org/10.24054/rcta.v1i43.2778

Keywords:

Blockchain, Ethereum, MDE, Smart Contract, Solidity

Abstract

Blockchain technology is growing at a rapid pace in different environments. Smart contracts (SC) are immutable decentralized programs for Blockchain platforms that enforce, monitor and execute agreements, without the intervention of a trusted third party. But, due to their specificities, their development is a complicated process, as there are architectural concerns of each platform, which developers must understand. In this paper, we present a Model Driven Engineering tool intended for the generation of SC for the Ethereum Blockchain platform, for the Solidity programming language. This tool is composed of a Platform Specific Metamodel and a Model to Text Transformation, which allow generating the source code of the SCs. Also, we present a proof of concept where we generate and implement a metamodel, a model and deploy SC in a healthcare environment. The results are satisfactory in terms of the syntax of the generated SCs.

Downloads

Download data is not yet available.

Author Biographies

Edgar Roberto Dulce Villarreal, Universidad Nacional Abierta y a Distancia

Master's degree, Doctoral candidate, University of Cauca.

Julio Ariel Hurtado Alegría, Universidad del Cauca

Doctor in Science, with a specialization in Computer Science.

Eduard Antonio Mantilla Torres, Universidad Nacional Abierta y a Distancia

Master's in Security, Expertise, and Audit in Computer Processes.

Yenny Stella Núñez Álvarez, Universidad Nacional Abierta y a Distancia

Specialization in Computer Security, Master's in Cybersecurity.

José Manuel García Alonso, Universidad de Extremadura

Doctor in Information Technologies.

References

B. Aldughayfiq and S. Sampalli, “Digital Health in Physicians’ and Pharmacists’ Office: A Comparative Study of e-Prescription Systems’ Architecture and Digital Security in Eight Countries,” OMICS, vol. 25, no. 2, pp. 102–122, 2021, doi: 10.1089/omi.2020.0085. DOI: https://doi.org/10.1089/omi.2020.0085

S. Nakamoto, “Bitcoin: A peer-to-peer electronic cash system,” Decentralized Business Review, p. 21260, 2008.

W. Zou et al., “Smart contract development: Challenges and opportunities,” ITSE, vol. 47, no. 10, pp. 2084–2106, 2019. DOI: https://doi.org/10.1109/TSE.2019.2942301

P. Wackerow, “Documentación De Desarrollo De Ethereum,” Aug. 2022.

G. A. Oliva, et al., “An exploratory study of smart contracts in the Ethereum blockchain platform,” ESE, vol. 25, no. 3, pp. 1864–1904, 2020, doi: 10.1007/s10664-019-09796-5. DOI: https://doi.org/10.1007/s10664-019-09796-5

E. R. D. Villarreal, et al., “Blockchain for Healthcare Management Systems: A Survey on Interoperability and Security,” IEEE Access, vol. 11, pp. 5629–5652, Jan. 2023, doi: 10.1109/ACCESS.2023.3236505. DOI: https://doi.org/10.1109/ACCESS.2023.3236505

M. Hamdaqa, et al., “IcontractML: A domain-specific language for modeling and deploying smart contracts onto multiple blockchain platforms,”, SAM 2020, 2020, pp. 34–44. doi: 10.1145/3419804.3421454. DOI: https://doi.org/10.1145/3419804.3421454

I. Qasse, et al., “IContractBot: A Chatbot for Smart Contracts’ Specification and Code Generation,”, BotSE 2021, 2021, pp. 35–38. doi: 10.1109/BotSE52550.2021.00015. DOI: https://doi.org/10.1109/BotSE52550.2021.00015

D. Macrinici, et al., “Smart contract applications within blockchain technology: A systematic mapping study,” TIS, vol. 35, no. 8, pp. 2337–2354, 2018, doi: 10.1016/j.tele.2018.10.004. DOI: https://doi.org/10.1016/j.tele.2018.10.004

H. Jin, X, et al. “Towards a novel architecture for enabling interoperability amongst multiple blockchains,”, ICDCS, 2018, pp. 1203–1211. DOI: https://doi.org/10.1109/ICDCS.2018.00120

W. Nam and H. Kil, “Formal Verification of Blockchain Smart Contracts via ATL Model Checking,” IEEE Access, vol. PP, p. 1, Aug. 2022, doi: 10.1109/ACCESS.2022.3143145. DOI: https://doi.org/10.1109/ACCESS.2022.3143145

M. Brambilla, et al., Model-Driven Software Engineering in Practice: 2E, Milán, 2017. DOI: https://doi.org/10.1007/978-3-031-02549-5

J. García, et al., “Desarrollo de Software Dirigido por Modelos Conceptos, Métodos y Herramientas”, Madrid, 2013.

F. Budinsky, Eclipse modeling framework: a developer’s guide. AWP, 2004.

N. Sanchez, et al., (05, 2022) Blockchain smart contract meta-modeling. Disponible: https://digital.cic.gba.gob.ar/handle/11746/11403.

M. Hamdaqa, et al., “iContractML 2.0: A domain-specific language for modeling and deploying smart contracts onto multiple blockchain platforms,” IST, vol. 144, p. 106762, Apr. 2022, doi: 10.1016/J.INFSOF.2021.106762. DOI: https://doi.org/10.1016/j.infsof.2021.106762

G. C. Velasco, et al., “Evaluation of a High-Level Metamodel for Developing Smart Contracts on the Ethereum Virtual Machine,” in AWB, 2023, pp. 29–42. DOI: https://doi.org/10.5753/wblockchain.2023.757

Downloads

Additional Files

Published

2024-02-21 — Updated on 2024-02-21

How to Cite

[1]
E. R. Dulce Villarreal, J. A. Hurtado Alegría, E. A. Mantilla Torres, Y. S. Núñez Álvarez, and J. M. García Alonso, “Model Driven Engineering tool aimed at the generation of Smart Contracts for the Ethereum Blockchain platform”, RCTA, vol. 1, no. 43, pp. 1–8, Feb. 2024.

Issue

Vol. 1 No. 43 (2024): January - June

Section

Artículos

License

Copyright (c) 2024 COLOMBIAN JOURNAL OF ADVANCED TECHNOLOGIES

Creative Commons License

This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License.

Crossref
Scopus
Google Scholar
Europe PMC

Most read articles by the same author(s)