pm4py.streaming.algo.conformance.declare.variants.automata module#

class pm4py.streaming.algo.conformance.declare.variants.automata.DeclareStreamingConformance(declare_model, parameters=None)[source]#

Bases: StreamingAlgorithm

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.

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.

pm4py.streaming.algo.conformance.declare.variants.automata.apply(declare_model, parameters=None)[source]#