Program
| 9:00-9:05 | Welcome and Opening Remark - Chair Antonella Guzzo |
| 9:05-9:50 | Keynote: Chiara Ghidini - Title: Predictive and proactive trustable process monitoring |
| Paper presentation - SESSION I - Chair Giuseppe De Giacomo | |
| 9:50-10:15 | Guy Amit, Fabiana Fournier, Shlomit Gur and Lior Limonad: Model-informed LIME Extension for Business Process Explainability |
| 10:15-10:40 | Björn Rafn Gunnarsson, Jochen De Weerdt and Seppe Vanden Broucke: A framework for encoding the multi-location load state of a business process |
| 10:45-11:15 | Coffee break |
| Paper presentation - SESSION II - Chair Lior Limonad | |
| 11:15-11:40 | Tobias Zimpel, Andrea Wild, Hansjörg Schrade and Stefan Kirn: Association Rule Mining to Study Process-Related Cause-Effect-Relationships in Pig Farming |
| 11:40-12:05 | Zihang Su, Artem Polyvyanyy, Nir Lipovetzky, Sebastian Sardina and Nick van Beest Janus: A Simulator for Continuous Goal Recognition over Changing Environments |
| 12:05-12:30 | Sergey Zeltyn, Segev Shlomov, Avi Yaeli and Alon Oved: Prescriptive Process Monitoring in Intelligent Process Automation with Chatbot Orchestration |
| 12:30-14:00 | Lunch break |
| Paper presentation - SESSION III - Chairs Fabiana Fournier / Chakraborty Tathagata | |
| 14:00-14:25 | Phuong Nguyen, Vatche Isahagian, Vinod Muthusamy and Aleksander Slominski: Summarizing Process Traces for Analysis Tasks: An Intuitive and User-controlled Approach |
| Short Paper presentations - SESSION III | |
| 14:25-14:40 | Paolo Felli, Marco Montali and Sarah Winkler: Reasoning and Verification with Data Petri Nets |
| 14:40-14:55 | Chiara Di Francescomarino, Ivan Donadello, Chiara Ghidini, Fabrizio Maria Maggi and Williams Rizzi: Making sense of temporal data: the DECLARE encoding |
| 15:00-15:30 | Coffee break |
| Short Paper presentation - SESSION IV - Chair Giuseppe De Giacomo | |
| 15:30-15:45 | Marco Roveri, Claudio Di Ciccio, Chiara Di Francescomarino and Chiara Ghidini: Computing unsatisfiable cores for LTLf specifications |
| 15:45-16:00 | Praveen Venkateswaran, Vinod Muthusamy, Yara Rizk and Vatche Isahagian: Towards Continual Learning in Interactive Digital Assistants for Process Automation |
| 16:00-16:15 | Simone Agostinelli and Andrea Marrella: Intelligent Robotic Process Automation: Generating Executable RPA Scripts from Unsegmented UI Logs |
| 16:15-16:30 | Diego Calvanese, Giuseppe De Giacomo, Marco Montali and Fabio Patrizi: Verification of Generic, Relational Transition Systems |
| Short Paper presentation - SESSION V - Chair Marco Montali | |
| 16:30-16:45 | Peter Fettke and Alexander Rombach: Towards Automated Process Planning and Mining |
| 16:45-17:00 | Giuseppe De Giacomo, Marco Favorito, Francesco Leotta, Massimo Mecella and Luciana Silo: Modeling resilient cyber-physical processes and their composition from digital twins via Markov Decision Processes |
| 17:00-17-15 | Antonio Ielo, Francesco Ricca and Luigi Pontieri: Declarative Mining of Business Processes via ASP |
| 17:15-17:30 | Closing Remarks |
Invited Speaker: Chiara Ghidini
She is a senior Research Scientist at Fondazione Bruno Kessler (FBK), Trento, Italy, where she heads the Process & Data Intelligence (PDI) research unit and is responsible of the scientific ordination of the new centre of digital Health & Well Being. Her scientific work in the areas of Semantic Web, Knowledge Engineering and Representation, Multi-Agent Systems and Process Mining is internationally well known and recognised, and she has made significant scientific contributions in the areas of: formal semantics for contextual reasoning and multi-context logics; formal frameworks for the specification of deliberative resource bounded agents; ontology mappings and integration; collaborative modeling platforms, business process modelling, and predictive business process monitoring. She has been involved in a number of international research projects, among which the FP7 Organic.Lingua and SO-PC-Pro European projects and the current network of Excellence Humane-AINet, as well as industrial projects in collaboration with companies in the Trentino area.
Keynote abstract - download slides
Predictive process monitoring aims at predicting the future of an ongoing process execution by learning from past historical business process executions. Different, often Machine Learning based, approaches have been proposed in the literature in order to provide predictions on the outcome, the remaining time, the required resources as well as the remaining activities of an ongoing execution, by leveraging information related to the control flow, the data flow, or even unstructured text contained in event logs, recording information about process executions. Together with the impressive growth of this young filed several challenges remain, ofter related to the multi-perspective nature of Business Process execution data, such as the inclusion of a-priori knowledge in a prediction, the temporal relationship between different features, the explainability of the prediction and the predictive model for this type of data, and even more crucially the ability to provide prescriptive or actionable predictions - or even better recommendations. In this talk I will outline the work that was carried out in the PDI group in the last 5 years, as well as ongoing future research directions related to the challenges above.
List of accepted Papers
Full Papers
- Guy Amit, Fabiana Fournier, Shlomit Gur and Lior Limonad: Model-informed LIME Extension for Business Process Explainability
- Björn Rafn Gunnarsson, Jochen De Weerdt and Seppe Vanden Broucke: A framework for encoding the multi-location load state of a business process
- Phuong Nguyen, Vatche Isahagian, Vinod Muthusamy and Aleksander Slominski: Summarizing Process Traces for Analysis Tasks: An Intuitive and User-controlled Approach
- Zihang Su, Artem Polyvyanyy, Nir Lipovetzky, Sebastian Sardina and Nick van Beest Janus: A Simulator for Continuous Goal Recognition over Changing Environments
- Sergey Zeltyn, Segev Shlomov, Avi Yaeli and Alon Oved: Prescriptive Process Monitoring in Intelligent Process Automation with Chatbot Orchestration
- Tobias Zimpel, Andrea Wild, Hansjörg Schrade and Stefan Kirn: Association Rule Mining to Study Process-Related Cause-Effect-Relationships in Pig Farming
Extended Abstract
- Giuseppe De Giacomo, Marco Favorito, Francesco Leotta, Massimo Mecella and Luciana Silo: Modeling resilient cyber-physical processes and their composition from digital twins via Markov Decision Processes
- Bettina Fazzinga, Sergio Flesca, Filippo Furfaro and Luigi Pontieri: Explainable Interpretation of Low-Level Process Traces via Abstract Argumentation
- Paolo Felli, Marco Montali and Sarah Winkler: Reasoning and Verification with Data Petri Nets
- Chiara Di Francescomarino, Ivan Donadello, Chiara Ghidini, Fabrizio Maria Maggi and Williams Rizzi: Making sense of temporal data: the DECLARE encoding
- Praveen Venkateswaran, Vinod Muthusamy, Yara Rizk and Vatche Isahagian: Towards Continual Learning in Interactive Digital Assistants for Process Automation
- Marco Roveri, Claudio Di Ciccio, Chiara Di Francescomarino and Chiara Ghidini: Computing unsatisfiable cores for LTLf specifications
- Simone Agostinelli and Andrea Marrella: Intelligent Robotic Process Automation: Generating Executable RPA Scripts from Unsegmented UI Logs
- Antonio Ielo, Francesco Ricca and Luigi Pontieri: Declarative Mining of Business Processes via ASP
- Diego Calvanese, Giuseppe De Giacomo, Marco Montali and Fabio Patrizi: Verification of Generic, Relational Transition Systems
- Peter Fettke and Alexander Rombach: Towards Integrated AI Planning and BPM