Studi Kasus LinguSQL : Perdagangan Saham Api Perdana, S.Kom E-seminar Nasional Software Quality Assurance using Formal Method Fakultas Ilmu Komputer UI 9 January 2008

Daftar Presentasi Tujuan Presentasi Fakta Singkat Kasus Kesalahan Perangkat Lunak Transaksi Saham Bisnis Proses Transaksi Saham Aturan dan Batasan Transaksi Saham Bisnis Proses pada LinguSQL Kasus Verifikasi pada LinguSQL Algoritma Verifikasi pada LinguSQL Kesimpulan

Tujuan Presentasi Tujuan Utama : Cakupan : Pengenalan Sistem Transaksi Saham sebagai Studi Kasus LinguSQL Cakupan : Pengenalan singkat mengenai pasar saham Pengenalan proses bisnis transaksi saham BEI Pengenalan kasus kesalahan pemrograman pada aplikasi transaksi saham Simplifikasi studi kasus yang akan digunakan LinguSQL Identifikasi kasus verifikasi pemrograman dengan LinguSQL Algoritma kasus verifikasi dengan LinguSQL

Pengenalan Pasar Saham dan Prosedur Transaksi Saham

Fakta Singkat Pasar modal adalah pasar dimana instrumen-instrumen finansial jangka panjang seperti saham, ekuitas, mutual funds dan instrumen derivatif diperdagangkan.* Pasar modal di Indonesia sudah ada sejak zaman pemerintah Hindia Belanda tahun 1912, namun perdagangan elektronik baru dilakukan pada tahun 1995 melalui Bursa Efek Jakarta. Bursa Efek Jakarta dan Bursa Efek Surabaya bergabung menjadi Bursa Efek Indonesia pada 1 Desember 2008. Bursa Efek Indonesia diproyeksikan melakukan transaksi harian sebesar 3,35 Triliun Rupiah pada tahun 2008.** * dikutip dari situs bursa efek indonesia, http://www.bei.co.id/MainMenu/Education/MengenalPasarModal/tabid/137/lang/en-US/language/en-US/Default.aspx ** dikutip dari situs republika http://www.republika.co.id/koran_detail.asp?id=315840&kat_id=389

Studi Kasus Pasar saham sangat cocok sebagai studi kasus LinguSQL, karena : Bersifat mission-critical Melibatkan kepentingan finansial dalam jumlah yang besar Sistem elektronik yang melibatkan pencatatan transaksi ke dalam basis data Telah terdapat kasus-kasus kesalahan pada programming yang menyebabkan kerugian finansial pada transaksi pasar saham

Contoh Kesalahan Aplikasi Pasar Saham 1 Maret 07 : Kesalahan pada aplikasi Dow Jones menyebabkan kesalahan penghitungan data indeks saham selama 70 menit. Kerugian berkisar jutaan dollar.* 7 November 07 : Kesalahan penampilan data harga saham oleh Infolect di London Stock Exchange menyebabkan closing auction diperpanjang selama 3 jam. ** 8 Desember 05 : Kelemahan verifikasi aplikasi transaksi saham menyebabkan pegawai sekuritas memasukkan harga penjualan perdana saham J-Com sebesar 610.000 saham dengan harga 1 Yen. Harga penjualan yang benar adalah 610.000 yen untuk 1 saham, yang menyebabkan kerugian sebesar 347 juta dollar. **** 8 November 83 : Akumulasi kesalahan pembulatan indeks saham di Vancouver Stock Exchange menyebabkan penurunan indeks saham sebesar +- 500 poin. *** * http://business.timesonline.co.uk/tol/business/industry_sectors/media/article1454771.ece ** http://www.ft.com/cms/s/0/73eb3454-8d52-11dc-a398-0000779fd2ac.html *** www5.in.tum.de/~huckle/Vancouv.pdf **** http://search.japantimes.co.jp/cgi-bin/nb20051209a2.html

Proses Bisnis Transaksi Saham Proses Perdagangan Seorang investor yang ingin melakukan transaksi jual-beli saham harus melalui broker/sekuritas yang terdaftar di bursa saham. Perintah pembelian/penjualan yang diberikan kepada broker akan diteruskan ke lantai bursa. Di lantai bursa, trader akan memasukkan penawaran pembelian/penjualan tersebut ke dalam Jakarta Automatic Trading System (JATS). Apabila terdapat penawaran pembelian/penjualan yang cocok (matched) dengan perintah investor, sistem JATS akan memfinalisasikan transaksi tersebut. Penyelesaian transaksi (kliring & pembayaran) akan diselesaikan 3 hari setelah kejadian transaksi sebenarnya.

Diagram Transaksi Saham Diambil dari : http://www.bei.co.id/MainMenu/Trading/StockTradingMechanism/tabid/81/lang/en-US/language/en-US/Default.aspx

Batasan dan Aturan Transaksi Saham Aktifitas transaksi saham memiliki aturan dan batasan yang ditentukan oleh : Regulasi perdagangan saham Praktik ekonomi lokal, mis. periode transaksi, proses penyelesaian, hari libur, dll. Keterbatasan sistem, mis. jumlah transaksi Aturan dan batasan tersebut dapat digunakan sebagai titik verifikasi LinguSQL.

Contoh Aturan dan Batasan : Batasan dan Aturan Transaksi Saham Contoh Aturan dan Batasan : Transaksi saham hanya dapat dilakukan pada hari kerja, Senin-Kamis (9.30-12.00, 13.30-16.00) dan Jumat (9.30-11.30, 14.00-16.00). Tiap broker/sekuritas memiliki batas jumlah transaksi (trading limit) sesuai jumlah jaminan untuk aktifitas transaksi selama satu hari. Harga penawaran penjualan dan pembelian yang diajukan oleh broker tidak boleh lebih/kurang sebesar X% dari harga normal (X adalah variabel yang ditentukan oleh regulator sesuai dengan nilai saham, antara 20-50%) Sistem melakukan keputusan pemetaan penjualan dan pembelian berdasarkan prioritas harga dan waktu.Harga yang lebih tinggi akan lebih diprioritaskan daripada harga rendah, apabila sama akan diproses berdasarkan waktu pencatatan. Sistem harus melakukan pemeriksaan data transaksi untuk mencegah data-data invalid masuk ke dalam database, misal kesalahan entri data, data yang tidak sesuai skema baku, kesalahan sistem broker, dll. Sistem harus memberi peringatan apabila terjadi fluktuasi dalam harga saham atau volume perdagangan dalam satu hari. Anomali tersebut dapat menyebabkan sebuah jenis saham diberi status suspend, dan tidak diperdagangkan selama masa penyelidikan.

Studi Kasus LinguSQL : Simulasi Transaksi Saham

Simulasi Transaksi Saham : Studi Kasus LinguSQL LinguSQL akan menggunakan sebuah studi kasus sederhana dari sistem transaksi saham yang berdasarkan prosedur nyata. Sistem ini mensimulasikan aktifitas transaksi saham dari pembelian, penjualan, dan finalisasi transaksi yang terjadi pada pasar saham Indonesia. Hasil akhir yang diharapkan adalah komponen aplikasi kritis yang : Terverifikasikan secara formal (whitebox) Tervalidasikan dengan skenario (blackbox)

Diagram Simulasi Transaksi Saham

Alur Simulasi Transaksi Saham Seorang trader memasukkan penawaran pembelian saham ke sistem dan kemudian akan tercatat di database permintaan beli saham. Trader lainnya memasukkan penawaran penjualan saham ke sistem dan tercatat di database penawaran jual saham. Sebuah mekanisme atau algoritma penyelesaian transaksi akan berusaha memasangkan/memetakan harga yang cocok antara permintaan jual dan beli. Pada saat pengembangan mekanisme atau algoritma tersebut, sebuah proses verifikasi akan dijalankan untuk memastikan bahwa mekanisme tersebut telah mematuhi secara benar seluruh batasan dan aturan yang ada. Kasus verifikasi ditentukan oleh pengembang dengan mengacu pada aturan dan batasan pada praktek perdagangan saham. Jika proses pemetaan dan proses verifikasi telah berhasil dilakukan, sistem akan menghasilkan sebuah data transaksi final yangakan tercatat di dalam database transaksi saham.

Komponen Transaksi Saham : Studi Kasus LinguSQL Aplikasi transaksi saham yang disimulasikan melibatkan 3 (tiga) komponen inti, yaitu : 1. Database komponen ini berisi data-data yang hendak digunakan dalam proses penyelesaian transaksi. Database Permintaan Beli Saham Database Penawaran Jual Saham Id Timestamp Broker_Id Stock_Id Amount Buy_Price Id Timestamp Broker_Id Stock_Id Amount Sell_Price

Komponen Transaksi Saham : Studi Kasus LinguSQL Database Saham Database Transaksi Saham Id Update_Timestamp Current_Price Volume Description Id Timestamp Broker_Buy_Id Broker_Sell_Id Stock_Id Amount Price 2. Mekanisme Penyelesaian Transaksi Komponen ini berfungsi untuk melakukan pemetaan antara permintaan beli saham dan penawaran jual saham yang cocok secara harga.

Komponen Transaksi Saham : Studi Kasus LinguSQL 3. Mekanisme Verifikasi & Validasi Komponen ini berfungsi untuk melakukan verifikasi dan validasi pada program mekanisme penyelesaian transaksi. Verifikasi dan validasi dilakukan untuk titik-titik berdasarkan batasan dan aturan dari proses bisnis seperti telah dijelaskan sebelumnya. Verifikasi dilakukan dengan pembuktian correctness sebuah kode program secara formal. Validasi dilakukan dengan menjalankan beberapa skenario dan mengecek apakah hasil dari operasi tersebut sesuai dengan yang diharapkan.

Kasus Verifikasi Simulasi Transaksi Saham

Kasus Verifikasi Simulasi Transaksi Saham Batasan waktu Verifikasi pemeriksaan waktu dan periode transaksi yang valid. Batasan trading limit Verifikasi trading limit broker untuk tiap transaksi yang dilakukan Batasan jangkauan harga penawaran Verifikasi bahwa harga penawaran dan penjualan tidak boleh melebihi/kurang dari batas yang telah ditentukan Prioritas pemetaan Verifikasi bahwa sistem melakukan pemetaan berdasarkan prioritas yang telah ditentukan Pemeriksaan data input Verifikasi seluruh data transaksi yang masuk telah sesuai dan patuh dengan bentuk dan skema baku yang telah ditentukan Pemeriksaan Anomali Verifikasi seluruh transaksi saham untuk mengetahui adanya fluktuasi harga atau volume perdagangan saham

Algoritma Verifikasi : Batasan Waktu Verifikasi pemeriksaan waktu dan periode transaksi yang valid. Waktu dan periode yang valid adalah Senin-Kamis (9.30-12.00, 13.30-16.00) dan Jumat (9.30-11.30, 14.00-16.00). Algoritma Prosedur : Untuk pencatatan transaksi, sistem harus memeriksa timestamp dari masing-masing transaksi. Untuk tiap transaksi dengan waktu valid, masukkan ke database yang sesuai. Untuk tiap transaksi dengan waktu invalid, masukkan ke database terpisah untuk pemeriksaan.

Algoritma Verifikasi : Batasan Waktu (2) Algoritma Verifikasi Prosedur : Pastikan format waktu yang digunakan sesuai dengan standar baku Lakukan prosedur pemeriksaan waktu Lakukan pemeriksaan untuk seluruh data valid apakah memenuhi batasan waktu. Lakukan pemeriksaan untuk seluruh data tidak valid apakah benar di luar batasan waktu yang ditentukan

Algoritma Verifikasi : Batasan Trading Limit Verifikasi trading limit broker untuk tiap transaksi yang dilakukan Trading limit masing-masing broker ditentukan oleh KPEI sesuai dengan reputasi dan nilai jaminan. Algoritma Prosedur : Sebelum pencatatan transaksi, sistem harus memeriksa total jumlah transaksi yang telah dilakukan oleh broker tersebut pada hari itu. Lakukan pembandingan antara trading limit dengan total transaksi yang telah dilakukan ditambah transaksi yang akan dilakukan. Jika total transaksi melebihi trading limit maka lakukan penolakan secara otomatis. Jika total transaksi belum melebihi trading limit maka lakukan pencatatan transaksi tersebut.

Algoritma Verifikasi : Batasan Trading Limit (2) Algoritma Verifikasi Prosedur : Pastikan trading limit dari broker tidak sama dengan nol atau minus Catatkan transaksi dengan nilai transaksi yang masih dibawah nilai total trading limit Lakukan prosedur pengecekan trading limit untuk transaksi tersebut Sistem harus menerima transaksi tersebut Catatkan transaksi dengan nilai transaksi yang diatas nilai total trading limit Sistem harus menolak transaksi tersebut

Algoritma Verifikasi : Batasan Jangkauan Harga Verifikasi bahwa harga penawaran dan penjualan tidak boleh melebihi/kurang dari batas yang telah ditentukan Batas yang digunakan pada simulasi ini adalah +- 20% Algoritma Prosedur : Sebelum pencatatan transaksi, sistem harus memeriksa harga saham paling terakhir Lakukan pembandingan antara harga saham dengan harga saham yang ditawarkan untuk dibeli/dijual Jika perbedaan mencapai +- 20% maka sistem akan menolak transaksi tersebut Jika perbedaan harga belum tidak melanggar jangkauan tersebut maka sistem akan mencatat transaksi

Algoritma Verifikasi : Batasan Jangkauan Harga (2) Algoritma Verifikasi Prosedur : Pastikan nilai saham yang tercatat tidak nol atau minus Catatkan transaksi dengan nilai transaksi yang masih diantara jangkauan harga Lakukan prosedur pengecekan jangkauan harga untuk transaksi tersebut Sistem harus menerima transaksi tersebut Catatkan transaksi dengan nilai transaksi yang berada diatas jangkauan harga Sistem harus menolak transaksi tersebut Catatkan transaksi dengan nilai transaksi yang berada dibawah jangkauan harga

Algoritma Verifikasi : Proses Pemetaan Jual/Beli Proses pemetaan ini adalah fungsi utama dari sistem simulasi transaksi saham Verifikasi yang dilakukan melingkupi ketepatan prioritas serta kenetralan hasil pemetaan Algoritma Prosedur : Sistem mengambil data-data dari permintaan beli saham dan penawaran jual saham Data-data tersebut diurutkan dari yang memiliki nilai total transaksi paling besar ke yang paling kecil Lakukan pencocokan permintaan pembelian dengan penjualan dimulai dari yang paling besar nilainya Jika ada permintaan/penawaran dengan harga yang sama maka yang diutamakan adalah yang paling dulu terdaftar Masukkan seluruh hasil pemetaan ke database transaksi saham

Algoritma Verifikasi : Proses Pemetaan Jual/Beli (2) Algoritma Verifikasi Prioritas : Catatkan beberapa transaksi pembelian dan penjualan dengan nilai yang sama namun waktu yang berbeda ke dalam database Lakukan proses pemetaan transaksi saham Simpan data transaksi saham yang dihasilkan Tukar waktu pencatatan di dalam transaksi pembelian dan penjualan Bandingkan hasilnya dengan data transaksi saham sebelumnya, hasilnya harus berbeda

Algoritma Verifikasi : Proses Pemetaan Jual/Beli (3) Algoritma Verifikasi Netralitas : Catatkan beberapa transaksi pembelian dan penjualan ke dalam database Lakukan proses pemetaan transaksi saham Simpan data transaksi saham yang dihasilkan Ubah data broker pada transaksi pembelian dan penjualan pada database Bandingkan hasilnya dengan data transaksi saham sebelumnya, hasilnya harus sama dengan hasil transaksi sebelumnya

Algoritma Verifikasi : Pemeriksaan Data Input Verifikasi seluruh data transaksi yang masuk telah sesuai dan patuh dengan bentuk dan skema baku yang telah ditentukan Contohnya adalah pemeriksaan kelengkapan data transaksi, broker yang invalid, atau saham yang invalid. Algoritma Prosedur : Sebelum melakukan pencatatan transaksi, sistem melakukan pemeriksaan kelengkapan seluruh field data transaksi. Apabila terdapat field yang hilang maka data tersebut akan dimasukkan ke database tersendiri untuk pemeriksaan. Sistem melakukan pemeriksaan field identitas broker yang melakukan transaksi Apabila broker tersebut invalid atau dalam status suspend maka data tersebut akan dimasukkan ke database tersendiri untuk pemeriksaan. Sistem melakukan pemeriksaan field identitas saham transaksi Apabila saham tersebut invalid atau dalam status suspend maka data tersebut akan dimasukkan ke database tersendiri untuk pemeriksaan.

Algoritma Verifikasi : Pemeriksaan Data Input (2) Algoritma Verifikasi Kevalidan Saham: Pastikan seluruh field pada data transaksi telah terisi dengan benar Catatkan transaksi pembelian dengan data identitas saham yang valid Lakukan prosedur pemeriksaan data Sistem harus mencatatkan transaksi tersebut Catatkan transaksi pembelian dengan data identitas saham yang tidak valid Sistem harus memasukkan transaksi tersebut ke database tersendiri

Algoritma Verifikasi : Pemeriksaan Data Input (3) Algoritma Verifikasi Kevalidan Broker: Pastikan seluruh field pada data transaksi telah terisi dengan benar Catatkan transaksi pembelian dengan data identitas broker yang valid Lakukan prosedur pemeriksaan data Sistem harus mencatatkan transaksi tersebut Catatkan transaksi pembelian dengan data identitas broker yang tidak valid Sistem harus memasukkan transaksi tersebut ke database tersendiri

Kesimpulan LinguSQL menggunakan studi kasus transaksi saham karena sifatnya yang mission-critical, bergantung kepada database, serta memiliki kepentingan finansial yang tinggi. Aplikasi simulasi transaksi saham yang digunakan hanya melibatkan pencatatan transaksi penjualan,pembelian, serta proses pemetaan final transaksi saham. Verifikasi LinguSQL dilakukan pada tahap pengembangan dan berfungsi untuk memastikan kebenaran algoritma sebuah komponen. Kasus verifikasi untuk transaksi saham dapat menggunakan batasan dan aturan yang berlaku di dunia nyata.

Terima Kasih Selanjutnya : Presentasi simulasi transaksi saham dalam LinguSQL dan demo. Terima Kasih