Pm4ExUnit.Assertions (pm4exunit v26.11.12)

Copy Markdown

ExUnit assertion macros for process intelligence and conformance checking.

Summary

Functions

assert_conformance(source, valid_paths, opts \\ [])

Asserts that a trace or session conforms to a set of valid paths with minimum fitness threshold.

assert_sla(source, from_activity, to_activity, opts \\ [])

Asserts that the temporal duration between two activities in the trace satisfies the max latency constraint.

refute_conformance(source, valid_paths, opts \\ [])

Refutes conformance (asserts that a trace violates the model or fitness constraint).

Functions

assert_conformance(source, valid_paths, opts \\ [])

Asserts that a trace or session conforms to a set of valid paths with minimum fitness threshold.

assert_sla(source, from_activity, to_activity, opts \\ [])

Asserts that the temporal duration between two activities in the trace satisfies the max latency constraint.

refute_conformance(source, valid_paths, opts \\ [])

Refutes conformance (asserts that a trace violates the model or fitness constraint).