OC-DECLARE is a tool for discovering, modeling, and evaluating object-centric declarative process rules. Link to Paper
OC-DECLARE is integrated in the OCPQ tool.
Using OCPQ, OC-DECLARE models can be created, viewed, and analyzed visually.
See https://ocpq.aarkue.eu/docs/oc-declare-guide on more information on how to access and use OC-DECLARE in OCPQ.
OC-DECLARE is implemented in Rust and now upstreamed into the Rust4PM project.
See the Docs.rs Documentation and the Rust4PM Source Code.
You can use the exposed process_mining library to use OC-DECLARE in your Rust code directly.
As part of the Rust4PM bindings, OC-DECLARE models can also be discovered and checked for conformance from Python. See rust4pm.aarkue.eu/docs for the general setup and view details and usage examples for discovery and conformance checking.