8、高效且系统的方式考虑用户行为的任务模式

高效且系统的方式考虑用户行为的任务模式

1. 引言

在设计交互式软件时，使用形式化规范技术非常有帮助，因为它提供了无歧义、完整且简洁的符号。如果这种形式化规范技术提供了形式化分析技术，那么其优势就会扩大，因为这些技术允许证明有关设计的属性，从而在应用程序实际实现之前，为设计者提供早期验证。然而，交互式系统的正式描述（即使旨在产生可靠的软件）通常不解决错误用户行为的问题。实际上，重点主要放在描述用户的“正常”行为上，而困难主要源于执行的意外或无效（根据系统的有效行为描述）的用户操作。

这篇博客报告了将与交互式系统的形式化描述技术相关的问题与人类错误分析和分类提出的问题相结合的工作。基本思想是在一个统一的框架中结合用户中心的可靠交互式软件开发过程的三个方面，即任务分析和建模、系统的形式化描述以及人类错误分类。

2. 任务分析和建模

任务分析和建模是用户中心设计方法的核心要素。因此，大量的工作已经致力于此，并致力于将其整合到交互式系统的发展过程中。本节首先非正式地介绍任务建模。然后提供任务建模技术的总结，接着是第三部分，讨论了将用户错误和任务建模相结合的先前工作。最后，我们介绍了模式的概念以及如何将这种符号应用于任务建模。

2.1 非正式介绍

任务模型是用户任务的表示，通常涉及与系统的一些形式互动，这种互动受到其上下文环境的影响。我们使用“受影响”（与“由环境驱动”相对）这个词是为了强调我们的观点，即用户在尝试执行任务之前，心中有一个潜在的目标，因此他们有一个计划。这与 Suchman在 1987年的提议形成对比，Suchman认为计划是在行动过程中产生的现场行动的表示，因此它们成为了工作的资源，而不是在任何强意义上决