Now showing items 1-2 of 2
Process Mining Manifesto
Process mining techniques are able to extract knowledge from event logs commonly available in today’s information systems. These techniques provide new means to discover, monitor, and improve processes in a variety of ...
Monitoring business constraints with linear temporal logic: An approach based on colored automata
Today’s information systems record real-time information about business processes. This enables the monitoring of business constraints at runtime. In this paper, we present a novel runtime verification framework based on ...