Journal
ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
Volume 29, Issue 3, Pages -Publisher
ASSOC COMPUTING MACHINERY
DOI: 10.1145/3387909
Keywords
System comparison; behavioural comparison; behavioural analysis; entropy; process mining; conformance checking; precision; recall; fitness; coverage
Categories
Funding
- 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
Ask authors/readers for more resources
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.
Authors
I am an author on this paper
Click your name to claim this paper and add it to your profile.
Reviews
Recommended
No Data Available