Published September 11, 2022
| Version v1
Conference paper
Restricted
Smart Contract Design via Modeling Environment: A proposal based on DasContract DSL
- 1. Universidad de La Frontera
Description
Smart contracts are contracts made of executable code running on Blockchain platforms. DasContract was introduced in 2019-2020 as a domain-specific language (DSL) for smart contract modeling with the ability to generate code in a programming language (Solidity), yet its environment exhibits various limitations, both in technical and design aspects. In this work, we propose a user interface with improved usability that includes tools for syntax verification, develop a software prototype, demonstrate its usage with a case study, and identify future lines of research.