人机交互界面表示模型

辅导教师唐菁成绩

4、实验内容：

1、简述GOMS和 LOTOS表示模型的方法。

GOMS（目标操作方法和选择行为模型）是在交互系统中用来分析用户复杂性的建模技术，用于建立用户行为模型。它采用“分而治之”的思想将一个任务进行多层次的细化通过目标、操作、方法和选择规则四个元素来描述用户行为。LOTOS时序关系说明语言是用一套形式化和严格的表示法来刻画系统外部可见行为之间的时序关系系统有一系列进程组成进程同环境之间通过称为“关口”的交互点进行交互两个以上的进程在执行同一个外部可见的行为时会发生交互进行数据交换、信息传递、协调同步等操作进程行为用“行为表达式”来描述复杂的行为由简单的行为表达式通过表示实现关系的LOTOS算符组合而成，在将LOTOS思想用于人机交互的行为模型时用进程之间的约束关系来描述交互子任务之间的关系。

2、结合GOMS和 LOTOS对任务“中国象棋对弈”进行描述。

GOAL:中国象棋

[>: GOAL:运行

|||:

*GOAL:走棋

ACTION:自动记录棋谱

>>:

GOAL:当前方走

>>:

OPRATOR:拾取棋子

OPRATOR:放置棋子

GOAL:对弈方走

>>

OPRATOR:拾取棋子

OPRATOR:放置棋子

*GOAL:打谱

[]:

OPRATOR:加速

OPRATOR:减速

OPRATOR:暂停

OPRATOR:恢复

GOAL:退出

3、UAN描述“文件拖入垃圾箱”。

UAN预定义的动作标志符（部分）

用户动作标志符：

move_mouse(x,y) 移动鼠标至(x,y)

release_button(x,y) 在(x,y)位置释放鼠标按钮

highlight(icon) 使icon高亮显示

de_highlight(icon) 取消icon的高亮显示。

用户动作标志符

~[X]在某个图形对象上移动鼠标

£按下鼠标

¢释放鼠标

!, 使对象高亮显示

-!取消对象的高亮显示 Display,显示图形对象

Erase, 取消显示对象。

UAN预定义的条件标志符（部分）

while(condition) TASK

当条件condition为真时

循环执行任务TASK

if(condition) then TASK

如果条件condition满足则执行任务TASK

iteration A* or A+

表示迭代操作

waiting 表示等待可以等待一个条件满足也可以等待任务中的一个操作执行。

任务drag and drop a file to the recycle bin 用户行为界面反馈界面状态

mouse_down(x,y) drag_icon(x,y) mouse_up(x,y then highlight(icon)

show_outline(icon)

then highlight(bin)

thenhide(icon)

show_bin_ull()

if intersect(icon,x,y)

icon=selected

ifintersect(bin,x,y)

if intersect(bin,x,y)