Integrating smart contracts into the modeling paradigm to harness the potential of models

【Author】 Gomez-Macias, Cristian; Perez-Blanco, Francisco Javier; Granada, David; Vara, Juan Manuel

【Source】SOFTWARE AND SYSTEMS MODELING

【影响因子】2.211

【Abstract】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 SmaC, 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 SmaC is its ability to impose a development pattern, which contributes to improved code quality and reduced vulnerabilities. The framework's 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.

【Keywords】Model-driven engineering; Domain-specific languages; Smart contracts

【发表时间】2025 2025 JAN 28

【收录时间】2025-04-07

【文献类型】

【主题类别】

--