Pengembangan Bahasa Pemodelan dan Code Generation untuk Smart Contract
DOI:
https://doi.org/10.26418/justin.v11i2.55077Keywords:
Smart Contract, modelling language, Domain-specific language, Contract, Code GenerationAbstract
Smart Contract merupakan konsep yang dicetus oleh Nick Szabo (Szabo, 1997) yang merupakan kontrak berbentuk elektronik. Dengan berkembangnya blockchain konsep tersebut dikonkritkan dengan bentuk code yang terpasang di jaringan blockchain yang disebut smart contract juga. Penelitian ini menggunakan definisi smart contract yang dicetus oleh Nick Szabo yang merupakan alternatif kontrak konvensional. Dalam membuat Smart Contract terdapat kesulitan karena menggabungkan dua domain pengetahuan yaitu kontrak dan informatika. Sebuah bahasa pemodelan dapat dikembangkan untuk memudahkan proses pengembangan Smart Contract. Bahasa pemodelan dapat dijadikan sebagai alat spesifikasi kontrak bahkan sampai generasi implementasi source code. Penelitian ini bertujuan membuat bahasa pemodelan yang mampu menyebutkan spesifikasi smart contract sekaligus cukup mudah digunakan oleh pengguna non-IT. Bahasa pemodelan yang dibuat juga mampu menghasilkan skeleton implementasi untuk source code smart contract.References
N. Szabo, “Formalizing and Securing Relationships on Public Network,†1997. [Online]. Available: https://nakamotoinstitute.org/formalizing-securing-relationships/. [Accessed: 29-Mar-2022].
E. Androulaki et al., “Hyperledger Fabric: A Distributed Operating System for Permissioned Blockchains,†Proc. 13th EuroSys Conf. EuroSys 2018, vol. 2018-Janua, Apr. 2018.
M. Mernik, J. Heering, and A. M. Sloane, “When and how to develop domain-specific languages,†ACM Comput. Surv., vol. 37, no. 4, pp. 316–344, 2005.
L. Luu, D. H. Chu, H. Olickel, P. Saxena, and A. Hobor, “Making smart contracts smarter,†in Proceedings of the ACM Conference on Computer and Communications Security, 2016, vol. 24-28-Octo, pp. 254–269.
A. Savelyev, “Contract law 2.0: ‘Smart’ contracts as the beginning of the end of classic contract law,†Inf. Commun. Technol. Law, vol. 26, no. 2, pp. 116–134, 2017.
P. Das et al., “Fastkitten: Practical smart contracts on bitcoin,†in Proceedings of the 28th USENIX Security Symposium, 2019, pp. 801–818.
G. F. Schuppert, A Global History of Ideas in the Language of Law. Max Planck Institute for Legal History and Legal Theory, 2021.
Subekti, R, dan R. Tjitrosudibio, “Kitab Undang-undang Hukum Perdata (KUH Perdata),†Angew. Chemie Int. Ed. 6(11), 951–952., pp. 11–28, 2019.
L. D. Johnson, “One Hour Cle Credit Effective Contract Drafting : Identifying the Building Blocks of Contracts,†no. October, pp. 24–25, 2013.
Thomson Reuters, “Consideration - Practical Law Definition,†2022. [Online]. Available: https://uk.practicallaw.thomsonreuters.com/Document/I8abcb5601c9a11e38578f7ccc38dcbee/View/FullText.html?navigationPath=Search%2Fv1%2Fresults%2Fnavigation%2Fi0ad740360000017b982bc85771e68c2d%3Fppcid%3Dc14c980603964e0f874a89789c7d454b%26Nav%3DKNOWHOW_UK%26. [Accessed: 18-Apr-2022].
W. Kenton, “Warranty Definition,†23-Apr-2021. [Online]. Available: https://www.investopedia.com/terms/w/warranty.asp. [Accessed: 01-May-2022].
OMG Object Management Group, “An OMG ® Unified Modeling Language ® Publication,†no. December, 2017.
M. Fowler and R. Parson, “Domain Specific Languages,†2010. [Online]. Available: https://martinfowler.com/books/dsl.html. [Accessed: 19-Apr-2022].
M. Fowler, “A Language Workbench in Action - MPS,†2005. [Online]. Available: https://martinfowler.com/articles/mpsAgree.html. [Accessed: 12-May-2022].
S. Sharifi, A. Parvizimosaed, D. Amyot, L. Logrippo, and J. Mylopoulos, “Symboleo: Towards a Specification Language for Legal Contracts,†Proc. IEEE Int. Conf. Requir. Eng., vol. 2020-Augus, pp. 364–369, 2020.
F. Emmert, “Model Contract for International Sales Transactions (Manufactured Goods),†no. October, 2015.
S. Erdweg et al., “Evaluating and comparing language workbenches: Existing results and benchmarks for the future,†Comput. Lang. Syst. Struct., vol. 44, pp. 24–47, 2015.
Jetbrains, “MPS: The Domain-Specific Language Creator by JetBrains,†2022. [Online]. Available: https://www.jetbrains.com/mps/. [Accessed: 08-Jun-2022].
Downloads
Published
Issue
Section
License
Copyright (c) 2023 JUSTIN (Jurnal Sistem dan Teknologi Informasi)
This work is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License.
The author owns the copyright in his paper and agrees to publish his paper to JUSTIN by giving the rights to the first publication of his paper which is simultaneously licensed under the Creative Commons Attribution License, namely the Similar International 4.0 license (CC BY-NC-SA 4.0).
This is a human-readable summary of (and not a substitute for) the license. Disclaimer.
You are free to:Share "” copy and redistribute the material in any medium or format
Adapt "” remix, transform, and build upon the material
The licensor cannot revoke these freedoms as long as you follow the license terms.
Under the following terms:
Attribution "” You must give appropriate credit, provide a link to the license, and indicate if changes were made. You may do so in any reasonable manner, but not in any way that suggests the licensor endorses you or your use.
NonCommercial "” You may not use the material for commercial purposes.
ShareAlike "” If you remix, transform, or build upon the material, you must distribute your contributions under the same license as the original.
No additional restrictions "” You may not apply legal terms or technological measures that legally restrict others from doing anything the license permits.
Notices:
You do not have to comply with the license for elements of the material in the public domain or where your use is permitted by an applicable exception or limitation.
No warranties are given. The license may not give you all of the permissions necessary for your intended use. For example, other rights such as publicity, privacy, or moral rights may limit how you use the material.
