Studi Mandiri Software Engineering 2011 Fakultas Ilmu Komputer UI 17/03/20111Bayu Tenoyo - Studi Mandiri Software Engineering

Agenda Target dari Studi Mandiri Sekilas B Method Demo Sederhana Atelier B Perkembangan Riset B Method dengan UML 17/03/20112Bayu Tenoyo - Studi Mandiri Software Engineering

Target dari Studi Mandiri 1. Mempelajari Formal Method dan pemanfaatannya dalam UML. 2. Mendapatkan Ide untuk Disertasi. 3. Dalam 2 minggu ke-depan akan menyampaikan progress report, tentang pemakaian Atelier B yang lebih “canggih sedikit” (misal sorting....) 17/03/20113Bayu Tenoyo - Studi Mandiri Software Engineering

Hal-hal yang Sudah Dikerjakan Mengumpulkan literatur yang berhubungan dengan formal method dan UML. Memilih B Method untuk dipelajari dalam semester ini. Menggunakan tools B Method (Atelier B) untuk program yang sangat sederhana. 17/03/2011Bayu Tenoyo - Studi Mandiri Software Engineering4

17/03/2011Bayu Tenoyo - Studi Mandiri Software Engineering5

Sekilas Tentang B Method Sebuah metode pengembangan aplikasi/software yang menggunakan bahasa B, dengan menggunakan suatu alat bantu. Bahasa B dan Klasik Metode B dikembangkan oleh Jean-Raymond Abrial. Beberapa alat bantu baik yang komersial dan gratis sudah tersedia. Industri yang menggunakan: KVB Alstom (6000 kereta), Siemens Metroline System (metro line 14 Paris), Section Automatic Pilot,Puegeot Automobile,...) 17/03/2011Bayu Tenoyo - Studi Mandiri Software Engineering6

Sekilas Tentang B Language Berdasarkan teori himpunan Zermelo-Fraenkel dengan pilihan axioma (ZFC). Himpunan digunakan untuk memodelkan data. Generelazied Subtitutions untuk menunjukkan perubahan state. Calculus Refinement digunakan untuk menunjukkan relasi antar model yang memiliki level abstraksi yang berbeda-beda. 17/03/2011Bayu Tenoyo - Studi Mandiri Software Engineering7

Pengembangan Aplikasi “traditional”: 17/03/2011Bayu Tenoyo - Studi Mandiri Software Engineering8

Pengembangan Aplikasi dengan B 17/03/2011Bayu Tenoyo - Studi Mandiri Software Engineering9

Pengembangan Aplikasi dengan B 17/03/2011Bayu Tenoyo - Studi Mandiri Software Engineering10

Atelier B Ada versi gratisnya selama tidak digunakan untuk komersial. 17/03/2011Bayu Tenoyo - Studi Mandiri Software Engineering11

Demo Atelier B 17/03/2011Bayu Tenoyo - Studi Mandiri Software Engineering12

Perkembangan Riset Event B merupakan pengembangan dari B Language dan B Method, memperkenalkan event. Sudah ada paper –paper yang membahas representasi diagram UML (class diagram, state diagram, dan sequence diagram) dalam B Language. 17/03/2011Bayu Tenoyo - Studi Mandiri Software Engineering13

17/03/2011Bayu Tenoyo - Studi Mandiri Software Engineering14 Model - Spesikasi Refinement