1 / 14

Progress Report: B Method – Atelier B

Progress Report: B Method – Atelier B. bayutenoyo@gmail.com Studi Mandiri Software Engineering 2011 Fakultas Ilmu Komputer UI. Agenda. Target dari Studi Mandiri Sekilas B Method Demo Sederhana Atelier B Perkembangan Riset B Method dengan UML. Target dari Studi Mandiri.

kayo
Download Presentation

Progress Report: B Method – Atelier B

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Progress Report: B Method – Atelier B bayutenoyo@gmail.com Studi Mandiri Software Engineering 2011 Fakultas Ilmu Komputer UI Bayu Tenoyo - Studi Mandiri Software Engineering

  2. Agenda • Target dari Studi Mandiri • Sekilas B Method • Demo Sederhana Atelier B • Perkembangan Riset B Method dengan UML Bayu Tenoyo - Studi Mandiri Software Engineering

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

  4. 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. Bayu Tenoyo - Studi Mandiri Software Engineering

  5. B Method Bayu Tenoyo - Studi Mandiri Software Engineering

  6. 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,...) Bayu Tenoyo - Studi Mandiri Software Engineering

  7. 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. Bayu Tenoyo - Studi Mandiri Software Engineering

  8. Pengembangan Aplikasi “traditional”: Bayu Tenoyo - Studi Mandiri Software Engineering

  9. Pengembangan Aplikasi dengan B Bayu Tenoyo - Studi Mandiri Software Engineering

  10. Pengembangan Aplikasi dengan B Bayu Tenoyo - Studi Mandiri Software Engineering

  11. Atelier B • Ada versi gratisnya selama tidak digunakan untuk komersial. Bayu Tenoyo - Studi Mandiri Software Engineering

  12. Demo Atelier B Bayu Tenoyo - Studi Mandiri Software Engineering

  13. 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. Bayu Tenoyo - Studi Mandiri Software Engineering

  14. Refinement Model - Spesikasi Bayu Tenoyo - Studi Mandiri Software Engineering

More Related