Title: Resource Aware Process Models
Speaker: Petros Papapanagiotou
Abstract:

Most process modelling languages in use today, including BPMN, Petri Nets, and process calculi, focus on the sequence of activities and the control flow between them. While this allows a variety of qualitative analysis on operational aspects of the process model, quantitative analysis (for instance involving resources) requires separate models and methodologies.

In this talk, I will summarize the main traditional and modern approaches to integrate reasoning about resources in process models. I will focus on the perspectives of 2 separate research fields: Business Process Management and Type Theory and summarize my research plans for correct-by-construction resource aware process models.