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.

中文翻译：

---

基于区块链的去中心化预订系统

区块链技术作为去中心化的可信网络迅速崛起，取代了传统的中心化中介。特别是基于区块链的智能合约允许用户定义它们之间的约定行为，其执行将由智能合约强制执行。基于此，我们提出了一个去中心化的预订系统，该系统使用区块链作为酒店经营者和旅行者之间的中介。该系统享有区块链的可信度，提高了效率，降低了传统预订机构的成本。系统的设计已经使用 CSP# 语言进行了正式建模，并使用模型检查器 Process Analysis Toolkit 进行了验证。我们已经实现了一个基于以太坊生态系统的原型去中心化预订系统。