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.

Blockchain-Based Decentralized Cab Aggregator

“…The participant entities of the proposed system can be authenticated anonymously. Naipeng Dong et al [7] proposed a decentralized booking system that uses the blockchain as the intermediary between hoteliers and travelers. The system enjoys the trustworthiness of blockchain, improves efficiency and reduces the cost of the traditional booking agencies.…”