用于比较动态系统执行与规约的单调查准率与查全率度量
形式语言与自动机理论
2020-04-28 v2
摘要
系统的行为比较是软件工程研究的一个重要关注点。例如，规约发现与规约挖掘领域关注于度量一组执行迹与程序规约之间的一致性。过程挖掘中也借助描述从执行日志自动发现的过程规约质量的度量来解决该问题。尽管已提出各种度量，但最近研究表明它们既不满足单调性等基本性质，也无法处理无限行为。本文通过引入用于定义行为商的新框架来解决这一研究问题。我们证明相应的商保证了现有度量未能支持的性质。我们展示了这些商在捕获一组记录执行与系统规约之间的查准率和查全率度量方面的应用。我们使用这些度量的原型实现，将其单调评估与先前研究中定义的度量进行对比。
引用
@article{arxiv.1812.07334,
title = {Monotone Precision and Recall Measures for Comparing Executions and Specifications of Dynamic Systems},
author = {Artem Polyvyanyy and Andreas Solti and Matthias Weidlich and Claudio Di Ciccio and Jan Mendling},
journal= {arXiv preprint arXiv:1812.07334},
year = {2020}
}