Specification and Description Language (SDL)

Specification and Description Language (SDL) olehBudi 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-88 • SDL-92 • SDL-2000 • SDL biasanya digunakan bersama dengan • 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 • Specificationmendefinisikan type • Typeabstraction dari instance dengan sifat (property) yang sama • Instancememiliki 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 signal Processinstance Processinstance 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 • 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)

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

Block instance Signal routeinstance Processinstance Signal routeinstance Processinstance Channel instance

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

Environment System instance Channelinstance Blockinstance Channelinstance Blockinstance Channelinstance

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 sitehttp://www.sdl-forum.org

Specification and Description Language (SDL)