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

Kushal Soni; Olga De Troyer

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

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

Onderzoeksoutput: Conference paper

Samenvatting

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.

Originele taal-2	English
Titel	Blockchain – ICBC 2022 - 5th International Conference, Held as part of the Services Conference Federation, SCF 2022, Proceedings
Redacteuren	Shiping Chen, Rudrapatna K. Shyamasundar, Liang-Jie Zhang
Uitgeverij	Springer, Cham
Pagina's	61-77
Aantal pagina's	17
ISBN van geprinte versie	9783031234941
DOI's	https://doi.org/10.1007/978-3-031-23495-8_5
Status	Published - 2022
Evenement	ICBC: International Conference on Blockchain - Honolulu, Hawaii, United States Duur: 10 dec 2022 → 14 dec 2022 https://www.servicessociety.org/icbc

Publicatie series

Naam	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	13733 LNCS
ISSN van geprinte versie	0302-9743
ISSN van elektronische versie	1611-3349

Conference

Conference	ICBC: International Conference on Blockchain
Land	United States
Stad	Honolulu, Hawaii
Periode	10/12/22 → 14/12/22
Internet adres	https://www.servicessociety.org/icbc

Bibliografische nota

Publisher Copyright:
© 2022, The Author(s), under exclusive license to Springer Nature Switzerland AG.

Copyright:
Copyright 2023 Elsevier B.V., All rights reserved.

Toegang tot document

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

Link naar publicatie in Scopus

Citeer dit

Soni, K., & De Troyer, O. (2022). From Business-Level Specifications to Smart Contracts for Blockchain-Based Resource-Exchange Systems. In S. Chen, R. K. Shyamasundar, & L-J. Zhang (editors), Blockchain – ICBC 2022 - 5th International Conference, Held as part of the Services Conference Federation, SCF 2022, Proceedings (blz. 61-77). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 13733 LNCS). Springer, Cham. https://doi.org/10.1007/978-3-031-23495-8_5

Soni, Kushal ; De Troyer, Olga. / From Business-Level Specifications to Smart Contracts for Blockchain-Based Resource-Exchange Systems. Blockchain – ICBC 2022 - 5th International Conference, Held as part of the Services Conference Federation, SCF 2022, Proceedings. redacteur / Shiping Chen ; Rudrapatna K. Shyamasundar ; Liang-Jie Zhang. Springer, Cham, 2022. blz. 61-77 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{066ddf0fb39f4bb3a5302867ad8213a6,

title = "From Business-Level Specifications to Smart Contracts for Blockchain-Based Resource-Exchange Systems",

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.",

keywords = "Blockchain, Smart contract generation, resource exchange system, Framework, business people",

author = "Kushal Soni and {De Troyer}, Olga",

note = "Publisher Copyright: {\textcopyright} 2022, The Author(s), under exclusive license to Springer Nature Switzerland AG. Copyright: Copyright 2023 Elsevier B.V., All rights reserved.; ICBC: International Conference on Blockchain ; Conference date: 10-12-2022 Through 14-12-2022",

year = "2022",

doi = "https://doi.org/10.1007/978-3-031-23495-8_5",

language = "English",

isbn = "9783031234941",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer, Cham",

pages = "61--77",

editor = "Shiping Chen and Shyamasundar, {Rudrapatna K.} and Liang-Jie Zhang",

booktitle = "Blockchain – ICBC 2022 - 5th International Conference, Held as part of the Services Conference Federation, SCF 2022, Proceedings",

url = "https://www.servicessociety.org/icbc",

}

Soni, K & De Troyer, O 2022, From Business-Level Specifications to Smart Contracts for Blockchain-Based Resource-Exchange Systems. in S Chen, RK Shyamasundar & L-J Zhang (redactie), Blockchain – ICBC 2022 - 5th International Conference, Held as part of the Services Conference Federation, SCF 2022, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 13733 LNCS, Springer, Cham, blz. 61-77, ICBC: International Conference on Blockchain, Honolulu, Hawaii, United States, 10/12/22. https://doi.org/10.1007/978-3-031-23495-8_5

From Business-Level Specifications to Smart Contracts for Blockchain-Based Resource-Exchange Systems. / Soni, Kushal ; De Troyer, Olga.

Blockchain – ICBC 2022 - 5th International Conference, Held as part of the Services Conference Federation, SCF 2022, Proceedings. redactie / Shiping Chen; Rudrapatna K. Shyamasundar; Liang-Jie Zhang. Springer, Cham, 2022. blz. 61-77 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 13733 LNCS).

Onderzoeksoutput: Conference paper

TY - GEN

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

AU - Soni, Kushal

AU - De Troyer, Olga

PY - 2022

Y1 - 2022

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

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

KW - Blockchain

KW - Smart contract generation

KW - resource exchange system

KW - Framework

KW - business people

UR - http://www.scopus.com/inward/record.url?scp=85146727292&partnerID=8YFLogxK

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

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

M3 - Conference paper

SN - 9783031234941

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 61

EP - 77

BT - Blockchain – ICBC 2022 - 5th International Conference, Held as part of the Services Conference Federation, SCF 2022, Proceedings

A2 - Chen, Shiping

A2 - Shyamasundar, Rudrapatna K.

A2 - Zhang, Liang-Jie

PB - Springer, Cham

T2 - ICBC: International Conference on Blockchain

Y2 - 10 December 2022 through 14 December 2022

ER -

Soni K , De Troyer O. From Business-Level Specifications to Smart Contracts for Blockchain-Based Resource-Exchange Systems. In Chen S, Shyamasundar RK, Zhang L-J, redacteurs, Blockchain – ICBC 2022 - 5th International Conference, Held as part of the Services Conference Federation, SCF 2022, Proceedings. Springer, Cham. 2022. blz. 61-77. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/978-3-031-23495-8_5