LOTOS算符 ◆T1T2(交替 Interleaving T1和T2两个任务相互独立执行,可按任意顺序执行,但永远不 会同步。 ◆T1[]T2(选择 Choice) 需要在T1,T2中选择一个执行,一旦选择某一个后,必须执行 它直到结束,在这中间另一个再无执行机会。 ◆T1|[a1r…yan]|T2(同步 Synchronization) 任务T1,T2必须在动作(a1,,an)处保持同步 ◆T1[>T2(禁止 Deactivation) 一旦T2任务被执行,T1便无效(不活动) ◆T1>>T2(允许 Enabling) 当T1成功结束后才允许T2执行 人机交互技术编写组 16
人机交互技术编写组 16 LOTOS算符 T1 ||| T2（交替Interleaving） ◼ T1和T2两个任务相互独立执行，可按任意顺序执行，但永远不 会同步。 T1 [] T2（选择Choice） ◼ 需要在T1，T2中选择一个执行，一旦选择某一个后，必须执行 它直到结束，在这中间另一个再无执行机会。 T1 | [a1,...,an] | T2（同步Synchronization） ◼ 任务T1，T2必须在动作（a1,……，an）处保持同步 T1 [> T2（禁止Deactivation） ◼ 一旦T2任务被执行，T1便无效（不活动） T1 >> T2（允许Enabling） ◼ 当T1成功结束后才允许T2执行
LOTOS实例 语管命马象生将生象马车 悔棋A+ 重新开始F2 炮 炮 转入打谐F3 卒卒十卒卒卒 兵 炮 炮 车马相仕帅相马车 人机交互技术编写组
人机交互技术编写组 17 LOTOS实例
中国象棋的 LOTOS任务分解实例 中国象棋 运行 退出 *走棋 打 当前方走 对弈方走 速 拾取棋子 放置棋子 人机交互技术编写组 18
人机交互技术编写组 18 中国象棋的LOTOS任务分解实例
LOTOS与GOMS的结合 OTos模型很好的描述了任务之间的时 序约束关系,这些时序约束关系能更好 的描述GOMS中子目标之间的关系。 ◆用GOMS模型描述任务的分解过程,而用 LOTOS给出子任务之间的约束关系,这 样就可以增加两种表示模型的表示能力 人机交互技术编写组 19
人机交互技术编写组 19 LOTOS与GOMS的结合 LOTOS模型很好的描述了任务之间的时 序约束关系，这些时序约束关系能更好 的描述GOMS中子目标之间的关系。 用GOMS模型描述任务的分解过程，而用 LOTOS给出子任务之间的约束关系，这 样就可以增加两种表示模型的表示能力
结合GOMS和 LOTOS的中国象棋程序 的行为描述 GOAL:中国象棋 OPRATOR拾取棋子 GOAL:运行 OPRATOR放置棋子 *GOAL:走棋 *GOAL:打谱 ACTION:自动记录棋谱 OPRATOR:加速 GOAL:当前方走 OPRATOR减速 OPRATOR:拾取棋子 OPRATOR暂停 OPRATOR:放置棋子 OPRATOR恢复 GOAL:对弈方走 GOAL:退出 人机交互技术编写组
人机交互技术编写组 20 结合GOMS和LOTOS的中国象棋程序 的行为描述 GOAL:中国象棋 [>: GOAL:运行 |||: *GOAL:走棋 ACTION:自动记录棋谱 >>: GOAL:当前方走 >>: OPRATOR:拾取棋子 OPRATOR:放置棋子 GOAL:对弈方走 >> OPRATOR:拾取棋子 OPRATOR:放置棋子 *GOAL:打谱 []: OPRATOR:加速 OPRATOR:减速 OPRATOR:暂停 OPRATOR:恢复 GOAL:退出