Behavioural Quotients for Precision and Recall in Process Mining

The comparison of the languages of software systems, i.e., their behaviours in terms of specified executions, is a prerequisite for many applications, reaching from system validation through management of a system's evolution to conformance checking of observed and expected behaviour. If two systems are not language-equivalent, the quantification of behavioural differences enables conclusions on the extent of deviation. Such quantifications are commonly done in a relative manner: A quotient is defined over some measure of two languages, which have potentially been derived via algebraic operations. However, there exists no systematic approach for defining quotients and it is unclear which measures enable meaningful comparisons of systems having infinite behaviours.