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.

OC-DECLARE is implemented in Rust4PM / r4pm, which provides both discovery and conformance checking. It is also available in Propel, using the OC-DECLARE viewer from @r4pm/components, in OCPQ, and as an Ocelescope plug-in.

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