一致性检查：一项前沿文献综述
软件工程
2020-07-22 v1 信息检索
摘要
一致性检查是一组将流程实例与给定流程模型进行比较的流程挖掘功能。它识别流程实例的实际行为（“as-is”）与其建模行为（“to-be”）之间的偏差。尤其在组织合规分析背景下，它当前正获得关注——例如对审计人员而言。研究人员已提出多种面向特定流程模型符号或具体应用（如流程模型评估）的一致性检查技术。本文综述了 37 篇学术出版物中描述的一组一致性检查技术。它使用概念矩阵沿“建模语言”、“算法类型”、“质量度量”和“视角”维度对这些技术分类，以便从业者和研究人员更好地获取这些技术。该矩阵突出了已有研究集中的维度以及存在的盲区。例如，流程挖掘者频繁使用声明式流程建模语言，但其在一致性检查中的应用很少。同样，流程挖掘可调查流程角色或流程度量（如持续时间），但一致性检查技术局限于分析控制流。未来研究可构建支持这些被忽视的一致性检查方法的技术。
引用
@article{arxiv.2007.10903,
title = {Conformance checking: A state-of-the-art literature review},
author = {Sebastian Dunzer and Matthias Stierle and Martin Matzner and Stephan Baier},
journal= {arXiv preprint arXiv:2007.10903},
year = {2020}
}