25、支持任务信息需求的资源分析与界面模式自动评估

支持任务信息需求的资源分析与界面模式自动评估

1. 任务执行与资源考量

在交互系统中，任务的执行情况是一个重要的研究点。对于给定任务 (st, ts)，其执行的可能性可通过以下公式判断：
[∀t ∈ts·, s ∈st trace poss(s, t)]
其中，
[trace poss(st, t) ≡∃(st, head(t), s) ∈Behaviouri ∧ trace poss(s, tail(t))]
这种分析可以借助模型检查工具实现自动化，但它仅能判断任务是否可行，无法确定系统是否能支持用户完成任务。若要实现后一目标，就需要对比系统提供的资源和完成任务所需的资源。

在交互过程的特定阶段，用户需要信息资源来决定行动方案。为了分析这一方面，我们需判断界面是否能提供足够资源以帮助用户做出正确选择。原有的模型无法表示决策过程，因此需要引入新的用户动作类型——选择动作（代表用户对下一步物理动作的心理选择），即：
[Actionuser = Actionphysical + Actionchoice]

这些动作在CTT模型中以用户任务的形式存在，需要将其纳入追踪轨迹中，例如：
[{present jam info→read instructions→open door→check A→check B→check C→close door,]
[present jam info→read instructions→open door→check B→check C→close door,]
[present jam info→read instructions→open door→check A→che