使用正式过程建模评估数字图书馆搜索系统
摘要：评估数字图书馆信息系统通常集中在用户正确、高效、快速地执行预定义任务上。此外，用户通常享受与评估的系统一起工作，并且完成的问卷显示出接口的卓越用户体验。然而，这些评估没有明确考虑将用户特定的信息搜索行为与数字图书馆系统的能力进行比较或连接，从而忽视了实际用户需求或进一步的系统需求。我们的目标是通过引入用户任务执行策略的形式化来比较他们的信息需求与此类信息系统的能力。我们观察了在专家查找和论文搜索范围内的用户策略。我们提出并调查使用业务流程模型符号化来形式化任务执行策略以及以SchenQL数字图书馆界面作为示例系统。我们进行了一项定性评估的访谈，参与者为来自不同背景的13个人，我们从中得出模型。我们发现，这些形式化方法适用且有助于向用户反映策略，并将用户的理想任务执行与信息系统的能力进行比较。我们得出结论，使用形式化模型进行定性数字图书馆研究是一种合适的手段，用于确定当前的限制并描述用户的任务执行策略。我们发布的包含评估数据的数据集可以被重新使用，以调查其他数字图书馆系统是否适合描述用户的理想任务解决方案。
作者：Christin Katharina Kreutz, Martin Blum, Philipp Schaer, Ralf Schenkel, Benjamin Weyers
论文ID：2304.11651
分类：Digital Libraries
分类简称：cs.DL
提交时间：2023-04-25