pm4py.algo.conformance.dcr.rules package#

Submodules#

pm4py.algo.conformance.dcr.rules.abc module#

class pm4py.algo.conformance.dcr.rules.abc.CheckFrame[source]#

Bases: ABC

the CheckFrame Class creates an interface, that specifies which functionality that associated class should have

abstract check_rule(*args, **kwargs)[source]#

pm4py.algo.conformance.dcr.rules.condition module#

class pm4py.algo.conformance.dcr.rules.condition.CheckCondition[source]#

Bases: CheckFrame

classmethod check_rule(event: str, graph: DcrGraph, deviations: List[Tuple[str, Any]])[source]#

Checks if event violates the conditions relation

Parameters#

event: str

Current event

graph: DcrGraph

DCR Graph

deviations: List[Tuple[str, Any]]

List of deviations

Returns#

deviations: List[Tuple[str, Any]]

List of updated deviation if any were detected

pm4py.algo.conformance.dcr.rules.exclude module#

class pm4py.algo.conformance.dcr.rules.exclude.CheckExclude[source]#

Bases: CheckFrame

classmethod check_rule(event: str, graph: DcrGraph, execution_his: List, deviations: List[Tuple[str, Any]])[source]#

Checks if event violates the exclude relation

Parameters#

event: str

Current event

graph: DcrGraph

DCR Graph

execution_his: List

List to check for when event was excluded

deviations: List[Tuple[str, Any]]

List of deviations

Returns#

deviations: List[Tuple[str, Any]]

List of updated deviation if any were detected

pm4py.algo.conformance.dcr.rules.include module#

class pm4py.algo.conformance.dcr.rules.include.CheckInclude[source]#

Bases: CheckFrame

classmethod check_rule(event: str, graph: DcrGraph, deviations: List[Tuple[str, Any]])[source]#

Checks if event violates the include relation

Parameters#

event: str

current event

graph: DcrGraph

DCR Graph

deviations: List[Tuple[str, Any]]

List of deviations

Returns#

deviations: List[Tuple[str, Any]]

List of updated deviation if any were detected

pm4py.algo.conformance.dcr.rules.response module#

class pm4py.algo.conformance.dcr.rules.response.CheckResponse[source]#

Bases: CheckFrame

classmethod check_rule(graph: DcrGraph, responses: List[Tuple[str, str]], deviations: List[Tuple[str, Any]])[source]#

Checks if event violates the response relation.

If DCR Graph contains pending events, the Graph has not done an incomplete run, as events are waiting to be executed

Parameters#

graph: DcrGraph

DCR graph

responses:

responses not yet executed

deviations: List[Tuple[str, Any]]

List of deviations

Returns#

deviations: List[Tuple[str, Any]]

List of updated deviation if any were detected

pm4py.algo.conformance.dcr.rules.role module#

class pm4py.algo.conformance.dcr.rules.role.CheckRole[source]#

Bases: CheckFrame

classmethod check_rule(event: str, graph: DistributedDcrGraph, role: str, deviations: List[Tuple[str, Any]])[source]#

Checks if event violates the role assignments

1.) if event contain role not in model 2.) if event in model contains distributed, but executed with wrong event

Parameters#

event: str

current event

graph: DistributedDcrGraph

DCR Graph

role: str

Role of the event

deviations: List[Tuple[str, Any]]

List of deviations

Returns#

deviations: List[Tuple[str, Any]]

List of updated deviation if any were detected

Module contents#