oc_declare

process_mining::discovery::object_centric::oc_declare

Related Examples(1)

Object-centric analysis end to end

Discover OC-DECLARE constraints on an OCEL 2.0 log, find the weakest ones, then flatten on orders and check a case-centric model.

Open example

Functions in this Module(3)

project_oc_arcs

discovery::object_centric::oc_declareSource

Project OC-DECLARE arcs onto a subset of activities, preserving constraints
that reach a target via a chain through transitive activities.
BFSs from every target activity through non-target intermediaries, composing
arc types and labels along the way.

Vec<OCDeclareArc>required

Vec<String>required

OCDeclareReductionModerequiredMode for reducing OC-DECLARE constraints

import r4pm

arcs = [
    {
        "arc_type": 'AS',
        "counts": [1, 1],
        "from": 'example',
        "label": {
            "all": [{"object_type": 'order', "type": 'Simple'}],
            "any": [{"object_type": 'order', "type": 'Simple'}],
            "each": [{"object_type": 'order', "type": 'Simple'}],
        },
        "to": 'example',
    },
]
res = r4pm.bindings.project_oc_arcs(arcs, ['example'], 'None')

process_mining/src/discovery/object_centric/oc_declare/mod.rs:774

reduce_oc_arcs

discovery::object_centric::oc_declareSource

Reduce OC-DECLARE arcs based on lossless/lossy transitive reduction
considering paths of arbitrary length.
Uses sequential processing to prevent mutual elimination in cycles.

Vec<OCDeclareArc>required

boolrequired

import r4pm

arcs = [
    {
        "arc_type": 'AS',
        "counts": [1, 1],
        "from": 'example',
        "label": {
            "all": [{"object_type": 'order', "type": 'Simple'}],
            "any": [{"object_type": 'order', "type": 'Simple'}],
            "each": [{"object_type": 'order', "type": 'Simple'}],
        },
        "to": 'example',
    },
]
res = r4pm.bindings.reduce_oc_arcs(arcs, False)

process_mining/src/discovery/object_centric/oc_declare/mod.rs:623

discover_oc_declare

discovery::object_centric::oc_declareSource

Discover behavioral OC-DECLARE constraints from the given OCEL

ExampleObject-centric analysis end to end

SlimLinkedOCELrequired

OCDeclareDiscoveryOptionsOptions for the automatic discovery of OC-DECLARE constraints

import r4pm

# Also: .json, .json.gz, .xml.gz, .ocel.csv, .ocel.csv.gz, ...
locel = r4pm.import_item('SlimLinkedOCEL', 'ocel.xml')
# Optional argument: options, can also be omitted
options = {
    "considered_arrow_types": ['AS'],
    "counts_for_filter": [1, 1],
    "counts_for_generation": [1, 1],
    "noise_threshold": 0.2,
    "o2o_mode": 'None',
    "reduction": 'None',
    "refinement": False,
}
res = r4pm.bindings.discover_oc_declare(locel, options)

process_mining/src/discovery/object_centric/oc_declare/mod.rs:96