1 / 10

Pertemuan Ketigabelas Model Sistem

Pertemuan Ketigabelas Model Sistem. Pendahuluan. Formalisasi standar Notasi rekayasa perangkat lunak digunakan untuk menjelaskan perilaku yang dibutuhkan pada sistem interaktif tertentu Model interaksi

branxton
Download Presentation

Pertemuan Ketigabelas Model Sistem

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. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. PertemuanKetigabelasModel Sistem Jaringan Internet

  2. Pendahuluan • Formalisasi standar • Notasi rekayasa perangkat lunak digunakan untuk menjelaskan perilaku yang dibutuhkan pada sistem interaktif tertentu • Model interaksi • Model matematikauntuktujuantertentupadasisteminteraktif, digunakanuntukmenjelaskanpropertikegunaanpada level umum. • Analisis status/kejadian • Suatucontohdarimetodepenggambaranpada level rekayasabaikpemodelanformal danpsikologinaif Jaringan Internet

  3. Relasidengan Dialog • Pemodelandialog dihubungkankesemantik • Semantiksistemmempengaruhistruktur dialog • Tetapibias adalahberbeda • Daripadamendikteaksiapa yang legal, formalisasiinimenjelaskansetiapaksiapa yang harusdikerjakankesistem Jaringan Internet

  4. Ironi • Komputersecarainherenadalahmesinmatematika • Tetapimanusiabukanlahsepertiitu • Teknik formal tidaklahterlaluditerimauntukpendikteansistemapakah yang seharusnyadikerjakanuntukpengguna! Jaringan Internet

  5. FormalisasiKomputasiUmum • Formalisasi rekayasa perangkat lunak standar dapat digunakan untuk menjelaskan suatu sistem interaktif • Mengacu pada metode formal • Berbasis mode – menjelaskan state sistemdanoperasinya • Aljabar – menjelaskan efek dari urutan aksi • Lojik yang diperluas (extended logic) – menjelaskansaatsesuatuterjadidansiapa yang bertanggungjawab Jaringan Internet

  6. PenggunaanNotasi Formal RekayasaPerangkatLunak • Untukkomunikasi • Bahasaumum • Menghilangkanambigu/kerancuan (mungkin) • Ringkasdantepat • Untukanalisis • Konsistensi internal • Konsistensieksternal • Dengan program akhirtertentu • Yang berkaitandengankebutuhan (keselamatan, keamanan, IMK) • Spesifikvsgenerik Jaringan Internet

  7. FormalisasiBerbasis Model • Rekanpadumatematispadagagasanpemrogramanumum • Diperlihatkanpadatabeldi bawahberikut Jaringan Internet

  8. MetodeBerbasis Model • Contoh: paket menggambar grafik pada gambar berikut ini. Jaringan Internet

  9. cont • Titik-titikdiurutkansecaraberpasangan • Terdapatpelbagaijenisbentukan (shape) Jaringan Internet

  10. SEKIAN Jaringan Internet

More Related