Title: Resource Aware Process Models
Speaker: Petros Papapanagiotou
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.