Skip to main content
SpringerLink
Log in

A Complementary Approach for Smart Contract Design Using DasContract

  • Conference paper
  • First Online:
Information Technology and Systems (ICITS 2023)

Part of the book series: Lecture Notes in Networks and Systems ((LNNS,volume 692))

Included in the following conference series:

  • 211 Accesses

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 169.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 219.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    DasContract Web Editor: https://dascontracteditor.azurewebsites.net/.

  2. 2.

    DasContract Repository: https://github.com/CCMiResearch/DasContract.

  3. 3.

    bpmnlint: https://github.com/bpmn-io/bpmnlint.

  4. 4.

    DasContract Editor: https://black-plant-0fbebdc03.azurestaticapps.net.

  5. 5.

    Remix IDE: https://remix-project.org.

References

  1. Dietz JLG (2021) The DEMO specification language v4.5

    Google Scholar 

  2. 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

    Chapter  Google Scholar 

  3. Jani S (2020) Smart contracts: building blocks for digital transformation. Indira Gandhi National Open University

    Google Scholar 

  4. 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

  5. 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

  6. Nielsen J (2005) Ten usability heuristics. https://www.nngroup.com/articles/ten-usability-heuristics/. Accessed 20 Sept 2022

  7. OMG: business process model and notation (BPMN), version 2.0, January 2011

    Google Scholar 

  8. OMG: unified modeling language TM (OMG UML), version 2.5, December 2017

    Google Scholar 

  9. 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/

  10. 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

    Google Scholar 

  11. 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

    Chapter  Google Scholar 

  12. 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

  13. 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/

Download references

Acknowledgements

Partially supported by DIUFRO Grant DI21-0079.

Author information

Authors and Affiliations

  1. Universidad de La Frontera, Temuco, Chile

    Cristóbal Marinkovic, Julio Fenner, Óscar Ancán & Carlos Cares

Authors
  1. Cristóbal Marinkovic
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Julio Fenner
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Óscar Ancán
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Carlos Cares
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Cristóbal Marinkovic .

Editor information

Editors and Affiliations

  1. ISEG, University of Lisbon, Lisbon, Portugal

    Álvaro Rocha

  2. Facultade de Geografía e Historia, University of Santiago de Compostela, Santiago de Compostela, Spain

    Carlos Ferrás

  3. Departamento de Informática, Universidad Nacional de San Antonio Abad del Cusco, Cusco, Peru

    Waldo Ibarra

Rights and permissions

Reprints and permissions

Copyright information

© 2023 The Author(s), under exclusive license to Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

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

Publish with us

Policies and ethics

Search

Navigation