Svetislav Simić
ABSTRACT
This paper presents theoretical and practical research on the possibilities of applying smart contracts in the field of law and a contract management system which allows users to conclude contracts based on blockchain technology. The transition from traditional contracting to smart contracting would significantly improve the contracting process as contracts concluded in this way would be without intermediaries. Therefore, they could be concluded more efficiently and the costs related to the contracts could be reduced. Allotment contract was selected as an example, i.e., a contract by which the hotel representative assigns certain accommodation capacities to a travel agency and by which the agency provides those capacities in their arrangements. A smart allotment contract has been written using the Solidity programming language, to run on the Ethereum platform.
- Boulmakoul Abdel and Sallé Mathias. 2002. Integrated contract management. In Proceedings of the 9th Workshop of the HP OpenView University Association, July, 2002.Google Scholar
- The Law of Contract and Torts. 1978. Official Gazette RS, No. 29. Retrieved February 9, 2021 from http://www.pravno-informacioni-sistem.rs/SlGlasnikPortal/eli/rep/slsfrj/skupstina/zakon/1978/29/1/regGoogle Scholar
- Nick Szabo. 1994. Smart contracts. Unpublished manuscript, 26 pages.Google Scholar
- Nick Szabo. 1997. Formalizing and securing relationships on public networks. First Monday 2, 9 (1 September 1997). https://doi.org/10.5210/fm.v2i9.548Google Scholar
- Josh Stark. 2016. Making Sense of Blockchain Smart Contracts. (4 June 2016). Retrieved February 9, 2021 from https://www.coindesk.com/making-sense-smart-contractsGoogle Scholar
- Maher Alharby and Aad van Moorsel. 2017. Blockchain-based smart contracts: A systematic mapping study. arXiv:1710.06372. Retrieved February 9, 2021 from https://arxiv.org/abs/1710.06372Google Scholar
- Xiwei Xu, 2016. The blockchain as a software connector. In 2016 13th Working IEEE/IFIP Conference on Software Architecture (WICSA), April 5-8, 2016, Venice, Italy. IEEE, 182-191. https://doi.org/10.1109/WICSA.2016.21Google ScholarCross Ref
- Debajani Mohanty. 2018. Ethereum for Architects and Developers. Apress Media LLC, Berkeley, California, USA. https://doi.org/10.1007/978-1-4842-4075-5_2 Google ScholarDigital Library
- Solidity: programming language. Retrieved February 9, 2021 from https://solidity.readthedocs.ioGoogle Scholar
- Umesh Bodkhe, Pronaya Bhattacharya, Sudeep Tanwar, Sudhanshu Tyagi, Neeraj Kumar, and M. S. Obaidat. 2019. BloHosT: Blockchain enabled smart tourism and hospitality management. In 2019 International Conference on Computer, Information and Telecommunication Systems (CITS), August 28-31, 2019, Beijing, China. IEEE, 1-5. https://doi.org/10.1109/CITS.2019.8862001Google ScholarCross Ref
- ArabianChain Technology. 2017. ArabianChain. Retrieved February 9, 2021 from https://www.arabianchain.org/Google Scholar
- Chibuzor Udokwu, Aleksandr Kormiltsyn, Kondwani Thangalimodzi, and Alex Norta. 2018. The state of the art for blockchain-enabled smart-contract applications in the organization. In 2018 Ivannikov Ispras Open Conference (ISPRAS), November 22-23, 2018, Moscow, Russia. IEEE, 137-144. https://doi.org/10.1109/ISPRAS.2018.00029Google ScholarCross Ref
- Bhabendu Kumar Mohanta, Soumyashree S. Panda, and Debasish Jena. 2018. An overview of smart contract and use cases in blockchain technology. In 2018 9th International Conference on Computing, Communication and Networking Technologies (ICCCNT), July 10-12, 2018, Bangalore, India. IEEE, 1-4. https://doi.org/10.1109/ICCCNT.2018.8494045Google ScholarCross Ref
- Richard Gendal Brown. 2018. The corda platform: An introduction. (May 2018). Retrieved February 9, 2021 from https://www.r3.com/wp-content/uploads/2019/06/corda-platform-whitepaper.pdfGoogle Scholar
- R3: DLT & Blockchain Software Development Company. Retrieved February 9, 2021 from https://www.r3.comGoogle Scholar
- Joel Clark. 2018. Blockchain Initiative of the Year 2018: The Nominees. (March 2018). Retrieved February 9, 2021 from https://www.fnlondon.com/articles/blockchain-initiative-of-the-year-2018-the-nominees-20180325Google Scholar
- Rentberry: Apartments for Rent Worldwide. Retrieved February 9, 2021 from https://rentberry.comGoogle Scholar
- Hyperledger: Open Source Blockchain Technologies. Retrieved February 9, 2021 from https://www.hyperledger.org/Google Scholar
- Hyperledger Fabric: distributed ledger software. Retrieved February 9, 2021 from https://www.hyperledger.org/projects/fabricGoogle Scholar
- Elli Androulaki, 2018. Hyperledger fabric: a distributed operating system for permissioned blockchains. In Proceedings of the Thirteenth EuroSys Conference (EuroSys '18), April 23-26, 2018, Porto, Portugal. ACM Inc., New York, NY, USA, 1-15. https://doi.org/10.1145/3190508.3190538 Google ScholarDigital Library
- JavaScript: high-level and multi-paradigm programming language. Retrieved February 9, 2021 from https://www.javascript.com/Google Scholar
- Go: high-level and multi-paradigm programming language developed at Google. Retrieved February 9, 2021 from https://golang.org/Google Scholar
- Java: object-oriented programming language. Retrieved February 9, 2021 from https://www.java.com/Google Scholar
- Allotment Contract Form. Retrieved February 9, 2021 from http://www.biroaura.co.rs/pdf/ostalo/ugovori/ugovor_o_alotmanu.pdfGoogle Scholar
- Github repository of implemented solution. Retrieved February 9, 2021 from https://github.com/SimicSvetislav/allotment-smart-contractsGoogle Scholar
- Angular: platform for building mobile and desktop web applications. Retrieved February 9, 2021 from https://angular.io/Google Scholar
- Spring: open-source application framework for Java platform. Retrieved February 10, 2021 from https://spring.io/projects/spring-frameworkGoogle Scholar
- Spring Boot: open-source application framework for Java platform. Retrieved February 10, 2021 from https://spring.io/projects/spring-bootGoogle Scholar
- MySQL: relational database management system. Retrieved February 10, 2021 from https://www.mysql.com/Google Scholar
- Web3j: Java and Android library for working with smart contracts and integrating with clients (nodes) on the Ethereum network. Retrieved February 10, 2021 from https://www.web3labs.com/web3jGoogle Scholar
- Remix: web-based Ethereum IDE. Retrieved February 10, 2021 from https://remix.ethereum.org/Google Scholar
- Smart contract source code. Retrieved February 10, 2021 from https://github.com/SimicSvetislav/allotment-smart-contracts/blob/master/contracts/Allotment.solGoogle Scholar
- Safe Math: library for Solidity programming language. Retrieved February 10, 2021 from https://github.com/OpenZeppelin/openzeppelin-contracts/blob/master/contracts/math/SafeMath.solGoogle Scholar
- Strings: string utility library for Solidity programming language. Retrieved February 10, 2021 from https://github.com/Arachnid/solidity-stringutils/blob/master/src/strings.solGoogle Scholar
- BokkyPooBah's DateTimeLibrary: a gas-efficient date and time library for Solidity programming language. Retrieved February 10, 2021 from https://github.com/bokkypoobah/BokkyPooBahsDateTimeLibrary/blob/master/contracts/BokkyPooBahsDateTimeLibrary.solGoogle Scholar
- DateUtilsLibrary: utility library for calculations with dates for Solidity programming language. Retrieved February 10, 2021 from https://github.com/SimicSvetislav/allotment-smart-contracts/blob/master/contracts/DateUtilsLibrary.solGoogle Scholar
- Spring security: authentication and access-control framework. Retrieved February 10, 2021 from https://spring.io/projects/spring-securityGoogle Scholar
- JSON web tokens: RFC 7519 method for representing claims securely between two parties. Retrieved February 10, 2021 from https://jwt.io/Google Scholar
- Ganache CLI: A fast and customizable blockchain emulator. Retrieved February 10, 2021 from https://www.trufflesuite.com/docs/ganache/overviewGoogle Scholar
- Mike Pumphrey. 2017. TESTRPC IS NOW GANACHE. (26 December 2017). Retrieved February 10, 2021 from https://www.trufflesuite.com/blog/testrpc-is-now-ganacheGoogle Scholar
- Ganache CLI options. Retrieved February 10, 2021 from https://github.com/trufflesuite/ganache-cli/#user-content-optionsGoogle Scholar
- ETH Gas Station: consumer-oriented metrics for the Ethereum gas market. Retrieved February 10, 2021 from https://ethgasstation.info/calculatorTxV.phpGoogle Scholar
- Etherscan: leading BlockChain Explorer, Search, API and Analytics Platform for Ethereum. Retrieved February 10, 2021 from https://etherscan.io/verifyContractGoogle Scholar
- Karthikeyan Bhargavan, 2016. Formal verification of smart contracts: Short paper. In Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security (PLAS ’16), October 24, 2016, Vienna, Austria. ACM Inc., New York, NY, USA, 91-96. https://doi.org/10.1145/2993600.2993611 Google ScholarDigital Library
- Daniele Magazzeni, Peter McBurney, and William Nash. 2017. Validation and verification of smart contracts: A research agenda. Computer 50, 9 (22 September 2017), 50-57. https://doi.org/10.1109/MC.2017.3571045Google Scholar
- Bill Marino and Ari Juels. 2016. Setting standards for altering and undoing smart contracts. In International Symposium on Rules and Rule Markup Languages for the Semantic Web (RuleML 2016), July 6-9, 2016, Stony Brook, NY, USA. Springer, Cham, 151-166. https://doi.org/10.1007/978-3-319-42019-6_10Google ScholarCross Ref
- Nicola Atzei, Massimo Bartoletti, and Tiziana Cimoli. 2017. A survey of attacks on Ethereum smart contracts (SoK). In International Conference on Principles of Security and Trust (POST 2017), April 22-29, 2017, Uppsala, Sweden. Springer, Berlin, Heidelberg, 164-186. https://doi.org/10.1007/978-3-662-54455-6_8 Google ScholarDigital Library
- OYENTE: An Analysis Tool for Smart Contracts. Retrieved February 10, 2021 from https://github.com/melonproject/oyenteGoogle Scholar
- Loi Luu, Duc-Hiep Chu, Hrishi Olickel, Prateek Saxena, and Aquinas Hobor. 2016. Making smart contracts smarter. In Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security (CCS ‘16), October 24-28, 2016, Vienna, Austria. ACM Inc., New York, NY, USA, 254-269. https://doi.org/10.1145/2976749.2978309 Google ScholarDigital Library
- Guido Governatori, Florian Idelberger, Zoran Milosevic, Regis Riveret, Giovanni Sartor, and Xiwei Xu. On legal contracts, imperative and declarative smart contracts, and blockchain systems. Artificial Intelligence and Law 26, 4 (5 March 2018), 377-409. https://doi.org/10.1007/s10506-018-9223-3 Google ScholarDigital Library
- Florian Idelberger, Guido Governatori, Régis Riveret, and Giovanni Sartor. Evaluation of logic-based smart contracts for blockchain systems. In International Symposium on Rules and Rule Markup Languages for the Semantic Web (RuleML 2016), July 6-9, 2016, Stony Brook, NY, USA. Springer, Cham, 167-183. https://doi.org/10.1007/978-3-319-42019-6_11Google ScholarCross Ref
- Mark Giancaspro. Is a ‘smart contract’ really a smart idea? Insights from a legal perspective. 2017. Computer Law & Security Review 33, 6 (December 2017), 825-835. https://doi.org/10.1016/j.clsr.2017.05.007Google Scholar
- Tom Lyons, Ludovic Courcelas, and Ken Timsit. 2019. Legal and regulatory framework of blockchains and smart contracts. 2019. In thematic report for The European Union Blockchain Observatory and Forum. Published. Vol. 27. Retrieved February 10, 2021 from https://www.eublockchainforum.eu/sites/default/files/reports/report_legal_v1.0.pdf?width=1024&height=800&iframe=trueGoogle Scholar
Index Terms
- Smart Contract and Blockchain Based Contract Management System
Index terms have been assigned to the content through auto-classification.
Recommendations
Blockchain and Smart Contracts
ICSIE '19: Proceedings of the 8th International Conference on Software and Information EngineeringThis paper presents an introduction to the current state of art of the Blockchain and Smart Contract technologies. Blockchain is a fast-disruptive technology becoming a key instrument in share economy. The Blockchain-based Smart Contract aim to ...
Research on Blockchain-Based Smart Contract Technology
Smart Computing and CommunicationAbstractWith the continuous development of blockchain technology, smart contract has become an important research object among the achievable technologies on blockchain technology. Based on the characteristics of decentralization, tamper-proof and ...
Smart Contract Locator (SCL) and Smart Contract Description Language (SCDL)
Service-Oriented Computing – ICSOC 2019 WorkshopsAbstractToday’s blockchain technologies focus mostly on isolated, proprietary technologies, yet there are application scenarios that ask for interoperability, e.g., among blockchains themselves or with external applications. This paper proposes the Smart ...
Comments