-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ỡ: