Pertemuan Ketigabelas Model Sistem Jaringan Internet Pendahuluan Formalisasi
Pertemuan Ketigabelas Model Sistem Jaringan Internet
Pendahuluan § Formalisasi standar § Notasi rekayasa perangkat lunak digunakan untuk menjelaskan perilaku yang dibutuhkan pada sistem interaktif tertentu § Model interaksi § Model matematika untuk tujuan tertentu pada sistem interaktif, digunakan untuk menjelaskan properti kegunaan pada level umum. § Analisis status/kejadian § Suatu contoh dari metode penggambaran pada level rekayasa baik pemodelan formal dan psikologi naif Jaringan Internet
Relasi dengan Dialog • Pemodelan dialog dihubungkan ke semantik • Semantik sistem mempengaruhi struktur dialog • Tetapi bias adalah berbeda • Daripada mendikte aksi apa yang legal, formalisasi ini menjelaskan setiap aksi apa yang harus dikerjakan ke sistem Jaringan Internet
Ironi • Komputer secara inheren adalah mesin matematika • Tetapi manusia bukanlah seperti itu • Teknik formal tidaklah terlalu diterima untuk pendiktean sistem apakah yang seharusnya dikerjakan untuk pengguna! Jaringan Internet
Formalisasi Komputasi Umum • Formalisasi rekayasa perangkat lunak standar dapat digunakan untuk menjelaskan suatu sistem interaktif • Mengacu pada metode formal • Berbasis mode – menjelaskan state sistem dan operasinya • Aljabar – menjelaskan efek dari urutan aksi • Lojik yang diperluas (extended logic) – menjelaskan saat sesuatu terjadi dan siapa yang bertanggungjawab Jaringan Internet
Penggunaan Notasi Formal Rekayasa Perangkat Lunak • • Untuk komunikasi • Bahasa umum • Menghilangkan ambigu/kerancuan (mungkin) • Ringkas dan tepat Untuk analisis • Konsistensi internal • Konsistensi eksternal – Dengan program akhir tertentu – Yang berkaitan dengan kebutuhan (keselamatan, keamanan, IMK) • Spesifik vs generik Jaringan Internet
Formalisasi Berbasis Model • Rekan padu matematis pada gagasan pemrograman umum • Diperlihatkan pada tabel di bawah berikut Jaringan Internet
Metode Berbasis Model • Contoh: paket menggambar grafik pada gambar berikut ini. Jaringan Internet
cont • Titik-titik diurutkan secara berpasangan • Terdapat pelbagai jenis bentukan (shape) Jaringan Internet
SEKIAN Jaringan Internet
- Slides: 10