OC-DECLARE

OC-DECLARE discovers and checks synchronized declarative constraints over OCEL 2.0 event logs. Constraints can express behavioral relationships between activities together with quantification over the object types participating in them.

Python bindings are available through the oc-declare package, and the source is hosted in the OC-DECLARE repository. The method is also available as an Ocelescope plug-in and within OCPQ.

The approach is introduced in OC-DECLARE: Discovering Object-Centric Declarative Patterns with Synchronization.