specification and description language sdl n.
Download
Skip this Video
Loading SlideShow in 5 Seconds..
Specification and Description Language (SDL) PowerPoint Presentation
Download Presentation
Specification and Description Language (SDL)

Loading in 2 Seconds...

play fullscreen
1 / 16

Specification and Description Language (SDL) - PowerPoint PPT Presentation


  • 116 Views
  • Uploaded on

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.

loader
I am the owner, or an agent authorized to act on behalf of the owner, of the copyrighted work described.
capcha
Download Presentation

Specification and Description Language (SDL)


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.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.


- - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - -
    Presentation Transcript
    1. Specification and Description Language (SDL) olehBudi 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-88 • SDL-92 • SDL-2000 • SDL biasanya digunakan bersama dengan • 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 • Specificationmendefinisikan type • Typeabstraction dari instance dengan sifat (property) yang sama • Instancememiliki 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 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)

    9. 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. Block Instance • Process instance berada dalam block instance • Process instance di dalam block instance saling bekomunikasi dengan signal route instance

    11. Block instance Signal routeinstance Processinstance Signal routeinstance Processinstance Channel instance

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

    13. Environment System instance Channelinstance Blockinstance Channelinstance Blockinstance Channelinstance

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