Presentasi sedang didownload. Silahkan tunggu

Presentasi sedang didownload. Silahkan tunggu

METODA FORMAL – Budi Rahardjo, Institut Teknologi Bandung – 2002 Specification and Description Language (SDL) oleh Budi Rahardjo Mata Kuliah “Metoda Formal”

Presentasi serupa


Presentasi berjudul: "METODA FORMAL – Budi Rahardjo, Institut Teknologi Bandung – 2002 Specification and Description Language (SDL) oleh Budi Rahardjo Mata Kuliah “Metoda Formal”"— Transcript presentasi:

1 METODA FORMAL – Budi Rahardjo, Institut Teknologi Bandung – 2002 Specification and Description Language (SDL) oleh Budi Rahardjo Mata Kuliah “Metoda Formal” Pasca Sarjana – Teknik Elektro, ITB

2 METODA FORMAL – Budi Rahardjo, Institut Teknologi Bandung – 2002 Tentang SDL Bahasa yang mengikuti standar ITU (International Telecommunication Union) Recommendation Z.100. –Dapat digunakan dari level requirement sampai ke implementasi –Bisa digunakan untuk sistem real-time –Memiliki presentasi graphical –Berdasarkan model communicating processes (extended finite state machines) –Object oriented description (dgn komponen SDL)

3 METODA FORMAL – Budi Rahardjo, Institut Teknologi Bandung – 2002 SDL Mengalami evolusi –SDL-88 –SDL-92 –SDL-2000 SDL biasanya digunakan bersama dengan –MSC: Message Sequence Chart –ASN.1 –TTCN

4 METODA FORMAL – Budi Rahardjo, Institut Teknologi Bandung – 2002 SDL SDL terfokus pada aspek behavioral dari sistem (bukan tentang power consumption, ukuran) –Specification: requirement tanpa memperdulikan implementasi –Description: merefleksikan struktur –SDL bisa dua-duanya

5 METODA FORMAL – Budi Rahardjo, Institut Teknologi Bandung – 2002 System dan environment SDL menjabarkan sebuah system –Bisa open atau closed Yang bukan bagian dari system disebut environment –Open system berinteraksi dengan environment

6 METODA FORMAL – Budi Rahardjo, Institut Teknologi Bandung – 2002 Specification, type, instance Konsep –Specification mendefinisikan type –Type abstraction dari instance dengan sifat (property) yang sama –Instance memiliki lifetime (dibuat, exist untuk beberapa waktu, kemudian mati)

7 METODA FORMAL – Budi Rahardjo, Institut Teknologi Bandung – 2002 System instance Terdiri atas gabungan behaviour dari beberapa process instance Process instance –State machine yang bekerja secara autonomous dan concurrent –Komunikasi antar process instance dilakukan secara asinkron melalui message yang disebut signals ( sebetulnya signal instances) –Process instance dapat mengirimkan dan menerima signals dari environment

8 METODA FORMAL – Budi Rahardjo, Institut Teknologi Bandung – 2002 System instance behaviour Setiap process instance memiliki alamat yang unik Signal mengandung alamat dari process pengirim dan penerima (dan juga value yang dikirimkan jika ada) Process instance System instance signal

9 METODA FORMAL – Budi Rahardjo, Institut Teknologi Bandung – 2002 Process instance Memiliki –storage untuk menyimpan variabel –FIFO input queue (untuk menyimpan incoming signals) Process instance berada antara state: –waiting –Melakukan transition ke state lain, yang diinisiasi oleh signals di input queue. Signals yang menginisiasi transition ini kemudian dihapus dari input queue (dikatakan telah consumed)

10 METODA FORMAL – Budi Rahardjo, Institut Teknologi Bandung – 2002 Block Instance Process instance berada dalam block instance Process instance di dalam block instance saling bekomunikasi dengan signal route instance

11 METODA FORMAL – Budi Rahardjo, Institut Teknologi Bandung – 2002 Process instance Block instance Signal route instance Channel instance

12 METODA FORMAL – Budi Rahardjo, Institut Teknologi Bandung – 2002 Block instance Bisa dipartisi menjadi lower-level block instance dengan channel instance. Sehingga menyerupai tree structure

13 METODA FORMAL – Budi Rahardjo, Institut Teknologi Bandung – 2002 System instance Channel instance Block instance Channel instance Environment

14 METODA FORMAL – Budi Rahardjo, Institut Teknologi Bandung – 2002 Data Type SDL menggunakan Abstract Data Type –Implementation-independent –Dikenal dengan istilah sorts Set of values Set of literals (value names) Set of operations on these values Set of equations defining the operations Ada yang predefined: Integer, Boolean, Character

15 METODA FORMAL – Budi Rahardjo, Institut Teknologi Bandung – 2002 More … To be written …

16 METODA FORMAL – Budi Rahardjo, Institut Teknologi Bandung – 2002 Bahan Bacaan SDL Forum web site


Download ppt "METODA FORMAL – Budi Rahardjo, Institut Teknologi Bandung – 2002 Specification and Description Language (SDL) oleh Budi Rahardjo Mata Kuliah “Metoda Formal”"

Presentasi serupa


Iklan oleh Google