期刊
ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
卷 29, 期 3, 页码 -出版社
ASSOC COMPUTING MACHINERY
DOI: 10.1145/3387909
关键词
System comparison; behavioural comparison; behavioural analysis; entropy; process mining; conformance checking; precision; recall; fitness; coverage
资金
- Australian Research Council [DP180102839]
- Universities Australia (UA)
- German Academic Exchange Service (DAAD)
- EU [645751]
- Austrian Research Promotion Agency (FFG) [861213]
- MIUR of the Department of Computer Science at Sapienza University of Rome
The behavioural comparison of systems is an important concern of software engineering research. For example, the areas of specification discoveryand 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.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据