Slide 29
Slide 29 text
Evaluation Metrics
Model-to-model Metric
Complex process into
Permitted relations
Forbidden relations
Generation rules (based on Alpha alg.)
A → B ⇒ A > B, B ≯ A
A B ⇒ A > B, B > A
A # B ⇒ A ≯ B, B ≯ A
Comparison as Jaccard similarity on two sets (> and ≯)
Model-to-log Metric
Declare constraint π and a trace σ ⇒ healthiness measures
Activation sparsity: 1 − na(σ,π)
n
(σ)
Violation ratio: nv (σ,π)
na(σ,π)
Fulllment ratio: nf (σ,π)
na(σ,π)
Conict ratio: nc(σ,π)
na(σ,π)
12 of 17