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

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)

SDL Mengalami evolusi SDL biasanya digunakan bersama dengan SDL-88 MSC: Message Sequence Chart ASN.1 TTCN

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

System dan environment SDL menjabarkan sebuah system Bisa open atau closed Yang bukan bagian dari system disebut environment Open system berinteraksi dengan environment

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)

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

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

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)

Block Instance Process instance berada dalam block instance Process instance di dalam block instance saling bekomunikasi dengan signal route instance

Block instance Signal route instance Process instance Channel instance

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

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

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

More … To be written …

Bahan Bacaan SDL Forum web site http://www.sdl-forum.org