Case Count where Activity after Time Frame

View in library docs
CApastTFC(g,a,et)\mathit{CApastTFC}(g, \mathit{a}, \mathit{et})
Dimension:
Quality
Granularity:
Group of cases

Description

Number of cases in a group of cases where a specific activity occurs after a specific time frame.

Potential use

Event log is associated with a process in which specific time frames must be taken into consideration.

Assumptions

Maximizing the number of cases where the activity occurs after the time frame is desirable.

Desired Value:

MAXIMIZE

Required attributes

act
actinst
case
time
type

Equations

Formula for practitioners

cg{1if iinst(c,a)[stime(i)et]0otherwise\displaystyle \sum_{c \in g} \begin{cases} 1 & \text{if } \exists i \in \mathit{inst}(c, \mathit{a})[\mathit{stime}(i) \geq \mathit{et}] \\ 0 & \text{otherwise} \end{cases}

inst(c,a)\mathit{inst}(c, \mathit{a}) returns the set of all instances of activity a\mathit{a} in case cc.
stime(i)\mathit{stime}(i) returns the start timestamp of activity instance ii.

Formal Definition

{cgiinst(c,a)[stime(i)et]}|\{c \in g \mid \exists i \in \mathit{inst}(c, \mathit{a})[\mathit{stime}(i) \geq \mathit{et}]\}|

Tags

act
actinst
case
time
type

Python implementation

This indicator is implemented in the process_performance_indicators Python library.

process_performance_indicators.indicators.quality.groups.case_count_where_activity_after_time_frame