The World as I See It

Disclaimer :
Ini adalah bagian pertama dari seri dokumentasi SPIN. Dokumen ini ditulis untuk kepentingan pribadi yang terkait dengan matakuliah ET- 6052 Rekayasa Protokol. Penggunaan sebagian atau keseluruhan dokumentasi ini sebagai referensi maupun untuk disebarluaskan diperkenankan dengan tanpa ada jaminan apapun dari penulis.

Keywords : Installing SPIN in cygwin , SPIN, Promela

SPIN (Simple Promela Interpreter) adalah suatu tool untuk melakukan analisis terhadap konsistensi logika dari suatu sistem concurrent khususnya untuk protokol komunikasi data. Sistem yang dianalisa oleh SPIN ditulis dengan menggunakan bahasa Promela (Protocol/Process Meta Language). Spin didesain pertamakali oleh Gerard Holtzman dari Bell Laboratories pada tahun 1991.

Pada dasarnya SPIN dikembangkan dari bahasa C dan dapat berjalan di OS Unix, Solaris, Linux, Windows dan MAC.

Untuk bagian awal ini saya akan menuliskan mengenai cara instalasi SPIN di Windows dengan menggunakan Cygwin.

note : Sebelum melakukan instalasi, pastikan Anda sudah menginstall Cygwin yang sudah berjalan dengan baik dan Cygwin yang Anda miliki sudah terinstall juga C-Compiler dan juga tcl intepreter.

1. Download versi terbaru dari dari SPIN di websitenya www.spinroot.com dalam bentuk .tar.gz. Versi yang saya install adalah spin versi 428.
2. Copykan spin428.tar.gz ke suatu folder dalam cygwin dimana Anda akan menginstallnya. Untuk saat ini saya contohkan di /home/wawan
3. Extract file spin.tar.gz dengan perintah :

tar -xvzf spin428.tar.gz

4. Akan terbentuk direktori Spin dengan susunan sebagai berikut ;

Spin
|
- Doc
- Man
- Src4.2.8
- Test
- Xspin4.2
- Readme.html

5. Masuklah ke direktori Src4.2.8 dengan perintah :

cd /home/wawan/Spin/Src4.2.8/

6. Didalam direktori Src4.2.8 Anda dapat mengedit makefile agar sesuai dengan sistem Anda atau gunakan default. Untuk kali ini saya menggunakan default dalam makefile meskipun nantinya harus ada beberapa perubahan yang dilakukan agar sesuai dengan configurasi Spin

7. ketikkan

make # atau fungsi make yang sesuai dengan environtment Anda

8. Setelah sukses dan tidak ada error, copikan file Spin.exe yang ada di folder Src4.1.8 ke direktori bin dalam cygwin Anda

cd Src4.2.8
cp Spin.exe /bin/spin

9. Test dengan mengetikkan :

Spin -v

10.Jika instalasi SPIN Anda berhasil maka akan muncul versi dari Spin yang Anda Install beserta build datenya

11.Install XPIN dengan cara mengkopikan file xspin428.tcl dalam folder Xspin4.2 ke folder bin cygwin Anda dan buat jadi executable dengan perintah berikut:

cd Xspin4.2
cp xspin428.tcl /bin/xspin
chmod +x /bin/xspin

11.Karena tadi kita memilih konfigurasi standart dalam makefile maka sebagai konsekuensinya kita harus mengkopikan file cpp.exe dari bin ke lib, hal ini disebabkan dalam konfigurasi SPIN mengenali file cpp.exe berada di folder /lib/. Ketikkan perintah berikut :

cp /bin/cpp.exe /lib/

12. Selesai, lakukan test dengan masuk ke folder Test di direktori Spin dan ketikkan :

xspin leader

13. Jika berhasil maka akan muncul window SPIN Control

Pada bagian berikutnya akan dibahas mengenai sintak-sintak dari bahasa Promela, serta penggunaan SPIN.

Big Picture

Framework atau kerangka kerja menurut definisi saya sendiri adalah suatu kumpulan dari file-file pustaka maupun class-class dalam suatu kerangka yang mendukung dalam pengembangan suatu aplikasi secara terstruktur dan independent terhadap aplikasi. Framework diperlukan untuk menciptakan suatu aplikasi secara cepat, terstruktur dan fleksibel. Dari beberapa framework yang pernah saya ketahui, ada beberapa yang cukup menarik untuk saya dalami, diantaranya adalah CakePHP.

CAKE PHP adalah salah satu framework yang berbasis PHP yang memungkinkan seorang programmer untuk dapat mengembangkan aplikasi secara Rapid Application Development, yang dapat dikembangkan menjadi aplikasi CRUD (Create, Read, Update , Delete) lainnya yang lebih kompleks.Framework CAKE PHP sendiri merupakan turunan terinspirasi dari framework Ruby on Rails yang dibuat dalam bahasa Ruby.

Framework CakePHP dapat didownload secara gratis disini , dengan versi terbaru sampai tulisan ini dipublish adalah versi 1.1.12.4205 STABLE
CakePHP memiliki fitur-fitur yang mendukung perkembangannya sebagai sebuah framework yang banyak diminati developer, diantaranya :

1. OpenSource, yup… sudah pasti itu alasan utama
2. Bersifat OOP (Object oriented Programming)
3. Memiliki komunitas pengembangan yang aktiv dan luas (meskipun tidak terlalu banyak menurut saya) sehingga memudahkan dalam mendapatkan info2 maupun contoh2 penggunaan cakePHP
4. Kompatibel dengan PHP4 dan PHP5
5. CRUD yang terintegrasi sehingga query database dapat lebih simpel
6. Arsitekturnya mendukung MVC (Model View Controller)
7. Request Dispatcher dengan custom URL
8. Validasi sudah terintegrasi
9. Templating systemnya fleksibel
10. Support AJAX dan JavaScript
11. Dilengkapi dengan komponen untuk Security, Session dan request handling
12. Access Control List yang fleksibel
13. dan masih banyak fitur lainnya …

INSTALASI

Proses instalasi cakePHP sangat mudah,cukup ikuti langkah2 berikut :

1. Pastikan server Anda telah terinstall mod_rewrite
2. Ekstrak file cake_1.1.12.4205.tar.gz ke DOC_ROOT dengan struktur direktori sebagai berikut :

3. /wwwroot
   /cake
   /app
   /cake
   /vendors
   .htaccess
   index.php

4. pastikan file .htaccess writeable dan setting untuk AllowOveride adalah ALL
5. Lakukan konfigurasi database dengan terlebih dulu mengubah file /app/config/database.php.default menjadi /app/config/database.php

6. var $default = array('driver' => 'mysql',

   'connect' =>'mysql_connect',

   'host'    => 'localhost',
   
   'login'   => 'user_db',
   
   'password' => 'password_db',
   
   'database' => 'nama_db',
   
   'prefix'   => 'prefix_db');

7. Pastikan instalasi telah benar dengan membuka http://localhost/cake/
8. Buat karya Anda sendiri dengan framework ini

Rapid Application Development

CakePHP disebut sebagai aplikasi yang bersifat Rapid Application Framework yang mendukung Rapid Application Development, dikarenakan adanya fitur bake and scafollding pada framework ini.

Bake dan scafollding memiliki fungsi yang hampir sama. Kedua fitur ini mampu men-generate suatu web sederhana yang sudah memiliki arsitektur MVC dan kemampuan CRUD sesuai dengan database yang ada secara otomatis.

hohoho….tertarik? tunggu tutorial selanjutnya ….

REFERENSI
Berikut beberapa link yang saya rasa cukup membantu untuk belajar cakePHP
http://manual.cakephp.org/

http://www.sitepoint.com/article/application-development-cakephp

http://bakery.cakephp.org

http://cakeforge.org