人机交互技术编写组目的人机交互技术编写组人机交互技术编写组人机交互技术编写组人机交互技术编写组人机交互技术编写组人机交互技术编写组人机交互技术编写组人机交互技术编写组GOMS模型的四个要素之间的关系人机交互技术编写组人机交互技术编写组人机交互技术编写组LOTOS模型的基本算符LOTOS实例中国象棋的LOTOS任务分解实例打谱人机交互技术编写组中国象棋程序的GOMS和LOTOS行为模型描述人机交互技术编写组人机交互技术编写组人机交互技术编写组UAN预定义的动作标志符UAN预定义的条件标志符UAN实例-单通道交互人机交互技术编写组人机交互技术编写组G-U-L模型中国象棋的G-U-L模型描述6.2结构模型6.2结构模型6.2.1产生式规则1.事件引导的系统事件的主要类型产生式规则的解释人机交互技术编写组人机交互技术编写组画线操作在系统中的五个属性对象的状态状态引导的产生式规则(画直线)人机交互技术编写组人机交互技术编写组3.混合引导系统人机交互技术编写组混合的事件/状态产生式系统产生式规则总结6.2.2状态转换网络1.传统的状态转换网络带条件的状态转换带条件的状态转换带条件的状态转换实例人机交互技术编写组2.扩展的状态转换网络带有取消功能的状态转换图带有帮助功能的状态转换状态转换模型人机交互技术编写组6.3.1对话独立性和语义反馈性软件体系结构6.3.2E-O模型系统结构人机交互技术编写组人机交互技术编写组人机交互技术编写组人机交互技术编写组人机交互技术编写组人机交互技术编写组人机交互技术编写组人机交互技术编写组6.E-O模型总结人机交互技术编写组6.4行为模型和结构模型的转换人机交互技术编写组6.4.1基本的模型转换整体框架模型转换整体框架人机交互技术编写组人机交互技术编写组1.基本思想人机交互技术编写组人机交互技术编写组人机交互技术编写组main(){定义一个存储弧的数组stn[]读取G-U-L文件GOALG0<-GetSubGoal(null);//获取在目标Translate(G0,&stn);//调用转换函数}Translate(目标G,存储数组stn[]){获得目标G的子目标subG[]switch(关系){case“[]”:选择关系处理case“>>”:允许关系处理case“|||”:交替关系处理case“[>”:禁止关系处理}//对所有的子目标进行递归调用for(intI;I<subG.length;I++)Translate(subG[I],stn);}(3)定义了G-U-L的各种关系向状态网络转换的具体的实现函数，实际上就是生成状态网络中的弧，并进行存储。在各状态网络中都会有一个初始状态S。在每个处理函数中，需要考虑目标具有循环属性的情况，这在状态转换网络中的体现是某个状态通过一个事件激活以后能仍然返回到该状态。如果要转换到其他状态，还需要一个外部事件的作用。如对*G，如图6-20所示。人机交互技术编写组人机交互技术编写组人机交互技术编写组选择”关系状态网络-考虑了存在目标循环的情况人机交互技术编写组从状态S0在外部事件激发转换至S1，在S1状态等待“G0正常结束事件”发生后转换至S2；然后在S2处等待“G1正常结束事件”转换至S0，这样表示目标G执行完毕，同时发生动作“产生G正常结束事件”，处理转换过程中存储所有的弧。这种约束关系允许同一层次下有多个目标存在，如>>(G0,G1,……,Gn)，这些目标都是顺序执行。|||(交替Interleaving)：设目标G下的子目标关系为|||(G0,G1)，表示两个目标之间一种任意的组合来执行完成。在转换到状态网络后，如图6-23所示，有S0->S1->S4->S0和S0->S2->S3->S0两条途径可以完成目标G的一次执行。人机交互技术编写组[>(禁止Deactivation)：设目标G下的子目标关系为[>(G0,G1)，一旦G1任务被执行，G0便无效(不活动)。这个关系在转换到状态网络以后与前面不同的是，在状态S2被“G1正常结束事件”激活以后，不会再回到S0,而是转到了一个新的状态F。在有禁止关系的层次中最多只允许有两个目标状态存在。一个典型的例子是G0=”运行”，G1=”退出”。在执行退出以后整个程序结束，也就无法再回到运行状态了。人机交互技术编写组人机交互技术编写组运行人机交互技术编写组人机交互技术编写组课堂练习