目标操作方法和选择行为模型（GOMS）时序关系说明语言（LOTOS）用户行为标注（UAN）任务模型表示法（CTT）