Nothing Special   »   [go: up one dir, main page]
Skip to main content
Springer Nature Link
Log in

From Business-Level Specifications to Smart Contracts for Blockchain-Based Resource-Exchange Systems

  • Conference paper
  • First Online:
Blockchain – ICBC 2022 (ICBC 2022)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 13733))

Included in the following conference series:

  • 361 Accesses

Abstract

Blockchain technology allows to store data in a secure and decentralized manner and can provide true ownership to the owners of the data. Therefore, it could be a good solution for applications where this is required. Resource-exchange systems are such a type of application. To allow to easily set up such systems using blockchain technology, we have introduced a framework that allows to generate such applications. The use of the framework does not require programming or blockchain knowledge. The range of applications that can be generated with the framework are applications for the management and exchange of resources across organizations and their customers. In this paper, we present the generation of the smart contracts from high-level specifications. We explain the mapping from the high-level user concepts used to specify a use case onto the technical concepts used in blockchain and smart contracts technology. We explain the different types of contracts generated as well as their role and functionality. The exchange of resources by means of these smart contracts is illustrated with some examples. We also discuss the limitations and further work.

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

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 44.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 59.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

Similar content being viewed by others

Notes

  1. 1.

    https://docs.soliditylang.org/.

  2. 2.

    https://www.rust-lang.org/.

  3. 3.

    Note that transactions between end users outside the use case system are always possible (since any wallet software facilitates this) and thus do not require interaction with any of the above specified contracts. This ensures that end users possess true ownership of their resources.

References

  1. Scherer, M.: Performance and scalability of blockchain networks and smart contracts (2017)

    Google Scholar 

  2. Underwood, S.: Blockchain beyond bitcoin. Commun. ACM. 59, 15–17 (2016). https://doi.org/10.1145/2994581

    Article  Google Scholar 

  3. Chauhan, A., Malviya, O.P., Verma, M., Mor, T.S.: Blockchain and scalability. In: Proceedings of 2018 IEEE 18th International Conference on Software Quality, Reliability and Security, QRS-C 2018. 122–128 (2018). https://doi.org/10.1109/QRS-C.2018.00034.

  4. Parizi, R.M., Dehghantanha, A.: Smart contract programming languages on blockchains: an empirical evaluation of usability and security. In: Chen, S., Wang, H., Zhang, L.J. (eds.) ICBC 2018. LNCS, vol. 10974, pp. 75–91. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-94478-4_6

  5. Soni, K.: A trustable platform for exchange of resources across organizations and their customers. In: Middleware 2019 - Proceedings of the 2019 20th International Middleware Conference Doctoral Symposium, Part of Middleware 2019, pp. 20–22. Association for Computing Machinery, Inc. (2019). https://doi.org/10.1145/3366624.3368160

  6. Soni, K., De Troyer, O.: Specifying blockchain-based resource-exchange systems by business-level users using a generic easy-to-use framework. In: Arai, K. (eds.) Proceedings of the Future Technologies Conference (FTC) 2022, Volume 2. LNNS, vol 560, Springer, Cham (2023). https://doi.org/10.1007/978-3-031-18458-1_3

  7. Soni, K., De Troyer, O.: Generating smart contracts for blockchain-based resource-exchange systems. In: Pardede, E., Delir Haghighi, P., Khalil, I., Kotsis, G. (eds.) Information Integration and Web Intelligence, iiWAS 2022. LNCS, vol 13635, Springer, Cham (2022). https://doi.org/10.1007/978-3-031-21047-1_9

  8. ERC20 Token Generator | Create ERC20 Token for FREE. https://vittominacori.github.io/erc20-generator/. Accessed 05 Aug 2021

  9. Buterin, V.: Ethereum: a next-generation smart contract and decentralized application platform (2014)

    Google Scholar 

  10. Regnath, E., Steinhorst, S.: SmaCoNat: smart contracts in natural language. In: 2018 Forum on Specification & Design Languages (FDL) (2018). https://doi.org/10.1109/FDL.2018.8524068.

  11. Frantz, C.K., Nowostawski, M.: From institutions to code: towards automated generation of smart contracts. In: Proceedings - IEEE 1st International Workshops on Foundations Applications of Self-Systems, FAS-W 2016, pp. 210–215 (2016). https://doi.org/10.1109/FAS-W.2016.53.

  12. He, X., Qin, B., Zhu, Y., Chen, X., Liu, Y.: SPESC: a specification language for smart contracts. In: Proceedings - International Computing Software Application Conference, vol. 1, pp. 132–137 (2018). https://doi.org/10.1109/COMPSAC.2018.00025.

  13. Zhu, Y., Song, W., Wang, D., Ma, D., Chu, W.C.C.: TA-SPESC: toward asset-driven smart contract language supporting ownership transaction and rule-based generation on blockchain. IEEE Trans. Reliab. 70, 1255–1270 (2021). https://doi.org/10.1109/TR.2021.3054617

    Article  Google Scholar 

  14. Zupan, N., Kasinathan, P., Cuellar, J., Sauer, M.: Secure smart contract generation based on petri nets. In: Rosa Righi, Rodrigo da, Alberti, Antonio Marcos, Singh, Madhusudan (eds.) Blockchain Technology for Industry 4.0. BT, pp. 73–98. Springer, Singapore (2020). https://doi.org/10.1007/978-981-15-1137-0_4

    Chapter  Google Scholar 

  15. Allouche, M., Mitrea, M., Moreaux, A., Kim, S.K.: Automatic smart contract generation for internet of media things. ICT Express. 7, 274–277 (2021). https://doi.org/10.1016/J.ICTE.2021.08.009

    Article  Google Scholar 

  16. Choudhury, O., Rudolph, N., Sylla, I., Fairoza, N., Das, A.: Auto-generation of smart contracts from domain-specific ontologies and semantic rules. In: Proceedings - IEEE 2018 International Congress Cybermatics 2018 IEEE Conference on Internet Things, Green Computing Communication Cyber, Physical Society Computing Smart Data, Blockchain, Computing Information Technology iThings/Gree, pp. 963–970 (2018). https://doi.org/10.1109/CYBERMATICS_2018.2018.00183.

  17. Lu, Q., et al.: Integrated model-driven engineering of blockchain applications for business processes and asset management. Softw. Pract. Exp. 51, 1059–1079 (2021). https://doi.org/10.1002/SPE.2931

    Article  Google Scholar 

  18. Tran, A.B., Lu, Q., Weber, I.: Lorikeet: a model-driven engineering tool for blockchain-based business process execution and asset management. In: 16th International Conference on Business Process Management, Sydney, Australia, p. 5 (2018)

    Google Scholar 

  19. Tran, A.B., Xu, S., Weber, I., Staples, M., Rimba, P.: Regerator: a registry generator for blockchain. In: 29th International Conference on Advanced Information Systems Engineering (CaiSE2017), Essen, Germany, pp. 81–88 (2017).

    Google Scholar 

  20. Fournier, F., Skarbovsky, I.: Enriching smart contracts with temporal aspects. In: Joshi, J., Nepal, S., Zhang, Q., Zhang, L.-J. (eds.) ICBC 2019. LNCS, vol. 11521, pp. 126–141. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-23404-1_9

    Chapter  Google Scholar 

  21. Home | ethereum.org. https://ethereum.org/en/. Accessed 02 June 2022

  22. Polygon. https://polygon.technology/. Accessed 04 June 2022

  23. Mahmoud, Q.H., Lescisin, M., AlTaei, M.: Research challenges and opportunities in blockchain and cryptocurrencies. Internet Technol. Lett. 2, e93 (2019). https://doi.org/10.1002/ITL2.93

    Article  Google Scholar 

  24. Nguyen, G.T., Kim, K.: A survey about consensus algorithms used in blockchain. J. Inf. Process. Syst. 14, 101–128 (2018). https://doi.org/10.3745/JIPS.01.0024

    Article  Google Scholar 

  25. Sorensen, D.: Establishing standards for consensus on blockchains. In: Joshi, J., Nepal, S., Zhang, Q., Zhang, LJ. (eds.) ICBC 2019. LNCS, vol. 11521, pp. 18–33. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-23404-1_2/FIGURES/3

  26. Christidis, K., Devetsikiotis, M.: Blockchains and smart contracts for the internet of things. IEEE Access. 4, 2292–2303 (2016). https://doi.org/10.1109/ACCESS.2016.2566339

    Article  Google Scholar 

  27. Giancaspro, M.: Is a ‘smart contract’ really a smart idea? Insights from a legal perspective. Comput. Law Secur. Rev. 33, 825–835 (2017). https://doi.org/10.1016/J.CLSR.2017.05.007

    Article  Google Scholar 

  28. ERC | Ethereum Improvement Proposals. https://eips.ethereum.org/erc. Accessed 09 Mar 2022

  29. Macdonald, M., Liu-Thorrold, L., Julien, R.: The blockchain: a comparison of platforms and their uses beyond bitcoin (2017). https://doi.org/10.13140/RG.2.2.23274.52164

Download references

Author information

Authors and Affiliations

  1. Computer Science Department, Vrije Universiteit Brussel, Brussels, Belgium

    Kushal Soni & Olga De Troyer

Authors
  1. Kushal Soni
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Olga De Troyer
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Kushal Soni .

Editor information

Editors and Affiliations

  1. CSIRO Data61 and UNSW, Canberra, ACT, Australia

    Shiping Chen

  2. Indian Institute of Technology Bombay, Mumbai, India

    Rudrapatna K. Shyamasundar

  3. Kingdee International Software Group Co., Ltd., Shenzhen, China

    Liang-Jie Zhang

Rights and permissions

Reprints and permissions

Copyright information

© 2022 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

Soni, K., De Troyer, O. (2022). From Business-Level Specifications to Smart Contracts for Blockchain-Based Resource-Exchange Systems. In: Chen, S., Shyamasundar, R.K., Zhang, LJ. (eds) Blockchain – ICBC 2022. ICBC 2022. Lecture Notes in Computer Science, vol 13733. Springer, Cham. https://doi.org/10.1007/978-3-031-23495-8_5

Download citation

  • DOI: https://doi.org/10.1007/978-3-031-23495-8_5

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-031-23494-1

  • Online ISBN: 978-3-031-23495-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation