Dokumen tersebut membahas model sistem interaksi manusia dan komputer, termasuk formalisasi standar, model interaksi, dan analisis event. Ada beberapa jenis model sistem seperti specific system dan generic issues. Formalisasi standar menggunakan notasi matematika untuk merepresentasikan kondisi dan operasi sistem.

1. Arfianti (092904019)
Pendidikan Teknik Informatika dan Komputer
Universitas Negeri Makassar
2011

2. Interaksi Manusia dan Komputer
Created By Arfianti
Bab ini membahas model sistem, seperti formalisasi standar,
model interaksi dan analis event. Bahasan ini fokus pada cara
memodelkan semantik dari sebuah sistem interaktif.
Tipe dari model sistem adalah :
1. Specific system : dialog sebagai mode utama dan definisi
kondisi penuh (full state)
2. Generic issues : model interaksi abstrak
Pendidikan Teknik Informatika dan Komputer
Universitas Negeri Makassar

3. Interaksi Manusia dan Komputer
Created By Arfianti
Formalisasi standar merupakan suatu notasi perhitungan yang
menetukan spesifikasi sistem. Formalisasi rekayasa perangkat
lunak standar dapat digunakan untuk menjelaskan suatu
sistem interaksi yang mengacu pada metode formal, seperti :
1. Berbasis mode, untuk menjelaskan kondisi sistem dan
operasinya
2. Aljabar, menjelaskan fek dari urutan aksi
3. Logika perluasan, menjelaskan saat sesuatu terjadi (logika
sementara) Teknik
Pendidikan Informatika dan Komputer
Universitas Negeri Makassar

4. Interaksi Manusia dan Komputer
Created By Arfianti
Menggunakan notasi matematika secara umum seperti jumlah,
himpunan, dan fungsi untuk merepresentasikan suatu kondisi
dan operasi yang ada pada kondisi. Deskripsi kondisi
menggunakan variabel. Tipe dari variabel adalah sebagai
berikut :
1. Tipe dasar
2. Individual item dari kumpulan
3. Subset dari kumpulan yang lebih besar
Pendidikan Teknik Informatika dan Komputer
4. Finction (terbatas)
Universitas Negeri Makassar

5. Interaksi Manusia dan Komputer
Created By Arfianti
Ada beberapa isu interface, seperti :
1. Framing : hal lain yang akan tetap sama dapat dibuat rumit
dengan kondisi yang tidak bervariasi.
2. Konsistensi internal : apakah operasi mendefinisikan
transisi legal
3. Konsistensi eksternal : harus diformulasikan sebagai teori
untuk membuktikan.
4. Separasi : pemilahan dari fungsionalitas sistem dan
presentasi tidaklah eksplisit.
Pendidikan Teknik Informatika dan Komputer
Universitas Negeri Makassar

6. Interaksi Manusia dan Komputer
Created By Arfianti
Notasi berbasis model menekankan pada konstruksi
representasi secara eksplisit dari suatu kondisi sistem
sedangkan notasi aljabar hanya menyediakan informasi
secara impilisit mengenai kondisi sistem. Operasi berbasis
model didefinisikan dengan hal-hal yang berhubungan dengan
efek yang ditimbulkan oleh mereka pada komponen sistem
sedngkan operasi aljabar didefinisikan dengan hal-hal yang
berhubungan dengan relasi mereka dengan operasi-operasi
Pendidikan Teknik
yang lain. Informatika dan Komputer
Universitas Negeri Makassar

7. Interaksi Manusia dan Komputer
Created By Arfianti
Pendidikan Teknik Informatika dan Komputer
Universitas Negeri Makassar

8. Interaksi Manusia dan Komputer
Created By Arfianti
Notasi berbasis model dan berbasis aljabar dapat memperluas
penggunaan logika proporsional dan predikat.
Pengekspresian waktu (time), pertanggungjawaban
(responsibility) dan kebebasan (freedom), serta ide, gagasan,
pikiran (notionis) sering diperlukan untu memenuhi kebutuhan
interaksi manusia dan komputer.
1. Logika proposisi
2. Logika predikat
Pendidikan Teknik Informatika dan Komputer
Universitas Negeri Makassar

9. Interaksi Manusia dan Komputer
Created By Arfianti
Time (waktu) dilihat sebagai rangkaian dari kejadian-kejadian
(events) operator dari logika temporal (temporal logic) adalah :
Always G funnier than A
Eventually G understand A
Never Rain in so, ca
Pendidikan Teknik Informatika dan Komputer
Universitas Negeri Makassar

10. Interaksi Manusia dan Komputer
Created By Arfianti
Waktu eksplisit (ecplixit time) pada logika temporal tidak
secara eksplisit menyebutkan eaktu sehingga beberapa
kebutuhan tidak dapat diekspresikan. Area riset yang aktif
tetapi tak terlalu banyak berhubungan dengan interaksi
manusia dan komputer karena degradasi gradual lebih penting
daripada kekritisan waktu (time cricitally).
Pendidikan Teknik Informatika dan Komputer
Universitas Negeri Makassar

11. Interaksi Manusia dan Komputer
Created By Arfianti
Logika Deontik (deontic logic) meliputi konsep agen
(human, corporate dan computer) yang bertanggung jawab
dan saling ketergantungan diantara agen. Operator umum:
permission dan obligation. Kedua operator ini menggunakan
dua argumen. Pertama adalah siapa yang memiliki permission
atau obligation yang kedua adalah apakah mereka diijinkan
atau diwajibkan untuk dibuat benar.
Pendidikan Teknik Informatika dan Komputer
Universitas Negeri Makassar

12. Interaksi Manusia dan Komputer
Created By Arfianti
Ada beberapa isu untuk perluasan ;
1. Properti keselamatan (safety), penetapan bahwa sesuatu
yang buruk tidak akan terjadi.
2. Properti kehidupan (liveness), penetapan bahwa sesuatu
yang baik telah terjadi.
3. Eksekutabilitas vs keekspresifan, mudah untuk
menjelaskan situasi yang tidak mungkin terjadi. Sulit untuk
mengepresikan kebutuhan yang tereksekusikan.
4. Isu kelompok dan denotik, obligasi atau kewajiban untuk
sistem pengguna tunggal mempunyai dampak pribadi.
Pendidikan Teknik Informatika dan Komputer
Universitas Negeri Makassar

13. Interaksi Manusia dan Komputer
Created By Arfianti
Pendidikan Teknik Informatika dan Komputer
Universitas Negeri Makassar

14. Interaksi Manusia dan Komputer
Created By Arfianti
Model komputasi umum tidaklah didesain dengan pengguna
dalam pemikirannya, kita membutuhkan model yang duduk
diantara formalitas rekayasa perangkat lunak dan pemahaman
interaksi manusia dan komputer. Ada beberapa metode,
seperti :
1. Formal, model PIE untuk mengepresikan properti interaktif
umum guna mendukung tingkat kegunaan.
2. Informal, arsitektur interaktif (MVC, PAC, ALV) untuk
memotivasi pemisahan dan modularisasi fungsionalitas
dan presentasi.
3. Semi Formal, analisis status event untuk melihat potongan
suatu sistem interaktif.
Pendidikan Teknik Informatika dan Komputer
Universitas Negeri Makassar

15. Interaksi Manusia dan Komputer
Created By Arfianti
Model pie adalah model kotaks hitam (black box), tidak untuk
representasi arsitektur internal dan konstruksi sistem
komputer., tetapi menggambarkan input dari user dan output
ke user. Perbedaan antara display sesaat dari sisem dan hasil
yang permanen merupakan pusat dari model PIE. Display
disimbolkan D dan hasil disimbolkan R. Prinsip observabilitas
merupakan hubungan antara display dan hasil.
Pendidikan Teknik Informatika dan Komputer
Universitas Negeri Makassar

16. Interaksi Manusia dan Komputer
Created By Arfianti
Aksi user memberi perintah (commands = C) biasa disebut
program. Semua sejarah dari perintah user disebut program (P
= seqC) dan efek current dikalkulasikan dari sejarah dengan
menggunakan fungsi interpretasi (I).
Pendidikan Teknik Informatika dan Komputer
Universitas Negeri Makassar

17. Interaksi Manusia dan Komputer
Created By Arfianti
Pada bagian ini akan dibahas tentang gerakan mouse, status
event, model hibrid, granularitas dan gestalt. Perilaku terus
menerus merupakan suatu antivitas antara event, objek
dengan gerakan terus menerus dan model waktu. Perilaku
interstitial meruapakan suatu bentuk kejadian dari model-
model perilaku. Ada beberapa kategoro seperti model terpisah,
analisis status event, dan model centrality
Pendidikan Teknik Informatika dan Komputer
Universitas Negeri Makassar