DECLARE

Declarative process mining: instead of a model you can walk through, a list of rules the process never broke — “every claim is eventually assessed”, “payment only happens after approval”, “these two never both occur”. This is the paradigm for flexible processes, where the imperative model is a spaghetti diagram that allows almost everything and explains nothing. Discovers a DECLARE model from a log, and checks any DECLARE model against any log, naming the cases that broke each rule.