Integrating smart contracts into the modeling paradigm to harness the potential of models.
Saved in:
| Title: | Integrating smart contracts into the modeling paradigm to harness the potential of models. |
|---|---|
| Authors: | Gómez-Macías, Cristian1 (AUTHOR) cristian.gomez@urjc.es, Pérez-Blanco, Francisco Javier1 (AUTHOR) francisco.perez@urjc.es, Granada, David1 (AUTHOR) david.granada@urjc.es, Vara, Juan Manuel1 (AUTHOR) juanmanuel.vara@urjc.es |
| Source: | Software & Systems Modeling. Jun2025, Vol. 24 Issue 3, p823-842. 20p. |
| Subjects: | Engineering contracts, Blockchains, Contracts, Possibility |
| 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. [ABSTRACT FROM AUTHOR] |
| Copyright of Software & Systems Modeling is the property of Springer Nature and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.) | |
| Database: | Engineering Source |
|
Full text is not displayed to guests.
Login for full access.
|
|
| FullText | Links: – Type: pdflink Text: Availability: 1 |
|---|---|
| Header | DbId: egs DbLabel: Engineering Source An: 185686971 AccessLevel: 6 PubType: Academic Journal PubTypeId: academicJournal PreciseRelevancyScore: 0 |
| IllustrationInfo | |
| Items | – Name: Title Label: Title Group: Ti Data: Integrating smart contracts into the modeling paradigm to harness the potential of models. – Name: Author Label: Authors Group: Au Data: <searchLink fieldCode="AR" term="%22Gómez-Macías%2C+Cristian%22">Gómez-Macías, Cristian</searchLink><relatesTo>1</relatesTo> (AUTHOR)<i> cristian.gomez@urjc.es</i><br /><searchLink fieldCode="AR" term="%22Pérez-Blanco%2C+Francisco+Javier%22">Pérez-Blanco, Francisco Javier</searchLink><relatesTo>1</relatesTo> (AUTHOR)<i> francisco.perez@urjc.es</i><br /><searchLink fieldCode="AR" term="%22Granada%2C+David%22">Granada, David</searchLink><relatesTo>1</relatesTo> (AUTHOR)<i> david.granada@urjc.es</i><br /><searchLink fieldCode="AR" term="%22Vara%2C+Juan+Manuel%22">Vara, Juan Manuel</searchLink><relatesTo>1</relatesTo> (AUTHOR)<i> juanmanuel.vara@urjc.es</i> – Name: TitleSource Label: Source Group: Src Data: <searchLink fieldCode="JN" term="%22Software+%26+Systems+Modeling%22">Software & Systems Modeling</searchLink>. Jun2025, Vol. 24 Issue 3, p823-842. 20p. – Name: Subject Label: Subjects Group: Su Data: <searchLink fieldCode="DE" term="%22Engineering+contracts%22">Engineering contracts</searchLink><br /><searchLink fieldCode="DE" term="%22Blockchains%22">Blockchains</searchLink><br /><searchLink fieldCode="DE" term="%22Contracts%22">Contracts</searchLink><br /><searchLink fieldCode="DE" term="%22Possibility%22">Possibility</searchLink> – Name: Abstract Label: Abstract Group: Ab Data: 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. [ABSTRACT FROM AUTHOR] – Name: AbstractSuppliedCopyright Label: Group: Ab Data: <i>Copyright of Software & Systems Modeling is the property of Springer Nature and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract.</i> (Copyright applies to all Abstracts.) |
| PLink | https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=egs&AN=185686971 |
| RecordInfo | BibRecord: BibEntity: Identifiers: – Type: doi Value: 10.1007/s10270-024-01260-3 Languages: – Code: eng Text: English PhysicalDescription: Pagination: PageCount: 20 StartPage: 823 Subjects: – SubjectFull: Engineering contracts Type: general – SubjectFull: Blockchains Type: general – SubjectFull: Contracts Type: general – SubjectFull: Possibility Type: general Titles: – TitleFull: Integrating smart contracts into the modeling paradigm to harness the potential of models. Type: main BibRelationships: HasContributorRelationships: – PersonEntity: Name: NameFull: Gómez-Macías, Cristian – PersonEntity: Name: NameFull: Pérez-Blanco, Francisco Javier – PersonEntity: Name: NameFull: Granada, David – PersonEntity: Name: NameFull: Vara, Juan Manuel IsPartOfRelationships: – BibEntity: Dates: – D: 01 M: 06 Text: Jun2025 Type: published Y: 2025 Identifiers: – Type: issn-print Value: 16191366 Numbering: – Type: volume Value: 24 – Type: issue Value: 3 Titles: – TitleFull: Software & Systems Modeling Type: main |
| ResultId | 1 |
