The behavioural comparison of systems is an important concern of software engineering research. For example, the areas of specification discovery and specification mining are concerned with measuring the consistency between a collection of execution traces and a program specification. This problem is also tackled in process mining with the help of measures that describe the quality of a process specification automatically discovered from execution logs. Though various measures have been proposed, it was recently demonstrated that they neither fulfil essential properties, such as monotonicity , nor can they handle infinite behaviour. In this article, we address this research problem by introducing a new framework for the definition of behavioural quotients. We prove that corresponding quotients guarantee desired properties that existing measures have failed to support. We demonstrate the application of the quotients for capturing precision and recall measures between a collection of recorded executions and a system specification. We use a prototypical implementation of these measures to contrast their monotonic assessment with measures that have been defined in prior research.

中文翻译：

---

比较动态系统的执行和规格的单调精度和召回措施

系统的行为比较是软件工程研究的一个重要问题。例如，以下领域规范发现和规范挖掘关注测量执行跟踪集合和程序规范之间的一致性。这个问题也在解决过程挖掘借助描述从执行日志中自动发现的流程规范的质量的措施。尽管已经提出了各种措施，但最近证明它们既不满足基本特性，例如单调性，他们也不能处理无限的行为。在本文中，我们通过引入行为商定义的新框架来解决这一研究问题。我们证明了相应的商保证了现有措施未能支持的所需属性。我们演示了商在记录的执行集合和系统规范之间捕获精度和召回度量的应用。我们使用这些措施的原型实施来将它们的单调评估与先前研究中定义的措施进行对比。