单项选择题 一旦T2任务被执行，T1便无效（不活动），LOTOS模型中定义是（）。

单项选择题 LOTOS模型中定义的基本算符，T1∣∣∣T2表示（）。

判断题 GOMS模型中的选择规则就是一个随机的选择，不需要预测可能会使用哪个方法。