Research Lines Archive

Process Modeling/Analysis

While various types of process notations are used in industry, formal models such as Petri nets and temporal logics are more suitable for analysis purposes. Driven by questions from the other two research lines (Process Mining and PAIS Technology), particular models (e.g., WF-nets, WF-nets with data and resources, and declarative models) are used to answer questions related to correctness and performance. The main techniques that are used are model checking, structural techniques (e.g. invariants), and simulation.

Process Mining

Process mining techniques are used to extract process-related information from event logs, e.g., to automatically discover models, check conformance, and augment existing models with additional insights extracted from some event log. The main difference with Process Modeling/Analysis is that event logs play a central role (rather than predefined process models). One of the main challenges is to significantly improve the state-of-the-art in process discovery, e.g., we want to be able to deal with less structured processes and huge data sets (“Big Data”).

PAIS Technology

PAISs are used to manage and execute operational processes involving people, applications, and/or information sources. Examples are WFM (Workflow Management), BPM (Business Process Management), and ERP (Enterprise Resource Planning) systems. Increasingly, these systems are driven by models (connection to Process Modeling/Analysis) and produce high-quality event logs (connection to Process Mining). We are interested in the artifacts used and produced by these systems (i.e., models and logs) as these are essential for testing the techniques developed in the two other research lines.