标题： 一个符合性检查的任务分类法 显示英文标题

标题： A Task Taxonomy for Conformance Checking

摘要： 符合性检查是流程挖掘的一个子领域，它将观察到的流程轨迹与流程模型进行比较，以分析流程执行是否符合或偏离流程设计。 组织可以利用这种分析，例如检查其流程是否符合内部或外部法规，或识别潜在的改进点。 获得这些洞察需要合适的可视化方法，这些方法使复杂的结果易于理解和采取行动。 到目前为止，符合性检查可视化的开发在很大程度上被工具供应商所主导。 因此，当前的工具为符合性检查提供了多种多样的可视化表示，但它们所服务的分析目的往往不明确。 然而，如果没有对这些目的的系统理解，就很难评估可视化的有用性。 因此，这种评估需要更深入地了解符合性检查作为分析领域的知识。 为此，我们提出一个任务分类法，该分类法对进行符合性检查分析时可能出现的任务进行分类。 该分类法有助于研究人员确定可视化的目的，并根据其目标、手段、约束类型、数据特征、数据目标和数据基数来指定相关的符合性检查任务。 结合流程挖掘和可视化分析的概念，我们面向两个领域的研究人员，以促进和加强更紧密的合作。 显示英文摘要

摘要： Conformance checking is a sub-discipline of process mining, which compares observed process traces with a process model to analyze whether the process execution conforms with or deviates from the process design. Organizations can leverage this analysis, for example to check whether their processes comply with internal or external regulations or to identify potential improvements. Gaining these insights requires suitable visualizations, which make complex results accessible and actionable. So far, however, the development of conformance checking visualizations has largely been left to tool vendors. As a result, current tools offer a wide variety of visual representations for conformance checking, but the analytical purposes they serve often remain unclear. However, without a systematic understanding of these purposes, it is difficult to evaluate the visualizations' usefulness. Such an evaluation hence requires a deeper understanding of conformance checking as an analysis domain. To this end, we propose a task taxonomy, which categorizes the tasks that can occur when conducting conformance checking analyses. This taxonomy supports researchers in determining the purpose of visualizations, specifying relevant conformance checking tasks in terms of their goal, means, constraint type, data characteristics, data target, and data cardinality. Combining concepts from process mining and visual analytics, we address researchers from both disciplines to enable and support closer collaborations.