第6章人机交互界面表示模型课件.ppt

1、第第6章章 人机交互界面的表示模型人机交互界面的表示模型 2目的u在界面设计的早期阶段，研究建立一种用户界面表示模型n利用形式化的设计语言来分析和表达用户任务以及用户和系统之间的交互情况；n使界面表示模型能方便地映射到实际的设计实现。 3界面模型分类u任务分解和分析n能力模型（competence model）w预测和描述用户合法的交互行为序列n行为模型（performance model）w预测和描述用户合法的交互行为序列w描述用户的目的u结构模型 constructional modeln系统组成模型4主要内容 u三种模型：n行为模型，主要从用户和任务的角度考虑如何来描述人机交互界面，将详

2、细介绍GOMS，UAN及LOTOS模型。n结构模型，主要从系统的角度来表示人机交互界面。重点介绍状态转换网络（STN-State Transition Network）和产生式规则 (Production Rule)。n事件-对象模型，是一种目前非常流行的面向对象的表示模型，它将人机交互活动归结为事件与对象的相互作用。u如何由界面的行为表示模型转换到系统的结构模型。5参考材料1) The Psychology of Human-Computer Interaction by S.K. Card et al. 2) Human-Computer Interaction (2nd Edition)

3、 by Alan J. Dix, et al.3) 董士海等：人机交互和多通道用户界面. 科学出版社，1999. 2. 4) A Comparison of Approaches for Specifying Multi-Modal Interactive Systems，by Joelle Coutaz et al.66.1 行为模型u分析人员获取用户需求后，结合领域专家的意见和指导，获取系统中需要完成的任务，对任务的主要因素进行详细地分析，如任务的层次、发生条件、完成的方法以及它们之间的关系等等。u所有这些内容，都是在行为模型中所要研究的。 76.1.1 GOMS u1983年由Card,

4、 Morgan和Newell 提出的。u通过目标 (Goal)、操作 (Operator)、方法 (Method) 以及选择规则 (Selection) 四个元素来描述用户的行为。uGOMS是在交互系统中用来分析建立用户行为的模型。它采用“分而治之”的思想，将一个任务进行多层次的细化。86.1.1 GOMS 1.1.目标目标 GoalsGoals 目标就是用户执行任务最终想要得到的结果,它可以在不同的层次中进行定义。 2. 操作操作 OperatorsOperators 操作是任务分析到最低层时的行为，是用户为了完成任务所必须执行的基本动作。 96.1.1 GOMS 3. 方法方法 Metho

5、dsMethods 方法是描述如何完成目标的过程。一个方法本质上来说是内部的算法，用来确定子目标序列及完成目标所需要的操作。GOAL: ICONSIZE-WINDOW. select GOAL: USE-CLOSE-METHOD. . MOVE-MOUSE-TO-WINDOW-HEADER. . POP-UP-MENU. . CLICK-OVER-CLOSE-OPTION. GOAL: USE-L7-METHOD. . PRESS-L7-KEY106.1.1 GOMS 4 4选择选择 SelectionSelectionu选择是用户要遵守的判定规则，以确定在特定环境下所要使用的方法。u当有多个

6、方法可供选择时，GOMS中并不认为这是一个随机的选择，而是尽量来预测会使用哪个方法,这需要根据特定用户、系统的状态、目标的细节来预测要选择哪种方法。u 用户Sam: Rule 1: Use the CLOSE-METHOD unless another rule applies Rule 2: If the application is GAME, use L7-METHOD11GOMS实例Task:EditingGOAL:EDIT-MANUSCRIPT GOAL:EDIT-UNIT-Task repeat until no more unit tasks GOAL:ACQUIRE-UNIT-

7、TASK GET-NEXT-PAGE if at end of manuscript GET-NEXT-TASK GOAL:EXECUTE-UNIT-TASK GOAL:LOCATE-LINE select:USE-QS-METHED USE-LF-METHOD GOAL:MODIFY-TEXT select:USE-S-METHOD USE-M-METHOD VERIFY-EDIT 12GOMS应用u作为一种人机交互界面表示的理论模型，GOMS是人机交互研究领域内少有的几个广为人知的模型之一，并被称为最成熟的工程典范，该模型在计算机系统的评估方面也有广泛的应用。uGOMS can save

8、money!n美国电话公司NYNEX利用GOMS分析一套即将被采用的新的计算机系统的应用效果，结果发现效果不理想，放弃了使用新系统，为公司节约了数百万的资金。13GOMS的局限性uGOMS没有清楚的描述错误处理的过程，假设用户完全按一种正确的方式进行人机交互，因此只针对那些不犯任何错误的专家用户。uGOMS对于任务之间的关系描述过于简单,只有顺序和选择.事实上任务之间的关系还有很多种（具体参见6.1.2节中LOTOS的介绍），另外选择关系通过非形式化的附加规则描述，实现起来也比较困难。uGOMS把所有的任务都看作是面向操作目标的，而忽略了一些任务所要解决的问题本质以及用户间的个体差异，它的建立

9、不是基于现有的认知心理学，无法代表真正的认知过程。 146.1.2 LOTOS uLOTOS -Language Of Temporal Ordering Specification， T.Bolognesi, H.Brinskma, Introduction to the ISO Specification Language LOTOS”， 1987.u国际标准形式描述语言，适于描述具有并发、交互、反馈和不确定性等特点的并发（concurrent）系统中的行为。u开始作为一种描述网络协议的语言，由于交互系统、特别是多通道交互系统有并发系统的特点，因此成为用来描述交互系统的行为模型。15LOT

10、OS基本思想u系统的外部可见行为可以看作是由一个有时序关系的交互序列组成。u系统由一系列进程组成，进程同环境之间通过称为“关口”（gates）的交互点进行交互。u两个以上的进程在执行同一个外部可见的行为时会发生交互操作，进行数据交换、信息传递、协调同步等操作。u进程行为用“行为表达式”来描述，复杂的行为由简单的行为表达式通过表示时序关系的LOTOS算符组合而成。u在将LOTOS思想用于人机交互的行为模型时，用进程之间的约束关系来描述交互子任务之间的关系。 16LOTOS算符uT1 | T2（交替（交替Interleaving）nT1和T2两个任务相互独立执行，可按任意顺序执行，但永远不会同步。

11、 uT1 T2（选择（选择Choice）n需要在T1，T2中选择一个执行，一旦选择某一个后，必须执行它直到结束，在这中间另一个再无执行机会。 uT1 | a1,.,an | T2（同步（同步Synchronization）n任务T1，T2必须在动作（a1,，an）处保持同步 uT1 T2（禁止Deactivation）n一旦T2任务被执行，T1便无效（不活动） uT1 T2（允许（允许Enabling）n当T1成功结束后才允许T2执行 17LOTOS实例18中国象棋的LOTOS任务分解实例19LOTOS与GOMS的结合uLOTOS模型很好的描述了任务之间的时序约束关系，这些时序约束关系能更好的

12、描述GOMS中子目标之间的关系。u用GOMS模型描述任务的分解过程，而用LOTOS给出子任务之间的约束关系，这样就可以增加两种表示模型的表示能力。 20结合GOMS和LOTOS的中国象棋程序的行为描述GOAL:中国象棋 : GOAL:运行 |: *GOAL:走棋 ACTION:自动记录棋谱 : GOAL:当前方走 : OPRATOR:拾取棋子 OPRATOR:放置棋子 GOAL:对弈方走 OPRATOR:拾取棋子 OPRATOR:放置棋子 *GOAL:打谱 : OPRATOR:加速 OPRATOR:减速 OPRATOR:暂停 OPRATOR:恢复 GOAL:退出21LOTOS总结uLOTOS与

13、GOMS结合，可以清楚地了解整个目标层次及各目标之间的约束关系。但与GOMS同样存在无法描述目标异常结束的缺陷，同时当任务进行选择时用什么规则进行选择并为涉及。uLOTOS最大的优越性在于可以构造一套现成的自动化工具，利用这些工具，可自动进行错误检测，但它过于形式化的记法比较晦涩难懂。uGOMS和LOTOS的结合可以很好地描述人机交互的较高级的任务，对于原子任务的形式化描述，上述模型并没有给出一个比较清晰的描述，下面讨论的UAN模型主要用于原子目标的描述。 226.1.3 UAN uUAN-User Action NotationuUAN是一种简单的符号语言，主要描述用户的行为序列以及在执行任

14、务时所用的界面物理对象。 u尽管UAN属于一种行为模型，但作为一种任务描述语言，它又涉及一定程度的系统行为的描述，因而它兼有行为模型和结构模型的一些特点。23UAN模型的基本思想u预定义一些标志符：n用户动作标志符n条件标志符u采用一种表格结构来表示任务u 界面被分解成一些类似层次结构的异步任务，每个任务的实现都用表格来描述，用户动作的关联性和时序关系由表格的行列对齐关系和从上到下、从左到右的阅读顺序来确定。任务（任务（tasktask）：任务名称（）：任务名称（the name of taskthe name of task）用户行为界面反馈界面状态24UAN预定义的动作标志符（部分）u用户

15、动作标志符：n move_mouse(x,y) 移动鼠标至(x,y)n release_button(x,y) 在(x,y)位置释放鼠标按钮；n highlight(icon) 使icon高亮显示；n de_highlight(icon) 取消icon的高亮显示。 用户动作标志符： X，在某个图形对象上移动鼠标； ， 按下鼠标； ，释放鼠标； !, 使对象高亮显示；-!， 取消对象的高亮显示Display,显示图形对象；Erase, 取消显示对象。25UAN预定义的条件标志符（部分）uwhile(condition) TASKn当条件condition为真时，循环执行任务TASK；uif(co

16、ndition) then TASKn如果条件condition满足，则执行任务TASK；uiteration A* or A+ n表示迭代操作；uwaiting n表示等待，可以等待一个条件满足，也可以等待任务中的一个操作执行。 26UAN实例-单通道交互27UAN实例-多通道交互28UAN总结uUAN模型更接近于实现，界面状态和界面反馈用一般的程序语言描述，实现起来比较方便，当然这种描述由于接近于程序语言，因此设计时需要一定的编程基础uUAN模型在精确刻画各成分之间的各种平行和串行的时序关系方面尚显不足，任务之间的时序关系没有明确表示出来，当所描述的界面使用多种输入设备和有若干可选交互路径

17、时，比较繁琐。 29层次化的界面描述方法30G-U-L模型u可以考虑将GOMS、UAN、LOTOS中模型结合为一个预测行为模型：G-U-L模型。uG-U-L运用GOMS原理为基础进行任务分解，建立基本的行为模型，原子操作由UAN模型描述，在此基础上，运用LOTOS算符来表示任务目标之间的时序关系。u在G-U-L模型中没有加入规则，在表示目标之间的关系中也未考虑同步。这主要考虑到规则的转换要涉及到推理、建立知识库等问题，而同步的问题的描述和转换也非常的复杂，这会在工作的初期造成非常大的困难。316.2 结构模型 u产生式规则-Production Rulen形式化语言的描述，这种结构的方法从理论

18、上可以引导界面设计者及界面工具的设计者进行有效的设计。 u状态转换网络-State Transit Networkn用结构化的方法来描述人机交互的一般过程，是一种图示化的结构326.2.1 产生式规则 u又称为上下文无关文法，将人机交互对话看作是一种语言，运用基于语法的方法来描述交互对话。u产生式规则是一种形式化语言，这些规则可用于描述人机交互界面。产生式规则的一般形式是：nif condition then actionn这些规则可以表示为不同的形式，如ncondition actionncondition：action33产生式规则u所有的规则都是有效的，并且系统不断用它来检测用户的输入是

19、否与这些条件相匹配。u若匹配则激活相应的动作，这些动作可以是执行应用程序的一个过程，也可以是直接改变某些系统状态的值。u一般来说，组成界面描述的产生式规则很多，规则定义的顺序并不重要，只要与规则中的条件相匹配，就可以激活相应的动作。产生式规则系统可以是事件引导的，也可以是状态引导的，或者两者都有。 341.事件引导的系统事件引导的系统 产生式集合，实现用户在屏幕上绘直线 35事件引导的系统事件引导的系统u保存内部事件序列u构造一个对话控制器，主要负责事件的产生和规则的匹配u规则的匹配算法影响系统的性能36事件的主要类型 u用户事件（user event），Sel-line表示从菜单中选择lin

20、e命令，C-point 和D-point表示用户在绘图平面上单击和双击鼠标 u内部事件，用于保持对话状态，如start-line 表示开始画线后的状态，rest- line表示选择了第一个点之后的状态。 u系统响应事件，以尖括号表示可见或可听的系统响应，如，把菜单项line 高亮度显示，表示在屏幕上显示直线， 表示橡皮筋绘制方式打开，表示橡皮筋绘制方式关闭。 37产生式规则的解释u在上面的产生式规则中，第一条规则表示选择画线命令后，系统状态进入了开始画线状态，接着把line菜单项高亮度显示；第二条规则表示，用户在开始画线状态时，在绘图区域单击鼠标则系统表示已定义了一个点，此时橡皮筋绘图方式打开

21、；第三条规则表示在定义了一个（或多个）点后，用户单击鼠标可以连续地定义点；第四条规则表示双击鼠标则结束画线的交互过程。 38对话控制u对话控制主要负责事件的产生和规则的匹配，可以看到在每一时刻系统内存中会保存一些内部事件，当产生一个事件时，可能是用户事件（如单击鼠标），也可能是内部事件（如时钟事件等）。u对话控制就要将所有的产生式规则与事件集合进行匹配，这个过程是复杂的而且是耗时的，当产生式很多并且产生式规则的条件复杂时，匹配算法的效率就显的更为重要，因此需要设计好的数据结构和匹配算法来提高匹配规则的效率。u可以将规则和事件进行分组和分层。 392.状态引导的系统状态引导的系统 u状态引导的系

22、统在系统内存保存的不再是动态的随时进出的事件，而是一些表示系统的当前状态的属性，这些属性在不同的时刻有不同的值。40画线操作在系统中的五个属性41对象的状态uMouse有4个不同的状态n mouse-null（鼠标空闲），select-line（选择线命令），click-point（单击鼠标），double-click（双击鼠标），当用户对鼠标进行操作时Mouse自动设置成相应的状态；uLine-state用于保持当前会话的状态n 分别是menu（可选命令状态），start-line（开始绘制线），rest-line（已经定义点）；u后三个属性用于控制系统响应n 其中Rubber-band表示

23、橡皮筋绘制的开和关状态，Menu表示任何项也没有选中（highlight-null）、选中绘直线命令（highlight-line）或选中绘圆命令（highlight-circle）， Draw表示什么也不画状态（draw-nothing）或画直线状态（draw-line），显示控制器根据上面的状态做出相应的显示控制。42状态引导的产生式规则（画直线）Select-linemouse-null start-line highlight-lineClick-point start-linemouse-null rest-line rubber-band-onClick-point rest- l

24、inemouse-null draw-lineDouble-click rest-linemouse-null menu draw-line rubber-band-off43状态引导的产生式规则的特点u当产生式规则的条件和状态匹配时将激活该产生式规则，对于某一特定的属性，如果前面的状态需要改变成新的状态时才需要在产生规则的后面标注，例如，在第二条规则中，规则指定 Line-state 属性应设置成rest-line ，因为原来的start-line值将丢失，而在第三条规则中，没有提及rest-line值，因为它已默认，Line-state 属性的值继续保留为 rest-line。 44状态引

25、导的产生式规则的特点u属性的永久特性有时会引起一些奇怪的错误，因此在上述的规则集中，每一条产生式规则都要求将鼠标的状态设置为 mouse-null ， 否则，当用户单击了鼠标，激活了第二条规则，如果不立即将鼠标的属性设置为mouse-null，则会立即激活第三条规则，此时系统的状态和第三条规则的条件是匹配的，并且会反复的一直执行下去。453.混合引导系统混合引导系统 u有的对话过程比较适合于事件引导方式，有的对话过程适合于状态引导方式，当然也可以将两者结合起来，例如采用下面的形式： nevent: condition action u来描述一个产生式规则，事件用来计划产生式规则，如果条件不满足

26、，即当前系统内存中的状态和产生式的规则不匹配，则无法激活规则，另外当状态改变时，产生式规则中的action本身也可以产生新的事件，从而可以激活另一条规则。 46混合的事件/状态产生式系统 Bold:off, on Italic:off, onUnderline: off, on 图6-2 粗体/斜体/下划线对话框 文本样式 根据用户点击鼠标的位置不同，可能产生三个事件：select-bold, select-italic, select-under，该对话过程有下面六个产生式规则定义。 加粗加粗斜体下划线47混合的事件/状态产生式系统select- bold:Bold = offBold =

27、onselect- bold:Bold = onBold = offselect-italic:Italic = offItalic = onselect-italic:Italic = onItalic = offselect-under:Underline = offUnderline = onselect-under:Underline = onUnderline = off48产生式规则总结u描述操作时序能力强，并发顺序均可u无法描述误操作u界面复杂时，状态、事件复杂，产生式过多，要求产生式匹配算法性能高496.2.2 状态转换网络u状态转换网络（STN）的基本思想是定义一个具有一定数

28、量状态的转换机，称之为有限状态机-Finite State Machine(FSM)uFSM从外部世界中接收到事件，并能使FSM从一个状态转换到另一个状态。u这里介绍两种最基本的状态转换网络，状态转换网络（State Diagrams）和扩展状态转换网络(State Charts)，后者是前者的一个扩展 501.传统的状态转换网络u当发生一个外部或内部事件时，系统就会从一个状态转换到另外一个状态，这称为状态转换。u外部事件主要由用户操作外部输入设备来产生，内部事件可以是系统产生的事件，如时钟事件，也可以是为了改变系统的状态和行为而产生的事件，如当一个任务完成后可以激活另一个任务等。源状态目标状

29、态转换一个状态转换与一对状态相关联。一般的系统具有很多个状态，假设系统由n个状态组成，状态之间的转换最多可能有n*(n-1)个。51带条件的状态转换源状态目标状态条件动作52 T2C2 T1C1SE1E2S+C1S+C2E1E2T1T2带条件的状态转换53带条件的状态转换实例(基于鼠标的画图工具)draw circle单击在圆周上rubber band单击在中心点highlight circle选择 circle Circle1MenuFinish Circle2draw line双击rubber band单击在第一点highlight line选择 lineLine1Finish Line2

30、54带条件的状态转换实例(基于鼠标的画图工具)u图6-8中是一个基于鼠标画图工具，图中涉及到了状态、转换、条件、动作等元素。它有一个菜单（有两个选项“circle”和“line”）和一个绘图平面。若选择“circle”则要求你确定两个点：第一个点是圆心，第二个点表示圆周上的任意一点。第一个点确定后，系统就在圆心和当前鼠标位置之间画一条“橡皮圈”线，第二个点确定后就画出了一个圆。 55传统状态转换模型u状态转换网络比相应的文本解决方案更易于设计、理解、修改和文档化，它给出了对行为的精确的、甚至是格式化的定义。u存在着一定的局限性，一个最大的缺陷是需要定义出系统的所有状态，这对于小型的系统是没有问

31、题的，但是在一个较大的系统中，系统会很快崩溃，状态的数目是呈指数级增长的，同时状态的增长直接导致了状态转换网络过于复杂、无法实际应用。 562.扩展的状态转换网络57带有取消功能的状态转换图58带有帮助功能的状态转换描述并发任务？59状态转换模型u状态的爆发式增长问题u具有良好的描述串行和顺序行为的能力，并发及其他行为的描述能力差u虽然是一个结构模型，但难以实现60人机交互的界面的基本原则u对话的独立性n对话的独立性指界面和系统的逻辑业务或数据模型不互相影响，彼此独立，当交互完成后，再去调用业务模型的方法进行相应的业务处理。u语义的反馈性n语义反馈是指在人机交互过程中要实时反馈界面的状态和用户

32、操作的细节，以便用户能比较清晰的了解当前操作的过程，“所见即所得”就是强调在操作过程中所看到的就是将来系统处理的结果，这是一种典型的语义反馈。 61软件的四层体系结构u表示层u逻辑对象层u服务对象层u存储层62 6.3事件-对象(E-O)模型 u事件-对象（Event-Object）模型，将人机交互活动归结为事件与对象的相互作用。事件是人机交互活动中传递的信息，对象是交互活动中的对象；事件引发交互活动，对象是交互活动的承受者。这种模型同时强调事件和对象在人机交互中的重要性，模型以事件为驱动，以对象为核心，具有面向对象的风格。u兼顾了对话独立性原则和语义反馈的要求。63E-O模型系统结构 641

33、.事件的类型 u事件根据不同的来源可以分为两种基本类型：实事件和虚事件。u实事件是用户通过各类交互输入设备输入而产生。根据现有交互设备，可以将实事件分为：n键码事件，由按键设备产生；n定位事件，由指点设备产生；n字符串事件，由键盘或语音识别器等产生。 65事件的类型u虚事件由用户界面系统或应用程序产生并限于系统内部流动的各类事件，其作用主要是协调系统的运行，虚事件可以分为：n定时器事件，由系统按一定的时间间隔产生的事件、n邮件事件，当有新的邮件收到时产生的事件，一般的异步事件也可以作为邮件事件来处理。n空闲事件，也是一种内部事件，表示系统空闲或再等待用户输入，空闲事件发生时，系统可以做一些屏幕

34、更新等处理。 662.2.事件的结构事件的结构 事件名(Name)类 型(Type)来 源(From)去 向(To)产生时刻(Time)数 据(Data)673.对象的类型 u根据交互任务类型的不同一般可归纳为三种基本对象类型：n抽象（概念）交互对象，如磁盘、文件等抽象的对象；n空间交互对象，表示空间中的物体的对象等，如三维场景和物体；n时间交互对象，表示与时间相关的对象，如视频、音频等对象。68对象的类型u对象按功能分类，可分为：n通用对象，在不同的应用中共有的一些对象；n工具对象（Widget Object），用作用户界面中的各种交互技术（如按钮等）；n二维对象，用于二维用户界面；n三维对

35、象，用于三维用户界面；n时变对象，适用于随时间变化的动态对象，如在多媒体用户界面中实现音频、视频等媒体的管理。69对象应该具有的特征u对象应以显式的方式接受事件并对此做出响应；u能直接利用数据和方法封装的思想实现对象的独立；u一个对象可以发送消息给其他对象，对象之间的通信通过消息发送和接收来完成，对象的实现方法可采用结构化方法和面向对象的方法。 704.对象的结构 u主要包括三部分：n属性集，包括对象ID、类型、风格（style）、位置（对于二维、三维情况）、颜色等；n方法集：w 初始化方法：对象属性的初始化；w 表现方法：提供常规的界面反馈和更新对象的外观；w 响应方法：响应方法对用户的终结

36、控制动作（如选中菜单项）调用相应的应用语义函数（包括自身语义和连接语义）以做出响应，当对象之间存在关联语义时，相应方法还负责和其他对象进行交互。n消息集：包括一组可被对象识别的并激活其相应行为方法的消息，这些消息分流到上述三个方法中。 715.对象的组织 u对象之间有不同的关系，可采用四种典型结构来组织对象：n集合，对象之间无约束关系；n线性结构，对象之间有明确的顺序关系，如各输入字段、列表项等；n层次结构，对象之间有层次关系，对象包含数个子对象，如菜单和菜单项；n网状结构，适用于比较复杂的CAD系统，如CAD布线，现在Web中的导航菜单对象的组织也有采用网络结构。 726.E-O模型总结uE

37、-O模型具有彻底的面向对象特性，其中对象具有直接的面向对象的特征，而包括事件、设备的在内的各种元素也被直接地映射为对象；同时，事件对象模型内在的事件驱动机制也非常符合交互式软件的需要。u事件对象模型中事件结构和对象结构的通用性和开放性，可以支持从简单得到复杂的各类用户界面的实现，有能力支持包括多媒体、多通道用户界面和虚拟现实等新型人机交互技术的实现，在下一章将给出E-O模型的软件结构和实现支持。 73课堂练习u1.写出事件引导的画线的产生式规则u2.写出状态引导的画线的产生式规则u3.画出基于菜单的画图工具的状态转换图746.4 行为模型和结构模型的转换 u一般来说行为模型主要对设计起指导作用

38、，在此基础上，设计人员再进行结构模型（如状态转换网络等）的创建，这个过程很大程度上取决于设计人员的经验和对行为模型的理解.u本节主要介绍一种从行为模型到结构模型的一种转换思想和算法，以实现两种模型间的自动的转化工作。 756.4.1基本的模型转换整体框架 转换算法 行为模型(G-U-L) 结构模型State ChartsGOMSUANLOTOS约束规则用户D o m a i n ExpertDesigner图6-17 模型转换整体框架76模型转换整体框架 u整个框架分为三个部分：n行为模型使用G-U-L模型，在这一层将产生一个基本的预测性的行为模型。 n结构模型采用层次状态转换网络，它涉及到的

39、元素有状态、转换、事件、层次结构。不考虑状态转换网络在转换中条件和同步，可以简化转换工作。 n用户包含两种用户，领域专家和设计者。G-U-L模型的创建主要是由领域专家和设计者合作来完成的，然后通过模型转换算法转换成为结构模型，最后提供给设计者使用。 776.4.2 转换算法 u1.基本思想基本思想 u2.基本步骤基本步骤 u3.实例应用实例应用 781.基本思想基本思想 u采用G-U-L以层次化结构对任务进行建模，包括目标（包括循环属性）、行为、关系。u状态转换网络表示的是状态之间的转换，也采用层次化表示，涉及到的主要是状态、转换、事件、行为。u在G-U-L中体现的层次关系转换到状态转换网络中

40、也体现出层次的关系，G-U-L中的每个目标都对应一个状态转换网络。u如果一个目标下层有子目标，对子目标来说，它所对应的状态网络应该嵌套在上层目标对应的状态网络中。 791.基本思想基本思想u在产生的状态转换网络中，有两类事件起作用：n一类是外部由用户激活的事件，如“按下鼠标” 事件、“点击键盘” 事件等；n另一类是内部由目标产生的内部事件，这里只定义了“目标正常结束”，表示目标正常结束时产生的事件。n在进行从G-U-L到状态的转换时，这些事件只是形式上的一个定义，没有具体的实现过程，如要在某一层出现的第i个外部事件用“外部事件i”来代替，而由某个目标Ti执行时产生的内部事件也仅仅用类似于“Ti

41、正常结束事件”来表示，n而具体的事件还需要由状态网络进行，系统实现时通过专门的事件管理器来定义和管理。 n对G-U-L中的行为在转换后就成为对应的状态转换网络中的一个行为。 80图6-18 事件产生过程G产生“G正常结束”事件S0F图6-18 中描述了一个目标层次中产生事件的过程。812.基本步骤基本步骤u对转换后的数据，存储的是状态转换网络中表示转换的弧，如下图6-19所示： 图6-19 状态转换网络中弧的表示结构 u其中的触发事件就是触发从出发状态到目的状态转换的事件；u父状态表示的是当前弧所在状态网络的上层状态，可以是一个抽象出来的状态名；出发状态目的状态触发事件父状态行为822.基本步

42、骤基本步骤u转换基本步骤n（1）读取存储G-U-L模型的数据文件，进行解析，定义一个数组stn用于存储状态网络中的弧。获取G-U-L模型中的最高目标，设为G0，然后调用(2)中的Translate函数，在Translate执行完毕后，stn中便存储了转换后的状态网络的数据。函数示意如下：main()定义一个存储弧的数组stn读取G-U-L文件GOAL G0”: 允许关系处理 case “|”: 交替关系处理 case “”: 禁止关系处理 /对所有的子目标进行递归调用 for(int I;I（允许Enabling）：n 设目标G下的子目标关系为(G0,G1)，在这种关系中完成目标G的路径只有一

43、条，当G0成功结束后才允许G1执行，这是一个顺序执行的过程。n 在转换成状态转换网络后如图6-22所示。 90u从状态S0在外部事件激发转换至S1，在S1状态等待“G0正常结束事件”发生后转换至S2；然后在S2处等待“G1正常结束事件”转换至S0，这样表示目标G执行完毕，同时发生动作“产生G正常结束事件”，处理转换过程中存储所有的弧。这种约束关系允许同一层次下有多个目标存在，如(G0,G1,Gn)，这些目标都是顺序执行。 91u|（交替Interleaving）：n 设目标G下的子目标关系为|(G0,G1)，表示两个目标之间一种任意的组合来执行完成。在转换到状态网络后，如图6-23所示，有S0

44、-S1-S4-S0和S0-S2-S3-S0两条途径可以完成目标G的一次执行。 92u从S0状态，如果产生“外部事件0”，依次等待“G0正常结束事件”、“G1正常结束事件”并最终回到S0状态，同理，若产生“外部事件1”，则会沿着另一条路径回到S0。记录下所有状态转换的弧。在有交替关系的层次中最多只允许有两个状态存在。 93u（禁止Deactivation）：n 设目标G下的子目标关系为(G0,G1)，一旦G1任务被执行，G0便无效（不活动）。这个关系在转换到状态网络以后与前面不同的是，在状态S2被“G1正常结束事件”激活以后，不会再回到S0,而是转到了一个新的状态F。在有禁止关系的层次中最多只允

45、许有两个目标状态存在。一个典型的例子是G0=”运行”，G1=”退出”。在执行退出以后整个程序结束，也就无法再回到运行状态了。 943.实例应用实例应用 u根据上面的转换算法，在图6-24a-c中给出了中国象棋的最高层目标、运行、走棋三个目标的状态转换网络，它们之间通过事件的产生和激活完成其层次间的通信。其他目标的状态网络表示与这三个图类似，在这里没有列出.9596u运行 运行 产生运行正常结束事件产生运行正常结束事件打谱正常结束事件打谱正常结束事件S02外部事件1打谱正常结束事件走棋正常结束事件外部事件0S00S03S04S01图6-24b “运行”目标状态转换网络97u走棋 图6-24c “走棋”目标状态转换网络走棋 对弈方走正常结束事件产生走棋正常结束事件当前方走正常结束事件外部事件S001S002S00098习题习题u6.2 对6.1题中的GOMS模型中的原子目标，创建UAN模型，从而进一步了解UAN模型的在行为模型中的地位和作用。结合LOTOS算符，用前面介绍的G-U-L进一步完善任务的描述。u6.3 在6.2.1中用产生式规则描述了“屏幕上绘直线”的模型，请试着用状态网络来进行描述，并比较一下两者之间的异同。 99课堂练习u1 把中国象棋的G-U-L模型转换到状态网络模型n最高目标n运行n走棋u2画出窗口系统中事件注册方式处理流程图