Rule-Based Conformance Checking of Business Process Event Data

Check compliance of event data from (business) processes with respect to specified rules. Rules supported are of three types: frequency (activities that should (not) happen x number of times), order (succession between activities) and exclusiveness (and and exclusive choice between activities).


The goal of processcheckR is to support rule-based conformance checking. Currently the following declarative rules can be checked:

  • exists: activity occurs n times or more
  • exists_exactly: activity occurs exactly n times
  • absent: activity does not occur more than n - 1 times
  • starts: case starts with activity
  • ends: case ends with activity
  • co_exists: two activities always exist together
  • succession: if activity A happens, B should happen after. If B happens, A should have happened before.
  • response: if activity A happens, B should happen after
  • precedence: if activity B happens, A should have happend before
  • responded_existence: if activity A happens, B should also (have) happen(ed) (i.e. before or after A)

Rules can be checked using the check_rule function (see example below). It will create a new logical variable to indicate for which cases the rule holds. The name of the variable can be configured using the label argument in check_rule.


You can install processcheckR from github with:



#> Loading required package: edeaR
#> Loading required package: eventdataR
#> Loading required package: processmapR
#> Loading required package: xesreadR
#> Loading required package: processmonitR
#> Loading required package: petrinetR
#> Attaching package: 'bupaR'
#> The following object is masked from 'package:stats':
#>     filter
#> The following object is masked from 'package:utils':
#>     timestamp
#> Attaching package: 'processcheckR'
#> The following object is masked from 'package:base':
#>     exists
sepsis %>%
  # check if cases starts with "ER Registration"
  check_rule(starts("ER Registration"), label = "r1") %>%
  # check if activities "CRP" and "LacticAcid" occur together
  check_rule(co_exists("CRP","LacticAcid"), label = "r2") %>%
  group_by(r1, r2) %>%
#> # A tibble: 4 x 3
#> # Groups:   r1 [?]
#>   r1    r2    n_cases
#>   <lgl> <lgl>   <int>
#> 1 FALSE FALSE      10
#> 2 FALSE TRUE       45
#> 3 TRUE  FALSE     137
#> 4 TRUE  TRUE      858


Reference manual

It appears you don't have a PDF plugin for this browser. You can click here to download the reference manual.


0.1.0 by Gert Janssenswillen, 3 months ago

Browse source code at

Authors: Gert Janssenswillen [aut, cre]

Documentation:   PDF Manual  

MIT + file LICENSE license

Imports dplyr, bupaR, rlang, edeaR, stringr, glue

Suggests knitr, rmarkdown, eventdataR

See at CRAN