标题： 工具辅助的参照流程模型一致性检查 显示英文标题

标题： Tool-Assisted Conformance Checking to Reference Process Models

摘要： 参考模型传达最佳实践和标准。 参考框架需要符合性检查以确保遵循既定的指南和原则，这对于在各种过程中保持质量和一致性至关重要。 本文探讨了使用任务和事件的因果依赖分析，对具体过程模型进行参考模型的自动化符合性检查。 现有过程模型符合性检查的概念侧重于验证过程执行轨迹，并缺乏语义模型比较所需的表达能力和自动化，因此这个问题仍未解决。 我们将方法整合到一个更广泛的语义框架中，用于定义参考模型符合性。 我们概述了一个参考过程模型符合性检查算法，通过案例研究对其进行评估，并讨论其优势和局限性。 我们的研究提供了一种工具辅助解决方案，提高了过程模型符合性验证的准确性和灵活性。 显示英文摘要

摘要： Reference models convey best practices and standards. The reference frameworks necessitate conformance checks to ensure adherence to established guidelines and principles, which is crucial for maintaining quality and consistency in various processes. This paper explores automated conformance checks for concrete process models against reference models using causal dependency analysis of tasks and events. Existing notions of conformance checking for process models focus on verifying process execution traces and lack the expressiveness and automation needed for semantic model comparison, leaving this question unresolved. We integrate our approach into a broader semantic framework for defining reference model conformance. We outline an algorithm for reference process model conformance checking, evaluate it through a case study, and discuss its strengths and limitations. Our research provides a tool-assisted solution enhancing accuracy and flexibility in process model conformance verification.