�ݺ�ߣ

Arfianti (092904019)

Pendidikan Teknik Informatika dan Komputer
Universitas Negeri Makassar
2011

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


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

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

4. Finction (terbatas)

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.

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

Created By Arfianti


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


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


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).


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.

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.


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.

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.


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).


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

�ݺ�ߣ

Model sistem

More Related Content

Model sistem