pm4py.streaming.algo.conformance.declare.algorithm module

class pm4py.streaming.algo.conformance.declare.algorithm.Variants(*values)

Bases: Enum

AUTOMATA = <module 'pm4py.streaming.algo.conformance.declare.variants.automata' from '/Users/chris/Desktop/PIS/pm4py2/pm4py/pm4py/streaming/algo/conformance/declare/variants/automata.py'>

pm4py.streaming.algo.conformance.declare.algorithm.apply(declare_model, variant=Variants.AUTOMATA, parameters=None)

Streaming Conformance Checking Algorithm for DECLARE models. Attempts to implement state-based checks for all Declare constraint types. When a violation occurs, prints out which constraints are violated.

Streaming algorithm interface implemented.

Implementation of: Maggi, Fabrizio Maria, et al. “Monitoring business constraints with linear temporal logic: An approach based on colored automata.” Business Process Management: 9th International Conference, BPM 2011, Clermont-Ferrand, France, August 30-September 2, 2011. Proceedings 9. Springer Berlin Heidelberg, 2011. ——-