Differences

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

Link to this comparison view

Both sides previous revision Previous revision
start [2015/08/19 16:35]
hverbeek [Profile]
start [2015/09/28 09:21]
hverbeek [Profile]
Line 6: Line 6:
  
 {{ :​images:​mooc.jpg?​direct&​300 |}} {{ :​images:​mooc.jpg?​direct&​300 |}}
 +
 +Our main mission is to bridge the gap between process science (BPM, WFM, formal methods, etc.) and data science. This explain the focus on process mining.
  
 The research concentrates on formalisms for modeling and methods to discover and analyze models. On the one hand formal methods are being used, e.g., the group has a long tradition in Petri-net modeling and analysis. On the other hand, we are interested in modeling languages widely used in industry (EPCs, UML, BPMN, BPEL, etc.). In contrast to many other research groups we do not accept a model as an objective starting point, i.e., we also try to discover process models through process mining and check the conformance of models based on reality. ​ The research concentrates on formalisms for modeling and methods to discover and analyze models. On the one hand formal methods are being used, e.g., the group has a long tradition in Petri-net modeling and analysis. On the other hand, we are interested in modeling languages widely used in industry (EPCs, UML, BPMN, BPEL, etc.). In contrast to many other research groups we do not accept a model as an objective starting point, i.e., we also try to discover process models through process mining and check the conformance of models based on reality. ​