Được dựng trong nhiều khớa cạnh của TA Thớch hợp với cấu trỳc đối thoại hỡnh cõy

Một phần của tài liệu tương tác người máy, phần 2 phần thiết kế giao tiếp người dùng (Trang 27)

-Thớch hợp với cấu trỳc đối thoại hỡnh cõy -Kộm diễn tả song sỏng sủa hơn. Nú gần giống như HTA. Tuy nhiờn nú chớnh xỏc hơn Trang bờn, JSD diễn tả một HT nhõn sự. HT cho phộp cập nhật thụng tin về nhõn sự: bổ sung, hiện, xoỏ,...

Prepared by MSc Luong manh Ba

HUT, Falt. of IT Dept. of SE, 2002 HCI - Two. 162

Lưu đồ JSD(tiếp)

HUT, Falt. of IT Dept. of SE, 2002 HCI - Two. 163

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

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ỏpBNF

expr ::= empty | atom expr | `(' expr `)' expr

=> Biểu thức: rỗng/ biểu thức nguyờn tố/....

Prepared by MSc Luong manh Ba

HUT, Falt. of IT Dept. of SE, 2002 HCI - Two. 165

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

Prepared by MSc Luong manh Ba

HUT, Falt. of IT Dept. of SE, 2002 HCI - Two. 166

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ương8)

Dạng thể hiện: If cond then action

Và cú thể viết cond-> action hay cond: action

Cỏc luật được kớch hoạt và HT sỏnh phần cond của luật với cỏc sự kiện khởi tạo bởi ND. Khi cond là thoả, luật gọi là “fire” và hành động được thực hiện.

Hành động cú thể là đỏp ứng của ND hay sự thay đổi trạng thỏi của HT.

Chỳ ý: Thứ tự xuất hiện của luật là khụng quan trọng.

Prepared by MSc Luong manh Ba

Thớ dụ(tiếp)

Prepared by MSc Luong manh Ba

Thớ dụ(tiếp)

Hệ thống luật cú thể là sự kiện hay trạng thỏi hay pha trộn. Trong thớ dụ trờn: điều kiện và hành động chỉ đơn giản là sự kiện. Cú3 loại sự kiện:

i) Sự kiện ND(bắt đầu bởi chũ hoa)

ii) Sự kiện trong(bắt đầu bởi chũ thường): dựng bởi hội thoại để lưu lại vết

HUT, Falt. of IT Dept. of SE, 2002 HCI - Two. 169

Thớ dụ(tiếp)

Thớch hợp cho mụ tả tương tranh. Luật dựa trờn sự kiện

Khụng thớch hợp cho tuần tự hay trạng thỏi

Hệ thống luật hướng trạng thỏi: Bộ nhớ HT cũng là1 tập giỏ trị tờn, tuy nhiờn nú khụng bị lấy khỏi bộ nhớ(ngầm định) khi mà luật sỏnh được. Nú chỉ bị lấy khỏi bộ nhớ1 cỏch tường minh bởi phần hành động của luật. Hệ thống luật này cũn được gọi là Hệ thống luật mệnh đề do Olsen đề xuất(PPS).

HUT, Falt. of IT Dept. of SE, 2002 HCI - Two. 170

Hệ thống luật PPS(tiếp)

Trong HT này, trạng thỏi của HT được chia thành1 tập hữu hạn cỏc thuộc tớnh. Mỗi thuộc tớnh cú thể nhận1 tập giỏ trị. Một vài thuộc tớnh được thiết lập như là kết quả hành động ND, 1 số khỏc cú tỏc động lờn sự hiển thị của HT.

Thớ dụ: Với thớ dụ trờn, chỳng ta cú5 thuộc tớnh:

i)Mouse: {mouse-off, select-line, click-point, highlight- click}

Prepared by MSc Luong manh Ba

HUT, Falt. of IT Dept. of SE, 2002 HCI - Two. 171

Hệ thống luật PPS(tiếp)

ii)Line-state: {menu, start-line, rest-line}

iii)Rubber-band: {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ện1 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.

Prepared by MSc Luong manh Ba

HUT, Falt. of IT Dept. of SE, 2002 HCI - Two. 172

Hệ thống luật PPS(tiếp)

Hệ thống luật PPS cho thớ dụ trờn cú thể viết:

select-line-> mouse-off start line highlight lineclick-point start line-> mouse-off rest line click-point start line-> mouse-off rest line

rubber band on

click-point rest line-> mouse-off draw linedouble-click rest line-> mouse-off menu draw double-click rest line-> mouse-off menu draw

line rubber band off

Prepared by MSc Luong manh Ba

HUT, Falt. of IT Dept. of SE, 2002 HCI - Two. 173

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“linestate” và sẽ loại bỏ giỏ trị trước là“startline”

Prepared by MSc Luong manh Ba

HUT, Falt. of IT Dept. of SE, 2002 HCI - Two. 174

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ý đồng thời(tương tranh,tuần tự)đặt ra trong nhiều bài toỏn (truyền thụng, đk 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. 175

7.3.3CPS và đại số sự kiện (tiếp)

CSP được sử dụng vỡ:

Một phần của tài liệu tương tác người máy, phần 2 phần thiết kế giao tiếp người dùng (Trang 27)