Skip to main content
SpringerLink
Log in
Book cover

Enterprise Engineering Working Conference

EEWC 2019: Advances in Enterprise Engineering XIII pp 149–166Cite as

Das Contract - A Visual Domain Specific Language for Modeling Blockchain Smart Contracts

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Business Information Processing ((LNBIP,volume 374))

Abstract

A Blockchain (BC) is a technology that introduces a decentralized, replicated, autonomous, and secure databases. A smart contract (SC) is a transaction embedded in the blockchain that contains executable code and its internal storage, offering immutable execution and record keeping. The SC has enormous potential in automating traditional paper contracts and encoding contract logic into program code. Thus, replacing the role of a notary and a central authority. It may dramatically reduce an effort with administration workload and enforcement of such contracts. In this paper, we propose a new visual domain specific language that can capture the SC in a user-friendly way and eliminate the errors associated with programming since the SC code is automatically generated from models. Finally, an open-source proof-of-concept environment for designing and generating the SC is introduced to demonstrate the feasibility of proposed concepts.

This is a preview of subscription content, 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   39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.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

Learn about institutional subscriptions

Notes

  1. 1.

    Satoshi Nakamoto is probably a pseudonym for either one person or a group of people, the identity is currently unknown.

References

  1. Metalex. http://metalex.eu/

  2. Allweyer, T.: BPMN 2.0: introduction to the standard for business process modeling. BoD-Books on Demand (2016)

    Google Scholar 

  3. Bechhofer, S., et al.: OWL Web Ontology Language Reference. Technical report, W3C, February 2004. http://www.w3.org/TR/owl-ref/

  4. Boer, A., Hoekstra, R., Winkels, R.: Metalex: legislation in xml. http://jurix.nl/pdf/j02-01.pdf

  5. Camunda: Script task, 29 January 2019. https://docs.camunda.org/manual/7.8/reference/bpmn20/tasks/script-task/

  6. Cherouana, A., Mahdaoui, L., Khadraoui, A.: BPM-based framework for e-government processes improvement: Legal requirements integration. Int. J. Intell. Inf. Database Syst. 10, 21 (2017)

    Google Scholar 

  7. Debreceny, R., Gray, G.L.: The production and use of semantically rich accounting reports on the Internet: XML and XBRL. Int. J. Acc. Inf. Syst. 2(1), 47–74 (2001)

    Article  Google Scholar 

  8. Dietz, J.: Enterprise Ontology Theory and Methodology. Springer, Berlin (2006)

    Book  Google Scholar 

  9. Dietz, J.: The discipline of enterprise engineering (2014). https://www.alexandria.unisg.ch/export/DL/224477.pdf. Accessed 25 Apr 2014

  10. Dietz, J.: DEMOSL-Specification: Version 3.4 (2016). https://doi.org/10.5281/zenodo.47471

  11. Dietz, J.: The delta theory - understanding discrete event systems, October 2017

    Google Scholar 

  12. Dietz, J.: The OMEGA theory - understanding the construction of organisations. Technical report (2017)

    Google Scholar 

  13. Estrella: Legal knowledge interchange format. http://www.estrellaproject.org/?page_id=5

  14. Ethereum: Ethereum project. https://ethereum.org/. Accessed 29 Nov 2017

  15. Garner, B.A.: Black’s Law Dictionary: Deluxe, 9th edn. West, Eagan (2009)

    Google Scholar 

  16. Garther: The reality of blockchain. https://www.gartner.com/smarterwithgartner/the-reality-of-blockchain/. Accessed 29 Jan 2019

  17. Google: Blockly. https://developers.google.com/blockly/. Accessed 29 Jan 2019

  18. Google: Introduction to blockly. https://developers.google.com/blockly/guides/overview. Accessed 29 Jan 2019

  19. Gouveia, D., Aveiro, D.: Colored Petri-Net for Implementing DEMO/PSI Transactions for N Actor Roles (N\(>\)=2) (2018)

    Google Scholar 

  20. Gouveia, D., Aveiro, D.: Modeling the system described by the EU general data protection regulation with DEMO. In: Aveiro, D., Guizzardi, G., Guerreiro, S., Guédria, W. (eds.) EEWC 2018. LNBIP, vol. 334, pp. 144–158. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-06097-8_9

    Chapter  Google Scholar 

  21. Governatori, G.: ICT Support for regulatory compliance of business processes (2014)

    Google Scholar 

  22. Group, A.N.: Akoma ntoso. http://www.akomantoso.org/

  23. Guizzardi, G.: Ontological Foundations for Structural Conceptual Models, vol. 015. University of Twente, Enschede (2005)

    MATH  Google Scholar 

  24. Guizzardi, G., Wagner, G., Almeida, J.P.A., Guizzardi, R.S.S.: Towards ontological foundations for conceptual modeling: the unified foundational ontology (UFO) story. Appl. Ontol. 10(3–4), 259–271 (2015)

    Article  Google Scholar 

  25. Hevner, A.: A three cycle view of design science research. Scand. J. Inf. Syst. 19(2) (2007). http://aisel.aisnet.org/sjis/vol19/iss2/4

  26. Hevner, A.R., March, S.T., Park, J., Ram, S.: Design science in information systems research. MIS Q. 28(1), 75–105 (2004)

    Article  Google Scholar 

  27. Hornáčková, B., Skotnica, M., Pergl, R.: Exploring a role of blockchain smart contracts in enterprise engineering. In: Aveiro, D., Guizzardi, G., Guerreiro, S., Guédria, W. (eds.) EEWC 2018. LNBIP, vol. 334, pp. 113–127. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-06097-8_7

    Chapter  Google Scholar 

  28. Kühnel, S.: Toward cost-effective business process compliance: a research agenda, pp. 2379–2384 (2017)

    Google Scholar 

  29. Lamela Seijas, P., Thompson, S.: Marlowe: financial contracts on blockchain. In: Margaria, T., Steffen, B. (eds.) ISoLA 2018. LNCS, vol. 11247, pp. 356–375. Springer, Cham (2018). https://doi.org/10.1007/978-3-030-03427-6_27

    Chapter  Google Scholar 

  30. Mannaert, H., De Bruyn, P., Verelst, J.: Exploring entropy in software systems: towards a precise definition and design rules. In: Proceedings of the Seventh International Conference on Systems (ICONS), Saint Gilles, Reunion Island, pp. 93–99 (2012)

    Google Scholar 

  31. Mascardi, V., Cordì, V., Rosso, P.: A comparison of upper ontologies. In: WOA (2007)

    Google Scholar 

  32. Mráz, O., Náplava, P., Pergl, R., Skotnica, M.: Converting DEMO PSI transaction pattern into BPMN: a complete method. In: Aveiro, D., Pergl, R., Guizzardi, G., Almeida, J.P., Magalhães, R., Lekkerkerk, H. (eds.) EEWC 2017. LNBIP, vol. 284, pp. 85–98. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-57955-9_7

    Chapter  Google Scholar 

  33. Mulder, M.A.T.: Validating the DEMO specification language. In: Aveiro, D., Guizzardi, G., Guerreiro, S., Guédria, W. (eds.) EEWC 2018. LNBIP, vol. 334, pp. 131–143. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-06097-8_8

    Chapter  Google Scholar 

  34. Nakamoto, S.: Bitcoin: a peer-to-peer electronic cash system (2009). http://www.bitcoin.org/bitcoin.pdf

  35. NEO: Neo smart contract introduction. http://docs.neo.org/en-us/sc/introduction.html. Accessed 2 Jan 2018

  36. Norta, A.: Designing a smart-contract application layer for transacting decentralized autonomous organizations. In: Singh, M., Gupta, P.K., Tyagi, V., Sharma, A., Ören, T., Grosky, W. (eds.) ICACDS 2016. CCIS, vol. 721, pp. 595–604. Springer, Singapore (2017). https://doi.org/10.1007/978-981-10-5427-3_61

    Chapter  Google Scholar 

  37. OASIS: Legalxml. http://www.legalxml.org. Accessed 29 Jan 2019

  38. Olbrich, S., Simon, C.: Process modelling towards e-government-visualisation and semantic modelling of legal regulations as executable process sets. Electron. J. E-gov. 6(1) (2008)

    Google Scholar 

  39. OMG: Business Process Model and Notation (BPMN), version 2.0, January 2011. http://www.omg.org/spec/BPMN/2.0

  40. OMG: Case Management Model and Notation (CMMN), version 1.1, December 2016. https://www.omg.org/spec/CMMN/1.1/

  41. OMG: Decision Model and Notation (DMN), version 1.2, January 2019. https://www.omg.org/spec/DMN/1.2/

  42. Preethi, K.: Eli5: What do we mean by “blockchains are trustless”? Medium. https://medium.com/@preethikasireddy/eli5-what-do-we-mean-by-blockchains-are-trustless-aa420635d5f6

  43. Process, J.C.: Jsr 223: Scripting for the Javatm platform. https://www.jcp.org/en/jsr/detail?id=223. Accessed 29 Jan 2019

  44. Rumbaugh, J., Jacobson, I., Booch, G.: Unified Modeling Language Reference Manual, 2nd edn. Pearson Higher Education, New York (2004)

    Google Scholar 

  45. Sadiq, S., Governatori, G., Namiri, K.: Modeling control objectives for business process compliance. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol. 4714, pp. 149–164. Springer, Heidelberg (2007). https://doi.org/10.1007/978-3-540-75183-0_12

    Chapter  Google Scholar 

  46. Siena, A.: Engineering law-compliant requirements: the nomos framework (2010)

    Google Scholar 

  47. Siena, A.: Engineering law-compliant requirements: the nomos framework. Ph.D. dissertation, University of Trento, March 2010

    Google Scholar 

  48. Skotnica, M., van Kervel, S.J.H., Pergl, R.: A DEMO machine - a formal foundation for execution of DEMO models. In: Aveiro, D., Pergl, R., Guizzardi, G., Almeida, J.P., Magalhães, R., Lekkerkerk, H. (eds.) EEWC 2017. LNBIP, vol. 284, pp. 18–32. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-57955-9_2

    Chapter  Google Scholar 

  49. Skotnica, M., van Kervel, S.J.H., Pergl, R.: Towards the ontological foundations for the software executable DEMO action and fact models. In: Aveiro, D., Pergl, R., Gouveia, D. (eds.) EEWC 2016. LNBIP, vol. 252, pp. 151–165. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-39567-8_10

    Chapter  Google Scholar 

  50. Soltana, G., Fourneret, E., Adedjouma, M., Sabetzadeh, M., Briand, L.: Using UML for modeling procedural legal rules: approach and a study of Luxembourg’s tax law. In: Dingel, J., Schulte, W., Ramos, I., Abrahão, S., Insfran, E. (eds.) MODELS 2014. LNCS, vol. 8767, pp. 450–466. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-11653-2_28

    Chapter  Google Scholar 

  51. Strahonja, V.: Modeling legislation by using UML state machine diagrams, pp. 624–627 (2006)

    Google Scholar 

  52. Swan, M.: Blockchain. O‘Reilly Media Inc, Sebastopol (2015)

    Google Scholar 

  53. Szabo, N.: Smart contracts: building blocks for digital markets. www.fon.hum.uva.nl (1996). http://www.fon.hum.uva.nl/rob/Courses/InformationInSpeech/CDROM/Literature/LOTwinterschool2006/szabo.best.vwh.net/smart_contracts_2.html

  54. Techopedia: Definition - what does unified modeling language (UML) mean? https://www.techopedia.com/definition/3243/unified-modeling-language-uml. Accessed 29 Jan 2019

  55. Tobler, C.: Essential Eu Competition Law in Charts. HVG-ORAC Publishing House Ltd., Budapest (2011)

    Google Scholar 

  56. Tobler, C., Beglinger, J.: Essential Eu Law in Charts, 4th edn. HVG-ORAC Publishing House Ltd., Budapest (2018)

    Google Scholar 

  57. Tobler, C., Beglinger, J.: Essential EU Law in Text, 4th edn. HVG-ORAC Publishing House Ltd, Budapest (2018)

    Google Scholar 

  58. Verdonck, M., Gailly, F., de Cesare, S., Poels, G.: Ontology-driven conceptual modeling: systematic literature mapping and review. Appl. Ontol. 10(3–4), 197–227 (2015)

    Article  Google Scholar 

  59. Xanthaki, H.: Drafting Legislation: Art and Technology of Rules for Regulation. Bloomsbury Publishing (2014). https://books.google.cz/books?id=AzLtBQAAQBAJ

Download references

Acknowledgement

This research has been supported by CTU SGS grant No. SGS18/120/OHK3/1T/18.

Author information

Authors and Affiliations

  1. Faculty of Information Technology, Czech Technical University, Prague, Czech Republic

    Marek Skotnica & Robert Pergl

Authors
  1. Marek Skotnica
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Robert Pergl
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Marek Skotnica .

Editor information

Editors and Affiliations

  1. University of Madeira, Funchal, Portugal

    David Aveiro

  2. Free University of Bozen-Bolzano, Bolzano, Italy

    Giancarlo Guizzardi

  3. University of Lisbon, Lisbon, Portugal

    José Borbinha

Rights and permissions

Reprints and permissions

Copyright information

© 2020 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

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. EEWC 2019. Lecture Notes in Business Information Processing, vol 374. Springer, Cham. https://doi.org/10.1007/978-3-030-37933-9_10

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-37933-9_10

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-37932-2

  • Online ISBN: 978-3-030-37933-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation