Muhammad Zuhri Catur Candra
Institut Teknologi Bandung

Published : 1 Documents Claim Missing Document
Claim Missing Document
Check
Articles

Found 1 Documents
Search

Pengembangan Bahasa Pemodelan dan Code Generation untuk Smart Contract Labib Izzatur Rahman; Muhammad Zuhri Catur Candra
JUSTIN (Jurnal Sistem dan Teknologi Informasi) Vol 11, No 2 (2023)
Publisher : Jurusan Informatika Universitas Tanjungpura

Show Abstract | Download Original | Original Source | Check in Google Scholar | DOI: 10.26418/justin.v11i2.55077

Abstract

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.