Research project: "Reasoning and Enactment for Knowledge-Aware Processes (REKAP)"

 Previous element


The overall goal of this project is to develop a foundational framework and a corresponding proof-of-concept implementation for supporting business processes enriched with data and knowledge.


  1. To define a language to specify knowledge-aware processes.
  2. To develop an execution platform for knowledge-aware processes.
  3. To develop a prototype model checker.


  • Business process management
  • Data management
  • Model checking
  • Artificial Intelligence


Business Intelligence


Marco Montali ( ,   web site)

Marco Montali is a full professor at the Faculty of Computer Science of the Free University of Bozen-Bolzano. Find out more about him checking out his website.

We have created a diagram that displays common keywords from articles written by Marco Montali. This is often useful to see what the respective researcher is doing: click here.


Computer architecture


Research project

Feedback/Request info