A blockchain-based decentralized booking system

Naipeng DONG; Guangdong BAI; Lung-Chen HUANG; Edmund Kok Heng LIM; Jin Song DONG

doi:10.1017/S0269888920000260

A blockchain-based decentralized booking system

Naipeng DONG, Guangdong BAI, Lung-Chen HUANG, Edmund Kok Heng LIM, Jin Song DONG

Research output: Journal Publications and Reviews › RGC 21 - Publication in refereed journal › peer-review

6 Citations (Scopus)

Abstract

Blockchain technology has rapidly emerged as a decentralized trusted network to replace the traditional centralized intermediator. Especially, the smart contracts that are based on blockchain allow users to define the agreed behaviour among them, the execution of which will be enforced by the smart contracts. Based on this, we propose a decentralized booking system that uses the blockchain as the intermediator between hoteliers and travellers. The system enjoys the trustworthiness of blockchain, improves efficiency and reduces the cost of the traditional booking agencies. The design of the system has been formally modelled using the CSP# language and verified using the model checker Process Analysis Toolkit. We have implemented a prototype decentralized booking system based on the Ethereum ecosystem. © Cambridge University Press, 2020.

Original language	English
Article number	e17
Number of pages	21
Journal	Knowledge Engineering Review
Volume	35
Online published	4 May 2020
DOIs	https://doi.org/10.1017/S0269888920000260
Publication status	Published - 2020
Externally published	Yes

Access Output

10.1017/S0269888920000260

Other Access Options

Check CityUHK Library

Permanent Link

Right click to copy link

Cite this

@article{3399fe69885746ed94fd25dfe6ddbb08,

title = "A blockchain-based decentralized booking system",

abstract = "Blockchain technology has rapidly emerged as a decentralized trusted network to replace the traditional centralized intermediator. Especially, the smart contracts that are based on blockchain allow users to define the agreed behaviour among them, the execution of which will be enforced by the smart contracts. Based on this, we propose a decentralized booking system that uses the blockchain as the intermediator between hoteliers and travellers. The system enjoys the trustworthiness of blockchain, improves efficiency and reduces the cost of the traditional booking agencies. The design of the system has been formally modelled using the CSP# language and verified using the model checker Process Analysis Toolkit. We have implemented a prototype decentralized booking system based on the Ethereum ecosystem. {\textcopyright} Cambridge University Press, 2020.",

author = "Naipeng DONG and Guangdong BAI and Lung-Chen HUANG and LIM, {Edmund Kok Heng} and DONG, {Jin Song}",

year = "2020",

doi = "10.1017/S0269888920000260",

language = "English",

volume = "35",

journal = "Knowledge Engineering Review",

issn = "0269-8889",

publisher = "Cambridge University Press",

}

TY - JOUR

T1 - A blockchain-based decentralized booking system

AU - DONG, Naipeng

AU - BAI, Guangdong

AU - HUANG, Lung-Chen

AU - LIM, Edmund Kok Heng

AU - DONG, Jin Song

PY - 2020

Y1 - 2020

N2 - Blockchain technology has rapidly emerged as a decentralized trusted network to replace the traditional centralized intermediator. Especially, the smart contracts that are based on blockchain allow users to define the agreed behaviour among them, the execution of which will be enforced by the smart contracts. Based on this, we propose a decentralized booking system that uses the blockchain as the intermediator between hoteliers and travellers. The system enjoys the trustworthiness of blockchain, improves efficiency and reduces the cost of the traditional booking agencies. The design of the system has been formally modelled using the CSP# language and verified using the model checker Process Analysis Toolkit. We have implemented a prototype decentralized booking system based on the Ethereum ecosystem. © Cambridge University Press, 2020.

AB - Blockchain technology has rapidly emerged as a decentralized trusted network to replace the traditional centralized intermediator. Especially, the smart contracts that are based on blockchain allow users to define the agreed behaviour among them, the execution of which will be enforced by the smart contracts. Based on this, we propose a decentralized booking system that uses the blockchain as the intermediator between hoteliers and travellers. The system enjoys the trustworthiness of blockchain, improves efficiency and reduces the cost of the traditional booking agencies. The design of the system has been formally modelled using the CSP# language and verified using the model checker Process Analysis Toolkit. We have implemented a prototype decentralized booking system based on the Ethereum ecosystem. © Cambridge University Press, 2020.

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

UR - https://www.scopus.com/record/pubmetrics.uri?eid=2-s2.0-85084851924&origin=recordpage

U2 - 10.1017/S0269888920000260

DO - 10.1017/S0269888920000260

M3 - RGC 21 - Publication in refereed journal

SN - 0269-8889

VL - 35

JO - Knowledge Engineering Review

JF - Knowledge Engineering Review

M1 - e17

ER -

A blockchain-based decentralized booking system

Abstract

Access Output

Other Access Options

Permanent Link

Other Files and Links

Fingerprint

Cite this