MODEL SISTEM 1. Pendahuluan 2. relasi dengan dialog 3. ironi 4. formalisasi komputasi umum 5. penggunaan notasi formal rekayasa perangkat lunak 6. formalisasi berbasis model 7. isu antarmuka 8. notasi aljabar 9. isu untuk notasi aljabar 10. pengekspresian property

1. MODEL
SISTEM
Pertemuan 13
Dosen : Endang retnoningsih, m.kom
www.endangretno.com

2. Kebijaksanaan tidak memilih positif atau
negatif.Mirip listrik,
ketika kedua kutub positif-negatif terkelola
baik, ada cahaya yang
menyala.
inspirasi hari ini:

3. Model Sistem
• mengenai model sistem dalam hubungannya dengan interaksi
manusia dan komputer
Created by HSH for STMIK_INTI 2008 3

4. 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
Created by HSH for STMIK_INTI 2008 4

5. 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
Created by HSH for STMIK_INTI 2008 5

6. 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!
Created by HSH for STMIK_INTI 2008 6

7. 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
• Z, VDM
• Aljabar – menjelaskan efek dari urutan aksi
• OBJ, larch, ACT-ONE
• Lojik yang diperluas (extended logic) – menjelaskan saat
sesuatu terjadi dan siapa yang bertanggungjawab
• Lojik sementara (temporal) dan deontic (obligasi)
Created by HSH for STMIK_INTI 2008 7

8. 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
Created by HSH for STMIK_INTI 2008 8

9. Formalisasi Berbasis Model
• Rekan padu matematis pada gagasan pemrograman umum
• Diperlihatkan pada tabel di bawah berikut
Created by HSH for STMIK_INTI 2008 9

10. Isu Antarmuka
• Masalah framing ‘hal yang lain akan tetap sama’ dapat
dirumitkan dengan state yang tidak bervariasi
• Konsistensi internal apakah operasi mendefinisikan transisi
legal?
• Konsistensi eksternal harus diformulasikan sebagai teori untuk
membuktikan Jelas untuk penghalusan/perbaikan, tidak begitu
jelas untuk kebutuhan
• Separasi (pemilahan) dari fungsionalitas sistem dan presentasi
tidaklah eksplisit
Created by HSH for STMIK_INTI 2008 10

11. Notasi Aljabar
• Notasi berbasis model menekankan pada konstruksi
representasi secara eksplisit dari suatu state sistem
• Notasi aljabar hanya menyediakan informasi secara implisit
mengenai state sistem
• Operasi berbasis model didefinisikan dengan hal-hal yang
berhubungan dengan efek yang ditimbulkan oleh mereka
pada komponen sistem
• Operasi aljabar didefinisikan dengan hal-hal yang
berhubungan dengan relasi mereka dengan operasi-operasi
yang lain
Created by HSH for STMIK_INTI 2008 11

12. Isu untuk Notasi Aljabar
• Mudah untuk digunakan cara pikir berbeda bila dibandingkan
dengan pemrograman tradisional
• Konsistensi internal adakah sembarang aksioma yang
kontradiksi dengan yang lainnya?
• Konsistensi eksternal yang berhubungan dengan sistem yang
dapat dieksekusi, kurang jelas.
• Konsistensi eksternal yang berhubungan dengan kebutuhan
dibuat secara eksplisit dan dimungkinkan agar otomatis
• Kekomplitan apakah setiap operasi telah lengkap didefinisikan?
Created by HSH for STMIK_INTI 2008 12

13. Pengekspresian Properti
• WYSIWYG
• Apakah maksud sebenarnya dari istilah ini, dan
bagaimana kita mememeriksa produk X untuk melihat jika
itu memenuhi klaim bahwa ia adalah WYSIWYG?
• Keterbatasan jangkauan properti umum yang mendukung
WYSIWYG
• Pengamatan apa yang dapat diceritakan mengenai state
sistem saat itu dari display
• Prediktabilitas apa yang dapat diceritakan mengenai
perilaku masa depan
Created by HSH for STMIK_INTI 2008 13

14. Literatur
• Interaksi Manusia dan Komputer, Irfan Subakti, M.Sc.Eng.
2006. Institut Teknologi Sepuluh Nopember Surabaya
Created by HSH for STMIK_INTI 2008 14

15. Created by HSH for STMIK_INTI 2008 15