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"/> School of Information and Communication Technology, Griffith University, N44 2.28, 170 Kessels Road Nathan, QLD, 4111, Australia e-mail: dcsdjs@nus.edu.sg"/>
Search
  • All Journals
Advanced Search
Search articles by Title, Author, Keywords, DOI
Submit Manuscript
7.7CiteScore
2.0Impact Factor
Advanced Search
MAP  >  The Knowledge Engineering Review
2020 Volume 35
Article Contents
Next Previous
RESEARCH ARTICLE   Open Access    

A blockchain-based decentralized booking system

  • 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

  • School of Information and Communication Technology, Griffith University, N44 2.28, 170 Kessels Road Nathan, QLD, 4111, Australia e-mail: dcsdjs@nus.edu.sg

More Information
  • 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.
  • 加载中
  • 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 Informatics36, 55–81.

    Google 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 Applications300, 257–262.

    Google Scholar

    DHLTrend Research . 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.

    Google Scholar

    IBMCorporation . 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 Access6, 2274–2278.

    Google 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 Journal5(2), 1184–1195.

    Google 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 Journal25(4), 1398–1411.

    Google Scholar

    PatentApplication (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.

    Google 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 Applications103, 185–193.

    Google Scholar

    Yang , Z. & Lei , H.2019. Fether: an extensible definitional interpreter for smart-contract verifications in coq. IEEE Access7, 37770–37791.

    Google Scholar

  • Cite this article

    Naipeng Dong, Guangdong Bai, Lung-Chen Huang, Edmund Kok Heng Lim, Jin Song Dong. 2020. A blockchain-based decentralized booking system. The Knowledge Engineering Review 35(1), doi: 10.1017/S0269888920000260
    Naipeng Dong, Guangdong Bai, Lung-Chen Huang, Edmund Kok Heng Lim, Jin Song Dong. 2020. A blockchain-based decentralized booking system. The Knowledge Engineering Review 35(1), doi: 10.1017/S0269888920000260
    shu
Download PDF

Article Metrics

Article views(59) PDF downloads(82)

Other Articles By Authors

RESEARCH ARTICLE   Open Access    

A blockchain-based decentralized booking system

  • 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

  • School of Information and Communication Technology, Griffith University, N44 2.28, 170 Kessels Road Nathan, QLD, 4111, Australia e-mail: dcsdjs@nus.edu.sg

  • Received: 16 June 2019
  • Revised: 15 March 2020
  • Accepted: 01 April 2020
  • Published online: 04 May 2020
The Knowledge Engineering Review  35,  2020, 35(1)  |  Cite this article

Abstract: 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.

    HTML

    Rights and permissions
    • © Cambridge University Press, 20202020Cambridge University Press
References (50)
  • About this article
    Cite this article
    Naipeng Dong, Guangdong Bai, Lung-Chen Huang, Edmund Kok Heng Lim, Jin Song Dong. 2020. A blockchain-based decentralized booking system. The Knowledge Engineering Review 35(1), doi: 10.1017/S0269888920000260
    Naipeng Dong, Guangdong Bai, Lung-Chen Huang, Edmund Kok Heng Lim, Jin Song Dong. 2020. A blockchain-based decentralized booking system. The Knowledge Engineering Review 35(1), doi: 10.1017/S0269888920000260
    shu

    • Catalog

      /

      DownLoad:  Full-Size Img  PowerPoint
      Return
      Return