CHƯƠNG 7 ký PHÁP đối THOẠI và THIẾT kế

Prepared by MSc Luong manh Ba Chương VII: Ký pháp đối thoại thiết kế Tổng quan Đối thoại mức độ ngữ nghĩa HCI Nó giống với kịch diễn, trừ ND MT, có nhiều lựa chọn • Ký pháp dùng để mô tả đối thoại là: i) Lưu đồ: dễ dàng lĩnh hội ii) Văn bản: Dễ cho phân tích hình thức • Đối thoại liên kết với: i) Ngữ nghĩa HT, mà thực ii) Biểu diễn HT: dáng vẻ HUT, Falt of IT  Dept of SE, 2002 HCI - Two Prepared by MSc Luong manh Ba Tổng quan (tiếp) • Mô tả hình thức dùng phân tích cho: i) hành động không quán ii) khó khăn hành động dự trữ iii) mục thiếu iv) lỗi tiềm ẩn Nội dung 1)Đối thoại gì? 2) Ký pháp đồ hoạ 3) Ký pháp văn 4) Ngữ nghĩa đối thoại + Thí dụ HUT, Falt of IT  Dept of SE, 2002 HCI - Two Prepared by MSc Luong manh Ba 7.1 Khái niệm đối thoại - Đối thoaị ngược với độc thoại, trao đổi thành phần - Trong thiết kế tương tác người-máy, đối thoại có nhiều nghĩa riêng biệt cấu trúc trao đổi ND HT máy tính Y/c T/L Đối thoại HUT, Falt of IT  Dept of SE, 2002 HCI - Two Prepared by MSc Luong manh Ba Đối thoại gì? mức độ cấu trúc: 1) Mức độ từ vựng: mức độ thấp Đó hình dạng, biểu tượng, phím nhấn 2) Mức độ cú pháp: Thứ tự cấu trúc đầu vào, đầu (trong ngôn ngữ tự nhiên ngữ pháp xây dựng câu) 3) Mức độ ngữ nghĩa: ý nghĩa trao đổi theo thuật ngữ hiệu cấu trúc liệu bên MT với giới bên Trong giao tiếp ND (User Interface), thuật ngữ đối thoại thường đồng nghĩa với mức độ cú pháp HUT, Falt of IT  Dept of SE, 2002 HCI - Two Prepared by MSc Luong manh Ba Đối thoại người có cấu trúc - Ngược với đàm thoại ND, đối thoại với MT thường có cấu trúc bị ràng buộc Tuy nhiên có đàm thoại có cấu trúc thường diễn có nhiều bên (con người) tham gia - Các thành viên trả lời câu xác định trước Tuy nhiên phụ thuộc tình khác nhau, không lường trước - Trong giao tiếp Người - máy, nhiều không xác định hết tình nhiều máy đưa thông báo khó lường=>cú pháp liên kết với ngữ ngiã ứng dụng? HUT, Falt of IT  Dept of SE, 2002 HCI - Two Prepared by MSc Luong manh Ba Ký pháp thiết kế đối thoại - Một số kỹ sư MT quen thuộc với số ký pháp lại cần đến ký pháp đặc biệt? Chúng ta có NNLT không dùng chúng? - NNLT với cấu trúc không đủ dể mô tả Chúng ta muốn tách riêng phân tích tách phần tử giao tiếp chương trình khỏi ngữ cảnh tính toán HUT, Falt of IT  Dept of SE, 2002 HCI - Two Prepared by MSc Luong manh Ba 7.2 Ký pháp đồ hoạ Nội dung Mạng dịch chuyển trạng thái (STN) Mạng dịch chuyên trạng thái phân cấp (HSTN) Đối thoại tương tranh bùng nổ tổ hợp Lưu đồ luồng (Flow Chart) Lưu đồ JSD (Jackson Structured Design) HUT, Falt of IT  Dept of SE, 2002 HCI - Two Prepared by MSc Luong manh Ba Mạng dịch chuyển trạng thái • Mạng dịch chuyển trạng thái sử dụng từ sớm để mô tả đối thoại (1960) • Dùng đối tượng để mô tả: - Circle: mô tả tả trạng thái HT - Mũi tên: mô tả dịch chuyển trạng thái - hành động hay kiện Trên mũi tên có nhãn HUT, Falt of IT  Dept of SE, 2002 HCI - Two Prepared by MSc Luong manh Ba Mạng dịch chuyển trạng thái (tiếp) Thí dụ mạng STN biểu diễn công cụ vẽ menu gồm vòng tròn đường HUT, Falt of IT  Dept of SE, 2002 HCI - Two Prepared by MSc Luong manh Ba Thí dụ (tiếp) Hoạt động HT: - “Menu” trạng thái HT đợi ND nhấn “circle” hay “line” từ menu - “Circle2” trạng thái sau ND chọn vòng tròn trung tâm đợi điểm vòng - “Circle1” trạng thái HT đợi ND chọn vòng tròn trung tâm Nếu ND chọn điểm, HT chuyển sang trạng thái “Circle2” - Trạng thái “Start”, “Finish” trạng thái không thật Nó giúp cho ta dễ theo dõi biểu diễn đối thoại phức tạp HUT, Falt of IT  Dept of SE, 2002 HCI - Two 10 Prepared by MSc Luong manh Ba 7.4.2 Liên kết với NNLT { input {key:| key_c >=‘0’ && key_c digit, sign return tools riêng tool number Echo: trả lại ký tự cho Dept ND.of SE, 2002 HUT, Falt of IT HCI - Two 47 Prepared by MSc Luong manh Ba 7.4.3 Liên kết với đặc tả hình thức • SPI (Specifying and Prototypeing Interaction) bao gồm phần: event CSP event ISL • Event CSP: ký pháp tương tự CSP • Event ISL: mô tả ngữ nghĩa đối thoại • Phần CSP mô tả CSP, nhiên, kiện ứng với kiện ISL • ISL: chuẩn cục phụ thuộc cục vào ngôn ngữ chủ HUT, Falt of IT  Dept of SE, 2002 HCI - Two 48 Prepared by MSc Luong manh Ba 7.4.3 Liên kết với đặc tả hình thức Thí dụ • CSP mô tả trình login: Login = login-mess -> get-name ->Passwd Passwd = passwd-mess -> (invalid ->Login [] valid Session) Session = ( logout -> Login [] command -> execute -> Session) ⇒ Một nhập bị lỗi mô tả sau: login: toto passwd: b9fkG Sorry bad user-id/password HUT, Falt of IT  Dept of SE, 2002 HCI - Two 49 Prepared by MSc Luong manh Ba 7.4.3 Liên kết với đặc tả hình thức Thí dụ (tiếp) • Hai kiện login-mess get-name điều khiển dòng đầu đối thoại: event login-mess = prompt: true out : “login” event get-name = uses: input set user-id = input Quá trình mô tả cho nhận password tương tự HUT, Falt of IT  Dept of SE, 2002 HCI - Two 50 Prepared by MSc Luong manh Ba 7.5 Phân tích thiết kế đối thoại • Các cách thức mà đối thoại phân tích nhằm phát tính tiện dụng tiềm cách xem xét nguyên tắc (chương 4) • Trước tiên tập trung vào hành động ND, trạng thái đối thoại Cuối xem xét cách biểu diễn từ vựng HUT, Falt of IT  Dept of SE, 2002 HCI - Two 51 Prepared by MSc Luong manh Ba Tính chất hành động Đầy đủ - cung bị thiếu - unforeseen circumstances Xác định - Nhiều cung cho hành động - Cung cấp: định ứng dụng - Chú ý: luật sản xuất - Thoát nhiều mức lồng HUT, Falt of IT  Dept of SE, 2002 HCI - Two 52 Prepared by MSc Luong manh Ba Tính chất hành động (tiếp) Nhất quán - Cùng hành động hiệu - Thể thức tính quan sát HUT, Falt of IT  Dept of SE, 2002 HCI - Two 53 Prepared by MSc Luong manh Ba Tính chất hành động (tiếp) HUT, Falt of IT  Dept of SE, 2002 HCI - Two 54 Prepared by MSc Luong manh Ba Tính chất trạng thái Tính đạt tới - Nhận thứ từ vị trí - Dễ dàng Tính thuận nghịch - Có thể nhận trạng thái trước? - Nếu không Undo Các trạng thái nguy hiểm - Một sô trạng thái không muốn HUT, Falt of IT  Dept of SE, 2002 HCI - Two 55 Prepared by MSc Luong manh Ba Tính chất trạng thái (tiếp) F1 :change mode F2 : exit and save) Esc: no mode change HUT, Falt of IT  Dept of SE, 2002 HCI - Two 56 Prepared by MSc Luong manh Ba Tính chất trạng thái (tiếp) HUT, Falt of IT  Dept of SE, 2002 HCI - Two 57 Prepared by MSc Luong manh Ba Mô thức từ vựng HUT, Falt of IT  Dept of SE, 2002 HCI - Two 58 Prepared by MSc Luong manh Ba Tổng kết thí dụ HUT, Falt of IT  Dept of SE, 2002 HCI - Two 59 Prepared by MSc Luong manh Ba Tổng kết thí dụ (tiếp) HUT, Falt of IT  Dept of SE, 2002 HCI - Two 60 [...]... Prepared by MSc Luong manh Ba 7. 3 Ký pháp văn bản Các ký pháp • Văn phạm • Luật sản xuất • CSP (Communicating Sequential Process) • Thí dụ HUT, Falt of IT  Dept of SE, 2002 HCI - Two 22 Prepared by MSc Luong manh Ba 7. 3.1 Văn phạm • Văn phạm hình thức cũng được dùng khá phổ biến như một ký pháp văn phạm BNF là một dạng hay dùng như trong mô tả NNLT và trong mô tả giao tiếp • Cú pháp BNF expr ::= empty |... HCI - Two 13 Prepared by MSc Luong manh Ba Đối thoại tương tranh - STN có thể rất tốt khi biểu diễn đối thoại tuần tự, chọn hay lặp - Tuy nhiên nó sẽ dần kém đi tác dụng nếu phải biểu diễn các phần tương tranh - Xét thí dụ một hội thoại đơn giản kiểu văn bản trong một hệ STVB HUT, Falt of IT  Dept of SE, 2002 HCI - Two 14 Prepared by MSc Luong manh Ba Đối thoại tương tranh (tiếp) Hộp lựa chọn chứa...Prepared by MSc Luong manh Ba Mạng dịch chuyển trạng thái phân cấp • Được sử dụng khi đối thoại khá phức tạp Người ta chia đối thoại thành các đối thoại nhỏ (subdialog) • Thí dụ như main menu có 3 lựa chọn (3 sub menu) được biểu diễn bởi 1 đồ thị menu và có text menu => Biểu diễn HT đầy dủ nhờ STN phân cấp HUT, Falt of IT  Dept of SE, 2002 HCI - Two 11 Prepared by MSc... tương tranh) • Quá trình đại số (Process Algebras) là một lớp ký pháp hình thức được phát triển cho các quá trình tương tự • CSP là một lớp con đựoc phát triển cho đặc tả đối thoại HUT, Falt of IT  Dept of SE, 2002 HCI - Two 33 Prepared by MSc Luong manh Ba 7. 3.3 CPS và đại số sự kiện (tiếp) • CSP được sử dụng vì: - đặc tả cho cả tuần tự và tương tranh - tính dẽ hiểu • Thí dụ Draw-menu =( select -... Prepared by MSc Luong manh Ba Hệ thống luật PPS (tiếp) Luật thứ hai của HT luật trên, hành động “rest-line” thiết lập thuộc tính “line state” và sẽ loại bỏ giá trị trước là “start line” HUT, Falt of IT  Dept of SE, 2002 HCI - Two 32 Prepared by MSc Luong manh Ba 7. 3.3 CPS và đại số sự kiện • Ký pháp STN rất phù hợp với việc điều khiển tương tranh; trong khi đó luật sản xuất lại ngược lại • Việc xử lý... MSc Luong manh Ba 7. 3.1 Văn phạm (tiếp) • Đa dạng hơn biểu thức chính qui hay STN • Không có biểu diễn tương tranh • Có các công cụ để thực hiện như trên Unix có công cụ “yacc” hay “lex” cho văn phạm chính qui HUT, Falt of IT  Dept of SE, 2002 HCI - Two 24 Prepared by MSc Luong manh Ba 7. 3.2 Luật sản xuất • Đã xuất hiện trong mô hình CCT hay trong mô tả thành phần đối thoại của UIMS (chương 8) • Dạng... có thể là nghiêng, đậm hay gạch dưới và cũng có thể là bất kỳ tổ hợp nào của 3 thuộc tính trên Nếu chúng ta nhìn riêng mỗi phím chúng ta có 1 STN 2 trạng thái (hình trang bên) Tuy nhiên, nếu ta muốn biểu diễn tổ hợp trạng thái, cần tổ hợp lưu đồ HUT, Falt of IT  Dept of SE, 2002 HCI - Two 15 Prepared by MSc Luong manh Ba Đối thoại tương tranh (tiếp) Tổ hợp đậm và nghiêng Đồ thị STN đơn HUT, Falt of... HCI - Two 16 Prepared by MSc Luong manh Ba Đối thoại tương tranh (tiếp) n toggles => 2n trạng thái HUT, Falt of IT  Dept of SE, 2002 HCI - Two 17 Prepared by MSc Luong manh Ba Flow charts - Quen thuộc với Người LT - Hộp là quá trình hay là một quyết định - Sự kiện không phải là trạng thái - Sử dụng nhiều loại hộp khác nhau để biểu diễn các hoạt động khác nhau và nó quan hệ kiểu hướng NLT hơn là hướng... kiện HUT, Falt of IT  Dept of SE, 2002 HCI - Two 35 Prepared by MSc Luong manh Ba 7. 3.3 CPS và đại số sự kiện (tiếp) • Do-circle là hoàn toàn tuần tự Khi HT thực hiện Do-circle, trước tiên cần ND nhấn phím chuột, tiếp sau là 1 sự kiện trong “set centre“ để xác định vị trí con trỏ Tiếp theo nhận 1 lần nhấn chuột rồi vẽ và kết thúc bởi Skip • Do-line cũng là tuần tự Dấu “;” để chỉ quá trình tuần tự, cái... {rubber band-off, rubber band-on} iv)Menu: {highlight-off, highlight-line, highlight-circle } v)Draw: {draw-nothing, draw-line} Thuộc tính thứ nhất được thiết lập tự động khi ND thựchiện 1 hành động có liên quan Thuộc tính thứ hai được dùng bởi đối thoại để lưu lại vết của các trạng thái Ba thuộc tính cuối dùng để điều khiển sự đáp ứng của HT HUT, Falt of IT  Dept of SE, 2002 HCI - Two 30 Prepared ... dung 1 )Đối thoại gì? 2) Ký pháp đồ hoạ 3) Ký pháp văn 4) Ngữ nghĩa đối thoại + Thí dụ HUT, Falt of IT  Dept of SE, 2002 HCI - Two Prepared by MSc Luong manh Ba 7. 1 Khái niệm đối thoại - Đối thoaị... - Two 41 Prepared by MSc Luong manh Ba 7. 4 Ngữ nghĩa đối thoại • Mục đích miêu tả đối thoại là: giao tiếp nhà thiết kế hay công cụ thiết kế • Miêu tả đối thoại dùng để đặc tả hình thức, phần hợp... lường=>cú pháp liên kết với ngữ ngiã ứng dụng? HUT, Falt of IT  Dept of SE, 2002 HCI - Two Prepared by MSc Luong manh Ba Ký pháp thiết kế đối thoại - Một số kỹ sư MT quen thuộc với số ký pháp lại