GOMS应用 GOMS是一种人机交互界面表示的理论模型，被称为 最成熟的工程典范，该模型在计算机系统的评估方 面也有广泛的应用。 GOMS can save money! 美国电话公司NYNEX利用GOMS分析一套即将被采用的 新的计算机系统的应用效果，结果发现效果不理想，放弃 了使用新系统，为公司节约了数百万的资金。 山东大学计算机学院 SHANDONGVERSETY
山东大学计算机学院 11 GOMS应用 ◼ GOMS是一种人机交互界面表示的理论模型，被称为 最成熟的工程典范，该模型在计算机系统的评估方 面也有广泛的应用。 ◼ GOMS can save money! ❑ 美国电话公司NYNEX利用GOMS分析一套即将被采用的 新的计算机系统的应用效果，结果发现效果不理想，放弃 了使用新系统，为公司节约了数百万的资金
GOMS的局限性 GOMS没有清楚的描述错误处理的过程 ,假设用户完 全按二种正确的方式进行人机交宣，因此识针对永 些不犯住何错误的专家用户。 GOMS对于任务之间的关系描述过于简单，只有顺序和 选择.事实正任务之尚的关系还有很多种（具体参见 61:2节中L0T0$的个绍)一另外选择关系通过非形 式化的附加规则猫述，实玖起来也化较困瘫。 把皇男宇码子 略 了 差异，它的建立不是基于现有的认知心理学，无 法代表真正的认知过程。 山东大学计算机学院
山东大学计算机学院 12 GOMS的局限性 ◼ GOMS没有清楚的描述错误处理的过程，假设用户完 全按一种正确的方式进行人机交互，因此只针对那 些不犯任何错误的专家用户。 ◼ GOMS对于任务之间的关系描述过于简单,只有顺序和 选择.事实上任务之间的关系还有很多种（具体参见 6.1.2节中LOTOS的介绍），另外选择关系通过非形 式化的附加规则描述，实现起来也比较困难。 ◼ GOMS把所有的任务都看作是面向操作目标的，而忽 略了一些任务所要解决的问题本质以及用户间的个 体差异，它的建立不是基于现有的认知心理学，无 法代表真正的认知过程
LOTOS简介 LOTOS-Language Of Temporal Ordering Specification T.Bolognesi,H.Brinskma, "Introduction to the ISO Specification Language L0TOS”,1987. 国际标准形式描述语言，无二义性，适于描述具有 并发、交互、反馈和不确定性等特点的并发（ concurrent)系统中的行为。 开始作为一种描述网络协议的语言，由于交互系统 、特别是多通道交互系统有并发系统的特点，因此 成为用来描述交互系统的行为模型。 山东大学计算机学院 SHANDONGSVERSETY
山东大学计算机学院 13 LOTOS简介 ◼ LOTOS -Language Of Temporal Ordering Specification， T.Bolognesi, H.Brinskma, "Introduction to the ISO Specification Language LOTOS”， 1987. ◼ 国际标准形式描述语言，无二义性，适于描述具有 并发、交互、反馈和不确定性等特点的并发（ concurrent）系统中的行为。 ◼ 开始作为一种描述网络协议的语言，由于交互系统 、特别是多通道交互系统有并发系统的特点，因此 成为用来描述交互系统的行为模型
LOTOS:基本思想 系统的外部可见行为可以看作是由一个有时序关系的交互序 列组成。 系统由一系列进程组成，进程同环境之间通过称为“关口” gates )的交互点进行交互。 两个以上的进程在执行同一个外部可见的行为时会发生交互 操作，进行数据交换、信息传递、协调同步等操作。 进程行为用“行为表达式”来描述，复杂的行为由简单的行 为表达式通过表示时序关系的L0TOS算符组合而成。 在将L0T0S思想用于人机交互的行为模型时，用进程之间的 约束关系来描述交互子任务之间的关系。 山东大学计算机学院
山东大学计算机学院 14 LOTOS基本思想 ◼ 系统的外部可见行为可以看作是由一个有时序关系的交互序 列组成。 ◼ 系统由一系列进程组成，进程同环境之间通过称为“关口” （gates）的交互点进行交互。 ◼ 两个以上的进程在执行同一个外部可见的行为时会发生交互 操作，进行数据交换、信息传递、协调同步等操作。 ◼ 进程行为用“行为表达式”来描述，复杂的行为由简单的行 为表达式通过表示时序关系的LOTOS算符组合而成。 ◼ 在将LOTOS思想用于人机交互的行为模型时，用进程之间的 约束关系来描述交互子任务之间的关系
LOTOS算符 LOTOS算符主要有以下几种： T1WT2(交替Interleaving) T1[UT2(选择Choice) T1|[al,,an]|T2(同步Synchronization) T1[>T2(禁止Deactivation) T1>T2(允许Enabling) 山求苏器 山东大学计算机学院 SHANDONGL5:VERSETY
山东大学计算机学院 15 LOTOS算符 LOTOS算符主要有以下几种： T1 ||| T2（交替Interleaving) T1 [] T2（选择Choice) T1 | [a1,...,an] | T2（同步Synchronization) T1 [> T2 （禁止Deactivation) T1 >> T2（允许Enabling)