Specification and Description Language (SDL)

Presentasi berjudul: "Specification and Description Language (SDL)"— Transcript presentasi:

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

2 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 SDL Mengalami evolusi SDL biasanya digunakan bersama dengan SDL-88
MSC: Message Sequence Chart ASN.1 TTCN

4 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 System dan environment
SDL menjabarkan sebuah system Bisa open atau closed Yang bukan bagian dari system disebut environment Open system berinteraksi dengan environment

6 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 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 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 Process instance Memiliki Process instance berada antara state:
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 Block Instance Process instance berada dalam block instance
Process instance di dalam block instance saling bekomunikasi dengan signal route instance

11 Block instance Signal route instance Process instance
Channel instance

12 Block instance Bisa dipartisi menjadi lower-level block instance dengan channel instance. Sehingga menyerupai tree structure

13 Environment System instance Block instance Block instance
Channel instance Block instance Channel instance Block instance Channel instance

14 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 More … To be written …

16 Bahan Bacaan SDL Forum web site