Hostname: page-component-cd9895bd7-dzt6s Total loading time: 0 Render date: 2024-12-21T08:00:29.316Z Has data issue: false hasContentIssue false
  • English
  • Français

A blockchain-based decentralized booking system

Part of: Distributed Ledger Technologies: Papers Arising from Three Australian Symposia

Published online by Cambridge University Press:  04 May 2020

Naipeng Dong Open the ORCID record for Naipeng Dong [Opens in a new window] ,
Guangdong Bai ,
Lung-Chen Huang ,
Edmund Kok Heng Lim  and
Jin Song Dong
Naipeng Dong
Affiliation:
School of Information Technology and Electrical Engineering, University of Queensland, General Purpose South Building (Building 78), St Lucia Campus, University of Queensland, Brisbane QLD, 4072, Australia e-mails: n.dong@uq.edu.au, g.bai@uq.edu.au School of Computing, National University of Singapore, COM1, 13 Computing Drive, 117417, Singapore e-mails: lungchenhuang@u.nus.edu, e0335737@u.nus.edu
Guangdong Bai
Affiliation:
School of Information Technology and Electrical Engineering, University of Queensland, General Purpose South Building (Building 78), St Lucia Campus, University of Queensland, Brisbane QLD, 4072, Australia e-mails: n.dong@uq.edu.au, g.bai@uq.edu.au
Lung-Chen Huang
Affiliation:
School of Computing, National University of Singapore, COM1, 13 Computing Drive, 117417, Singapore e-mails: lungchenhuang@u.nus.edu, e0335737@u.nus.edu
Edmund Kok Heng Lim
Affiliation:
School of Computing, National University of Singapore, COM1, 13 Computing Drive, 117417, Singapore e-mails: lungchenhuang@u.nus.edu, e0335737@u.nus.edu
Jin Song Dong
Affiliation:
School of Computing, National University of Singapore, COM1, 13 Computing Drive, 117417, Singapore e-mails: lungchenhuang@u.nus.edu, e0335737@u.nus.edu School of Information and Communication Technology, Griffith University, N44 2.28, 170 Kessels Road Nathan, QLD, 4111, Australia e-mail: dcsdjs@nus.edu.sg
Get access Rights & Permissions [Opens in a new window]

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.

Type
Research Article
Information
The Knowledge Engineering Review , Volume 35 , 2020 , e17
Copyright
© Cambridge University Press, 2020

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

Atlas. Atlas - A Universal Blockchain Platform for The Travel Industry. https://atlas.world/viewer/whitepaper.html, visited at 9 March 2020.Google Scholar
Bhargavan, K., Delignat-Lavaud, A., Fournet, C., Gollamudi, A. Gonthier, G., Kobeissi, N., Kulatova, N., Rastogi, A., Sibut-Pinote, T. & Swamy, N. 2016. Formal verification of smart contracts: Short paper. In ACM Workshop on Programming Languages and Analysis for Security, 91–96.Google Scholar
Biswas, K. & Muthukkumarasamy, V. 2016. Securing smart cities using blockchain technology. In 2016 IEEE 18th International Conference on High Performance Computing and Communications; IEEE 14th International Conference on Smart City; IEEE 2nd International Conference on Data Science and Systems (HPCC/SmartCity/DSS), 1392–1393.Google Scholar
Bore, N., Karumba, S., Mutahi, J., Darnell, S.S., Wayua, C. & Weldemariam, K. 2017. Towards blockchain-enabled school information Hub. In Ninth International Conference on Information and Communication Technologies and Development, 19.Google Scholar
Buterin, V. 2019. Ethereum White Paper. , visited at 15 June 2019.Google Scholar
Cachin, C. 2019. Architecture of the Hyperledger Blockchain Fabric. https://www.zurich.ibm.com/dccl/papers/cachin_dccl.pdf, visited at 15 June 2019.Google Scholar
Casino, F., Dasaklis, T. K. & Patsakis, C. 2019. A systematic literature review of blockchain-based applications: Current status, classification and open issues. Telematics and Informatics 36, 55–81.CrossRefGoogle Scholar
CBInsights. How Blockchain Could Disrupt Insurance. https://www.cbinsights.com/research/blockchain-insurance-disruption/, visited at 15 June 2019.Google Scholar
Chen, H., Pendleton, M., Njilla, L. & Xu, S. 2019. A Survey on Ethereum Systems Security: Vulnerabilities, Attacks and Defenses. https://arxiv.org/abs/1908.04507.Google Scholar
Chinchilla, C. 2019. A Next-Generation Smart Contract and Decentralized Application Platform (Ethereum White Paper). https://github.com/ethereum/wiki/wiki/White-Paper, 2019, visited at 14 March 2020.Google Scholar
De La Rosa, J. L., El-Fakdi, A., Torres, V. & Amengual, X. 2017. Logo recognition by consensus for enabling blockchain implementations. Frontiers in Artificial Intelligence and Applications 300, 257–262.Google Scholar
Trend Research, DHL. Blockchain in Logistics. https://www.logistics.dhl/content/dam/dhl/global/core/documents/pdf/glo-core-blockchain-trend-report.pdf, visited at 15 June 2019.Google Scholar
Dong, N. & Muller, T. 2018. The foul adversary: formal models. In International Conference on Formal Engineering Methods (ICFEM), 37–53.Google Scholar
Ethereum. https://www.ethereum.org/, visited at 14 June 2019.Google Scholar
French, J. 2019. BTU Protocol Launches BTU Hotel at CES, Drives Commissions to 0%. https://blocktelegraph.io/btu-protcol-hotel-ces/, January 6, 2019, visited at 9 March 2020.Google Scholar
GOeureka. GOeureka: Next-Gen Solution Shaping the Future of Online Hotel Booking. https://goeureka.io/, visited at 9 March 2020.Google Scholar
Hsiao, J. H., Tso, R., Chen, C. M. & Wu, M. E. 2018. Decentralized E-voting systems based on the blockchain technology. In Advances in Computer Science and Ubiquitous Computing, Lecture Notes in Electrical Engineering, 474, 305–309.CrossRefGoogle Scholar
Corporation, IBM. IBM Sterling Supply Chain. https://www.ibm.com/au-en/supply-chain, visited at 6 March 2020.Google Scholar
Kim, H. M. & Laskowski, M. 2016. Towards an Ontology-Driven Blockchain Design for Supply Chain Provenance. http://arxiv.org/abs/1610.02922, submitted 2016, visited at 6 March 2020.Google Scholar
Krietemeyer, M.-L. 2020. Blockchain Technologies Influence on Hotel Bookings. https://pdfs.semanticscholar.org/aa84/35b68db2a6f2081e877925cbf0ef3aeb7598.pdf, visited at 9 March 2020.Google Scholar
Kyriakarakos, G. & Papadakis, G. 2018. Microgrids for productive uses of energy in the developing world and blockchain: a promising future. Applied Sciences (Switzerland) 8(4), 580.Google Scholar
Lee, J.-H. 2018. BIDaaS: blockchain based ID as a service. IEEE Access 6, 2274–2278.CrossRefGoogle Scholar
Li, L., Dong, N., Pang, N., Sun, J., Bai, G., Liu, Y. & Dong, J.S. 2017. A verification framework for stateful security protocols. In International Conference on Formal Engineering Methods (ICFEM), 262–280.Google Scholar
Liang, G., Weller, S. R., Luo, F., Zhao, J. & Dong, Z. Y. 2018. Distributed blockchain-based data protection framework for modern power systems against cyber attacks. IEEE Transactions on Smart Grid. 10, 3162–3173.Google Scholar
Lin, Y., Sun, J., Tran, L., Bai, G., Wang, H. & Dong, J.S. 2018. Break the dead end of dynamic slicing: localizing data and control omission bug. In 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE), 509–519.Google Scholar
Lin, Y., Sun, J., Xue, Y., Liu, Y. & Dong, J.S. 2017. Feedback-based debugging. In 39th ACM SIGSOFT International Conference on Software Engineering (ICSE), 393–403.Google Scholar
Locktrip. BlockChain Hotels & Rentals Travel Marketplace with 0% Commissions. https://locktrip.com/, visited at 9 March 2020.Google Scholar
Luu, L. Chu, D.-H., Olickel, H., Saxena, P. & Hobor, A. 2016. Making smart contracts smarter. In ACM SIGSAC Conference on Computer and Communications Security, 254–269.Google Scholar
Marr, B. 2019. How Blockchain Will Transform The Supply Chain And Logistics Industry. https://www.forbes.com/sites/bernardmarr/2018/03/23/how-blockchain-will-transform-the-supply-chain-and-logistics-industry/#50e51e6d5fec, visited at 15 June 2019.Google Scholar
Morris, D. Z. 2019. Bitcoin is not just Digital Currency. It’s Napster for finance. http://fortune.com/2014/01/21/bitcoin-is-not-just-digital-currency-its-napster-for-finance/, visited at 15 June 2019.Google Scholar
Modi, R. 2019. Introduction to Blockchain, Ethererum and Samrt Contracts. https://medium.com/coinmonks/https-medium-com-ritesh-modi-solidity-chapter1-63dfaff08a11, visited at 14 June 2019.Google Scholar
Nakamoto, S. 2019. Bitcoin: A Peer-to-Peer Electronic Cash System. https://bitcoin.org/bitcoin.pdf, visited at 15 June 2019.Google Scholar
Narayanan, A., Bonneau, J., Felten, E., Miller, A. & Goldfeder, S. 2016. Bitcoin and Cryptocurrency Technologies: A Comprehensive Introduction, Princeton University Press.Google Scholar
Nguyen, D. T., Pham, L. H., Sun, J., Lin, Y. & Tran, M. Q. to appear. sFuzz: an efficient adaptive fuzzer for solidity smart contracts. In 42nd International Conference on Software Engineering (ICSE).Google Scholar
Novo, O. 2018. Blockchain meets IoT: an architecture for scalable access management in IoT. IEEE Internet of Things Journal 5(2), 1184–1195.CrossRefGoogle Scholar
PAT. , visited at 15 June 2019.Google Scholar
Patel, V. 2018. A framework for secure and decentralized sharing of medical imaging data via blockchain consensus. Health Informatics Journal 25(4), 1398–1411.Google Scholar
Application, Patent (Mastercard). Method and System for Travel Itinerary Bidding via Blockchain (Patent US20180157999). https://patents.justia.com/patent/20180157999, visited at 9 March 2020.Google Scholar
Rijmenam, M. V. 2019. 5 Ways How Blockchain Will Change the Travel Industry. https://vanrijmenam.nl/how-blockchain-changes-travel-industry/ , August 21, 2019, visited at 9 March 2020.Google Scholar
Sarasola, M. R. 2019. So Maybe You Figured Out What Blockchain is But What Can You Do With It? https://www.willistowerswatson.com/en-SG/insights/2018/06/emphasis-blockchain-use-in-insurance-from-theory-to-reality, visited at 15 June 2019.Google Scholar
Schwartz, D., Youngs, N. & Britto, A. 2014. The Ripple Protocol Consensus Algorithm. Ripple Labs Inc, White Paper 5.Google Scholar
Sun, J., Liu, Y., Dong, J. S. & Chen, C. Q. 2009. Integrating Specification and Programs for System Modeling and Verification. In the 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE), 127–135.Google Scholar
Sun, J., Liu, Y., Dong, J. S. & Pang, J. 2019. Pat: towards flexible verification under fairness. In International Conference on Computer Aided Verification, 709–714. Springer.CrossRefGoogle Scholar
Swan, M. 2015. Blockchain: Blueprint for a New Economy. OReilly Media, Inc.Google Scholar
Thin, W. Y. M. M., Dong, N., Bai, G. & Dong, J. S. 2018. Formal analysis of a proof-of-stake blockchain. In 23rd International Conference on Engineering of Complex Computer Systems (ICECCS), 197–200.Google Scholar
Vo, H. T., Mehedy, L., Mohania, M. & Abebe, E. 2017. Blockchain-based data management and analytics for micro-insurance applications. In ACM on Conference on Information and Knowledge Management, 2539–2542.Google Scholar
Wang, X., Sun, J., Chen, Z., Zhang, P., Wang, J. & Lin, Y. 2018. Towards optimal concolic testing. In 40th International Conference on Software Engineering (ICSE), 291–302.Google Scholar
Windingtree.com. https://windingtree.com/, visited at 9 March 2020.Google Scholar
Yang, C., Chen, X. & Xiang, Y. 2018. Blockchain-based publicly verifiable data deletion scheme for cloud storage. Journal of Network and Computer Applications 103, 185–193.CrossRefGoogle Scholar
Yang, Z. & Lei, H. 2019. Fether: an extensible definitional interpreter for smart-contract verifications in coq. IEEE Access 7, 37770–37791.Google Scholar