Back
poem2024_smartcontractdsl
Public access from
28/04/2025
Book chapter

SmartCML: A Visual Modeling Language to Enhance the Comprehensibility of Smart Contract Implementations

BP2-STS

  • 2024
Published in:
  • Lecture Notes in Business Information Processing. - Springer Nature Switzerland. - 2024, p. 87-104
Blockchain
Smart contracts
Visual programming
Ethereum
Model-driven engineering
Domain-specific modeling language
English One of the most notable capabilities of blockchain technology, exemplified by the Ethereum platform, is the decentralized execution of deterministic code, commonly referred to as smart contracts. This can be employed to develop business services that capitalize on the unique properties of blockchain technology, including the ability to maintain immutable, transparent, and persistent records on a distributed ledger. Nevertheless, even experts may find the process of writing smart contracts challenging. In addition to cost, optimization, and security concerns, it is essential to ensure that the smart contracts align with the business case and the associated rules. To address this issue, we propose SmartCML, a domain-specific visual modeling language to draft smart contracts, with the primary objective of facilitating the communication of the codified information among relevant stakeholders. The modeling language has been implemented using the ADOxx metamodeling platform. Smart contract models can then be transformed into fully functional code for the Ethereum virtual machine. The application of the modeling language is demonstrated with the help of two use cases.
Faculty
Faculté des sciences économiques et sociales et du management
Department
Département d'informatique
Language
  • English
Classification
Computer science and technology
License
Rights reserved
Open access status
green
Identifiers
Persistent URL
https://folia.unifr.ch/unifr/documents/330859
Statistics
Document views: 16 File downloads:
  • poem2024_smartcontractdsl.pdf: 1