Differences

This shows you the differences between two versions of the page.

Link to this comparison view

research:lines [2016/09/21 11:59]
hverbeek created
research:lines [2016/09/21 12:07] (current)
hverbeek
Line 1: Line 1:
 ====== Research lines ====== ====== Research lines ======
  
-===== Research Line 1Process Modeling/​Analysis =====+{{page>:research:​lines:​pma}} 
 +{{page>:​research:​lines:​pm}} 
 +{{page>:​research:​lines:​pais}}
  
-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. ​ 
- 
-===== Research Line 2: 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 Research Line 1 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”). ​ 
- 
-===== Research Line 3: 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 Research Line 1) and produce high-quality event logs (connection to Research Line 2). 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. ​ 
  
 ===== The diagram ===== ===== The diagram =====