Abstract
A smart contract is an agreement whose execution is automated or semi-automated. DasContract was introduced in 2019–2021 as a domain-specific language for smart-contract modeling, with the ability to generate code in a programming language. DasContract’s former modeling environment had various limitations, both technical and design related. Some of these limitations have previously been recognized in the literature in several dimensions. In this study, we propose further guidelines for contract modeling to address error prevention in the modeling environment, thus contributing to improved smart-contract specifications.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
Notes
- 1.
DasContract Web Editor: https://dascontracteditor.azurewebsites.net/.
- 2.
DasContract Repository: https://github.com/CCMiResearch/DasContract.
- 3.
bpmnlint: https://github.com/bpmn-io/bpmnlint.
- 4.
DasContract Editor: https://black-plant-0fbebdc03.azurestaticapps.net.
- 5.
Remix IDE: https://remix-project.org.
References
Dietz JLG (2021) The DEMO specification language v4.5
Hornáčková B, Skotnica M, Pergl R (2019) Exploring a role of blockchain smart contracts in enterprise engineering. In: Aveiro D, Guizzardi G, Guerreiro S, Guédria W (eds) Advances in enterprise engineering XII, vol 334. Lecture notes in business information processing. Springer, Cham, pp 113–127. https://doi.org/10.1007/978-3-030-06097-8_7
Jani S (2020) Smart contracts: building blocks for digital transformation. Indira Gandhi National Open University
Marinkovic C (2022) Software repository of smart contract design via modeling environment: a proposal based on DasContract DSL. https://doi.org/10.5281/ZENODO.7055613. https://zenodo.org/record/7055613. Language: en
Marinkovic C, López Fenner J, Ancán O, Cares C (2022) Smart contract design via modeling environment: a proposal based on DasContract DSL. https://doi.org/10.5281/ZENODO.7069040. https://zenodo.org/record/7069040. Publisher: Zenodo
Nielsen J (2005) Ten usability heuristics. https://www.nngroup.com/articles/ten-usability-heuristics/. Accessed 20 Sept 2022
OMG: business process model and notation (BPMN), version 2.0, January 2011
OMG: unified modeling language TM (OMG UML), version 2.5, December 2017
Porru S, Pinna A, Marchesi M, Tonelli R (2017) Blockchain-oriented software engineering: challenges and new directions. In: 2017 IEEE/ACM 39th international conference on software engineering companion (ICSE-C), Buenos Aires, Argentina. IEEE, pp 169–171. https://doi.org/10.1109/ICSE-C.2017.142. http://ieeexplore.ieee.org/document/7965292/
Skotnica M, Klicpera J, Pergl R (2020) Towards model-driven smart contract systems - code generation and improving expressivity of smart contract modeling. In: CIAO! Doctoral consortium, EEWC forum 2020, p 16
Skotnica M, Pergl R (2020) Das contract - a visual domain specific language for modeling blockchain smart contracts. In: Aveiro D, Guizzardi G, Borbinha J (eds) Advances in enterprise engineering XIII, vol 374. Lecture notes in business information processing. Springer, Cham, pp 149–166. https://doi.org/10.1007/978-3-030-37933-9_10
Szabo N (1996) Smart contracts: building blocks for digital markets. https://www.fon.hum.uva.nl/rob/Courses/InformationInSpeech/CDROM/Literature/LOTwinterschool2006/szabo.best.vwh.net/smart_contracts_2.html
Wohrer M, Zdun U (2020) From domain-specific language to code: smart contracts and the application of design patterns. IEEE Softw 37(5):37–42. https://doi.org/10.1109/MS.2020.2993470. https://ieeexplore.ieee.org/document/9089272/
Acknowledgements
Partially supported by DIUFRO Grant DI21-0079.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2023 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this paper
Cite this paper
Marinkovic, C., Fenner, J., Ancán, Ó., Cares, C. (2023). A Complementary Approach for Smart Contract Design Using DasContract. In: Rocha, Á., Ferrás, C., Ibarra, W. (eds) Information Technology and Systems. ICITS 2023. Lecture Notes in Networks and Systems, vol 692. Springer, Cham. https://doi.org/10.1007/978-3-031-33261-6_47
Download citation
DOI: https://doi.org/10.1007/978-3-031-33261-6_47
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-33260-9
Online ISBN: 978-3-031-33261-6
eBook Packages: Intelligent Technologies and RoboticsIntelligent Technologies and Robotics (R0)